Report on non-continuous equivalence transformations for topological circuits (T4.3)

Report on discrete equivalence transformation for encoded gate operation. Based on the currently existing graphical form of the transformation rules, their rigorous mathematical description is established, and a corresponding efficient representation as a data structure is identified.