Unexpected behaviour if a rule shares variables with the graph it is matching

zxcalc / quantomatic

Quantomatic is a tool for doing automated graph rewriting.

http://quantomatic.github.io

151 stars 22 forks source link

Unexpected behaviour if a rule shares variables with the graph it is matching #214

Open akissinger opened 6 years ago

akissinger commented 6 years ago

To reproduce, make a spider rule with variables "a" and "b", and match on graph with angles "a" and "0". At least one of the rewrites should be wrong.