z inSrSSKrSSKJr SSKrSSKJr SSKJ r SSK J r SSK J r Jr S \4S jrSS \S \R S \4SjjrS \S\4Sjrg)z:Utility functions for handling linear reversible circuits.N)Callable)QuantumCircuit) QiskitError) CircuitError)calc_inverse_matrixcheck_invertible_binary_matrixqccB[URURURS-S9n[ UR 5HYnUR RS:wa [S5eURUR[ UR5S95 M[ U$)aDTakes a circuit having only CX gates, and calculates its transpose. This is done by recursively replacing CX(i, j) with CX(j, i) in all instructions. Args: qc: a :class:`.QuantumCircuit` containing only CX gates. Returns: QuantumCircuit: the transposed circuit. Raises: CircuitError: if qc has a non-CX gate. _transpose)namecxz"The circuit contains non-CX gates.)qubits) rrclbitsr reverseddata operationr_appendreplace)r transposed_circ instructions g/home/james-whalen/.local/lib/python3.13/site-packages/qiskit/synthesis/linear/linear_circuits_utils.pytranspose_cx_circrs%RYY ,@VWO(  % % -CD D 3 38KDVDV;W 3 XY) functionmatoptimize_countch[U5(d [S5eU"U5nUnUR5nUR5Sn[ SS5GHXn[ R "U5nUS:Xa$[U5nU"U5nUR5nOxUS:Xa*[R"U5nU"U5n[U5nOHUS:XaB[[R"U55nU"U5n[U5nUR5nUR5n UR5Sn U=(a Xj:=(d U(+=(a XY:H=(a Xj:n U(+=(a XY:=(d U=(a Xj:H=(a XY:n U (d U (dGMRU nU nUnGM[ U$)a+Get the best implementation of a circuit implementing a binary invertible matrix M, by considering all four options: M,M^(-1),M^T,M^(-1)^T. Optimizing either the CX count or the depth. Args: function: the synthesis function. mat: a binary invertible matrix. optimize_count: True if the number of CX gates in optimize, False if the depth is optimized. Returns: QuantumCircuit: an optimized :class:`.QuantumCircuit`, has the best depth or CX count of the four options. Raises: QiskitError: if mat is not an invertible matrix. zThe matrix is not invertible.rr) r rdepth count_opsrangecopydeepcopyrinversenp transposer) rrrr best_qc best_depth best_countimat_cpy new_depth new_count better_count better_depths roptimize_cx_4_optionsr3-s}" *# . .9:: #BGJ%J 1a[--$ 6)'2G'"BB !Vll7+G'"B"2&B !V)",,w*?@G'"B"2&BBHHJ LLN4( &A:+A   U:#: Uz?U +*Ez/E  Qz6 Q:;Q  <<"J"JG?B NrreturncvURHnURRS:dMURRS:XagUR UR S5R nUR UR S5R n[X#- 5nUS:wa gM[S5e g)a6Check that the synthesized circuit qc fits linear nearest neighbor connectivity. Args: qc: a :class:`.QuantumCircuit` containing only CX and single qubit gates. Returns: bool: True if the circuit has linear nearest neighbor connectivity. Raises: CircuitError: if qc has a non-CX two-qubit gate. rrrFz3The circuit has two-qubits gates different than CX.T) rr num_qubitsr find_bitrindexabsr)r rq0q1dists rcheck_lnn_connectivityr=jsww  + +a /$$))T1[[!3!3A!67==[[!3!3A!67==27|19 ##XYY r)T)__doc__r%typingrnumpyr(qiskit.circuitrqiskit.exceptionsrqiskit.circuit.exceptionsrrr rndarrayboolr3r=rrrHs^A ))2A.*:H:2:::t:z~$r