Quantomatic/quantomatic — Issue #47: unification and fresh names
Author: rossduncan
Created: 2012-03-07 17:46:08+00:00
State: open
Labels: core

If you have a rule where the LHS has a vertex is labelled a+b, and in the RHS a and b occur on different vertices, when the rule is matched, "a" will grab whatever is labelling the vertex and the rewritten graph will contain "b" as a variable. If you apply the rule multiple times *the same b* will occur multiple times. If b is already in the graph it makes no difference.

Solution: need to check if b already occurs and use a fresh name in this situation.