Skip to content
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.

Sign up for GitHub

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

Jump to bottom

Colour symmetry [qpc2018] [feature] #221

Open
SaraWolffs opened this issue Jun 11, 2018 · 0 comments
Open

Colour symmetry [qpc2018] [feature] #221

SaraWolffs opened this issue Jun 11, 2018 · 0 comments
Assignees
@hmillerbakewell

Comments

@SaraWolffs
Copy link
Contributor

It would be nice if a theory could indicate that two colours are symmetric: swapping their roles across an entire diagram is always legal. It is the reality of the ZX calculus, and roughly halves the amount of axioms and proofs needed. Possibly this could be done by axiom, but that wouldn't reduce the amount of theorems, just make every second derivation easier.

Caveat: colour-swapped rules should not be tried by default (otherwise, bringing rules to normal form in simprocs becomes more difficult since we lose the "greenness" implicit metric, needing to specify it explicitly)
hmillerbakewell pushed a commit that referenced this issue Aug 21, 2018
UI: Add colour swapping dialogue
99750ee 
Under the "rule" drop-down menu you have the option of swapping types over on both sides of the rule.
Related to #221
@hmillerbakewell hmillerbakewell self-assigned this Aug 21, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@hmillerbakewell hmillerbakewell

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@hmillerbakewell @SaraWolffs