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.

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

Make local complementation and pivoting work with parametric boolean angles. #231

Open
Tracked by #60
RazinShaikh opened this issue Jan 25, 2024 · 2 comments
Open
Tracked by #60
Labels
Category: Proof mode Issues and enhancements related to Proof mode Priority: Medium Type: enhancement New feature or request

Comments

@RazinShaikh
Copy link
Collaborator

RazinShaikh commented Jan 25, 2024

Adding back this issue as it was removed from the previous issue #60

@wlcsm
Copy link
Contributor

wlcsm commented Jan 31, 2024

Hey @RazinShaikh , could you explain a little more about what this feature should achieve?

@RazinShaikh
Copy link
Collaborator Author

Suppose spiders are labelled with symbolic values such as jpi, kpi, etc. where j, k, etc. in {0,1}. It is possible to perform local complementation and pivoting in a very similar way to the phase-free case. This is an issue to implement this behaviour.

@jvdwetering jvdwetering added Type: enhancement New feature or request Category: Proof mode Issues and enhancements related to Proof mode labels Feb 19, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Category: Proof mode Issues and enhancements related to Proof mode Priority: Medium Type: enhancement New feature or request
Projects
None yet
Development

No branches or pull requests

3 participants