Generalised spider rule doesn't match itself
Opened this issue · 0 comments
akissinger commented
To reproduce, make a spider rule where each node is connected to 2 !-boxes and the two nodes are connected by a wire in a !-box. Copy the LHS to a graph and try to apply the rule to it.