quantomatic icon indicating copy to clipboard operation
quantomatic copied to clipboard
verified publisher icon Quantomatic

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

Open akissinger opened this issue 7 years ago • 0 comments

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.

akissinger avatar May 30 '18 10:05 akissinger