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

Compare boundary partial orders #161

Open
aborgna-q opened this issue Nov 14, 2024 · 0 comments · May be fixed by #164
Open

Compare boundary partial orders #161

aborgna-q opened this issue Nov 14, 2024 · 0 comments · May be fixed by #164
Assignees
@aborgna-q
Labels
enhancement New feature or request perf Performance issue

Comments

@aborgna-q
Copy link
Collaborator

aborgna-q commented Nov 14, 2024 •
edited
Loading

Given two LinkViews $S$ and $R$, a port boundary $B$ in $S$ and an equivalent boundary $\tilde B$ in $R$,
determine if the partial order induced in $\tilde B$ by $R$ is strictly stronger than the one induced in $B$ by $S$.

Discussion: CQCL/hugr#1656
@aborgna-q aborgna-q self-assigned this Nov 20, 2024
@aborgna-q aborgna-q added enhancement New feature or request perf Performance issue labels Nov 20, 2024
@aborgna-q aborgna-q linked a pull request Nov 21, 2024 that will close this issue
Open
@aborgna-q aborgna-q linked a pull request Nov 21, 2024 that will close this issue
feat!: Boundary order checking #164
Open
@aborgna-q aborgna-q mentioned this issue Jan 16, 2025
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@aborgna-q aborgna-q

Labels
enhancement New feature or request perf Performance issue
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

feat!: Boundary order checking CQCL/portgraph
1 participant
@aborgna-q