Difference in edge types is ignored by the matcher in limited circumstances

zxcalc / quantomatic

Quantomatic is a tool for doing automated graph rewriting.

http://quantomatic.github.io

151 stars 22 forks source link

Difference in edge types is ignored by the matcher in limited circumstances #233

Open hmillerbakewell opened 6 years ago

hmillerbakewell commented 6 years ago

I think this is in particular matching bare wires. I'll write a test in a moment to show what I mean, and here is a project that demonstrates it: doubling.zip

Open up the derivation "mixed," then the rule zip-zip2 will apply not just on doubled wires (as it should) but also on thin wires (where it shouldn't.)