Skip to content

Fix #179: added copy_simp and supplementarity_simp to full_reduce #332

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

Merged
merged 8 commits into from
Aug 19, 2025

Conversation

lara-madison
Copy link
Collaborator

modified full_reduce to apply both copy and supplementarity rules when possible, and added test for the copy_simp functionality

g.add_edge((v1, v3))
g1 = g.copy()
to_gh(g1)
copy_simp(g1)
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

You should probably also assert that copy_simp actually simplified the graph, and that this is not a 'noop'.

asserted that copy_simp simplified the graph correctly
@lara-madison lara-madison changed the title #Fix 179: added copy_simp and supplementarity_simp to full_reduce Fix #179: added copy_simp and supplementarity_simp to full_reduce Aug 15, 2025
@jvdwetering jvdwetering merged commit 132085f into zxcalc:master Aug 19, 2025
3 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants