Generalised spider rule doesn't match itself

zxcalc / quantomatic

Quantomatic is a tool for doing automated graph rewriting.

http://quantomatic.github.io

151 stars 22 forks source link

Generalised spider rule doesn't match itself #211

Open akissinger opened 6 years ago

akissinger commented 6 years ago

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.