z i~SrSSKJr SSKJr SSKrSSKJr SSK J r SSK J r SSK Jr S S S jjrg) z Stabilizer to circuit function ) annotations) CollectionN) PauliList) QiskitError)QuantumCircuit)Cliffordc[U5n[R"URS-5(a [ S5e[ UR U55[ U5:a [ S5eURn[U5nSn[U5GHupU R[U5SS9n Un X:a3XR(dXR(aO U S- n X:aM3X:XaU RR5(a[ SUS U S 35eU RS:Xa[ SUS U S 35eU RR5(aU(d[ SUS U S 35eMXR(azXR(aVURU 5 URU 5 URU 5 URU 5 URU 5 OURU 5 [!U5GH$n X:Xd&XR(dXR(dM1XRXRS--n U S:Xa5URU 5 UR#X5 URU 5 MU S:XaUR#X5 MU S :XdMURU 5 URU 5 URU 5 URU 5 UR#X5 URU 5 URU 5 GM' X:waUR%X5 U R[U5SS9n U RS:XaURU5 US- nGM Xu:aU(d [ S5eU(aU$UR'5$)aSynthesis of a circuit that generates a state stabilized by the stabilizers using Gaussian elimination with Clifford gates. If the stabilizers are underconstrained, and ``allow_underconstrained`` is ``True``, the circuit will output one of the states stabilized by the stabilizers. Based on stim implementation. Args: stabilizers: List of stabilizer strings allow_redundant: Allow redundant stabilizers (i.e., some stabilizers can be products of the others) allow_underconstrained: Allow underconstrained set of stabilizers (i.e., the stabilizers do not specify a unique state) invert: Return inverse circuit Returns: A circuit that generates a state stabilized by ``stabilizers``. Raises: QiskitError: if the stabilizers are invalid, do not commute, or contradict each other, if the list is underconstrained and ``allow_underconstrained`` is ``False``, or if the list is redundant and ``allow_redundant`` is ``False``. References: 1. https://github.com/quantumlib/Stim/blob/c0dd0b1c8125b2096cd54b6f72884a459e47fe3e/src/stim/stabilizers/conversions.inl#L469 2. https://quantumcomputing.stackexchange.com/questions/12721/how-to-calculate-destabilizer-group-of-toric-and-other-codes z&Some stabilizers have an invalid phasez Some stabilizers do not commute.rs)framez Stabilizer z (z6) anti-commutes with some of the previous stabilizers.z/) contradicts some of the previous stabilizers.z) is a product of the others and allow_redundant is False. Add allow_redundant=True to the function call if you want to allow redundant stabilizers.zStabilizers are underconstrained and allow_underconstrained is False. Add allow_underconstrained=True to the function call if you want to allow underconstrained stabilizers.)rnpanyphaserlencommutes_with_all num_qubitsr enumerateevolverxzhr rangecxswapinverse) stabilizersallow_redundantallow_underconstrainedinvertstabilizer_listrcircuitusedi stabilizer curr_stabpivotjps h/home/james-whalen/.local/lib/python3.13/site-packages/qiskit/synthesis/stabilizer/stabilizer_circuit.pysynth_circuit_from_stabilizersr,sKD ,O vvo##a'((BCC ? , ,_ =>_AUU<== ++JZ(G D"?3 %%hw&7s%C  !!Y%5%7%7 QJE  {{  !!!Bzl300!#!!!Bzl388{{  !!!Bzl3WW     !! %  %  %  %  %  % z"Az),..ILNN !!33AAv %  5$ % a 1$a %  !  !  !  5$ %  ! ##( = LL %%%hw&7s%C ??a  IIdO  I4L !7 A   ?? )FFF) rzCollection[str]rboolr r.r!r.returnr)__doc__ __future__rcollections.abcrnumpyrqiskit.quantum_inforqiskit.exceptionsrqiskit.circuitr1qiskit.quantum_info.operators.symplectic.cliffordrr,r-r+r9se#&)))F "#( z zz!z  z  zr-