Quantomatic/quantomatic — Issue #32: Renaming bug when angles in pattern and target are the same
Author: akissinger
Created: 2012-03-07 14:12:54+00:00
State: open
Labels: core

Applying the spider rule (with angles alpha and beta) to connected vertices labelled alpha and 0 results in a merged vertex labelled 0. Oops.

Will post examples if I get a chance.