-
Notifications
You must be signed in to change notification settings - Fork 22
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
no-effect rewrite : directing edges #223
Comments
bug222.zip (ZX diagrams) I get different behaviour for the two graphs. In 3-edges.qgraph I don't see any directions appearing in the matches at all. In 2-edges.qgraph I do get directions appearing, but only towards boundary nodes. I suspect this is more than one bug? Part of the issue could be that the rule matches on the interior of any wire, and is then left with a wire that is directed for part of its length, but undirected on others. |
I have created a rule consisting of two boundary nodes joined by an edge. On the LHS the edge is undirected, on the RHS it is directed.
It seems that the matcher handles this correctly, but the direction is not present in the rewritten graph. Sees that variations on this theme where both vertices are not boundary work fine.
The text was updated successfully, but these errors were encountered: