Self-loop matching with bangboxes is bugged

zxcalc / quantomatic

Quantomatic is a tool for doing automated graph rewriting.

http://quantomatic.github.io

151 stars 22 forks source link

Self-loop matching with bangboxes is bugged #206

Open jvdwetering opened 6 years ago

jvdwetering commented 6 years ago

The following rewrite rule removes multiple self-loops at the same time:

when it matches it introduces new boundary nodes:

hmillerbakewell commented 6 years ago

Succesfully reproduced. Found 32 matches of the rule, none of which leave you with a self-loop. I believe the attached file does what you are looking for.

loopRemoval.zip