quantomatic icon indicating copy to clipboard operation
quantomatic copied to clipboard
verified publisher icon Quantomatic

Generalised spider rule doesn't match itself

Open akissinger opened this issue 7 years ago • 0 comments

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.

akissinger avatar May 30 '18 09:05 akissinger