In order to prevent confusion on what the correct way to apply the rewrites is, local complementation and all the variations of pivoting should only match on vertices if their neighbourhood is graph-like, meaning they are all Z-spiders with Hadamards edges, and no self-loops or parallel edges.
See also zxlive/#256
In order to prevent confusion on what the correct way to apply the rewrites is, local complementation and all the variations of pivoting should only match on vertices if their neighbourhood is graph-like, meaning they are all Z-spiders with Hadamards edges, and no self-loops or parallel edges.
See also zxlive/#256