search

zxcalc / quantomatic

Quantomatic is a tool for doing automated graph rewriting.
http://quantomatic.github.io
151 stars 22 forks source link

Multiple self-loops do not match against single self-loop #207

Open jvdwetering opened 6 years ago

jvdwetering commented 6 years ago

The following rule image

Does not match this graph: image

Although of course it should

akissinger commented 6 years ago

This was a tricky one! Now fixed on the qpc2018 branch (which I intend to merge back into integration shortly after the Practical). I'll close the issue after the merge.