rcasjimenez

Is spider rule likely buggy?

7

I have executed a set of rules to a circuit which is in this repository ('mod5_4_before'). After applying a spider rule to this circuit with several previous transformations, I have...

Clarification on applying individual transformations

5

My goal is to apply a single transformation to a graph that satisfies the 'graph-like' precondition. ### First approach I tried to apply the following transformations mentioned in #199 (`to_gh`...

According to #199, it would be good to add information about the requirements (preconditions) necessary to apply each of the existing transformations (pivot, lcomp, bialgebra and so on). There is...