I'm trying to produce a test case which uses the "boundary pivot" rule (from the "Graph-like rules" tab), but I can't figure out how to make this match. I think one of the following diagrams ought to work but the boundary pivot rule is always greyed out:
Having a look at the pyzx source this seems like it should match (phase of 1/2 connected to the boundary, everything else is pauli phases, and connected as for a regular pivot)
I'm trying to produce a test case which uses the "boundary pivot" rule (from the "Graph-like rules" tab), but I can't figure out how to make this match. I think one of the following diagrams ought to work but the boundary pivot rule is always greyed out:
Having a look at the pyzx source this seems like it should match (phase of 1/2 connected to the boundary, everything else is pauli phases, and connected as for a regular pivot)