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

Add project_z and hseries.measure_and_reset functions #645

Closed
ss2165 opened this issue Nov 13, 2024 · 0 comments · Fixed by #679
Closed

Add project_z and hseries.measure_and_reset functions #645

ss2165 opened this issue Nov 13, 2024 · 0 comments · Fixed by #679
Assignees
@ss2165

Comments

@ss2165
Copy link
Member

ss2165 commented Nov 13, 2024

To precisely capture the semantics of the tket2 measurement operations and the hseries specific MeasureReset operation:

Guppy function semantics Guppy signature Hugr implementation
measure Measure qubit and lose it qubit -> bool T2::DestructiveMeasure
project_z Projective z basis measurement qubit -> qubit, bool T2::Measure
hseries.measure_and_reset Measure a qubit and immediately reset it to 0 qubit -> qubit, bool HS::MeasureReset

Blocked by:
CQCL/tket2#691
CQCL/tket2#692

Tracked by:
https://github.com/CQCL-DEV/hugrverse/issues/77
@ss2165 ss2165 self-assigned this Nov 27, 2024
@ss2165 ss2165 mentioned this issue Dec 2, 2024
Merged
github-merge-queue bot pushed a commit that referenced this issue Dec 2, 2024
@ss2165
feat!: qsystem std functions with updated primitives (#679)
b0f041f 
Closes #625 Closes #645
- hseries renamed to qsystem



BREAKING CHANGE: hseries primitive functions moved to std.qsystem
BREAKING CHANGE: measure_return renamed to `project_z`
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@ss2165 ss2165

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

feat!: qsystem std functions with updated primitives CQCL/guppylang
1 participant
@ss2165