gFdZddlZddlmZddlmZddlmZdedefdZ dS) z/ Circuit synthesis for the CNOTDihedral class. N)QuantumCircuit) QiskitError) CNOTDihedralelemreturnc |j}t|}|}tjtj|jdzdstdt|D]9}|j |r*| || |:t|D]}|j||st|dz|D]}|j||r| ||| ||| |||||||||||nt|D]G}||kr?|j||r,| |||||H|j tj|kr/|jtj|kstd|}d|j_tj|tj|j_tjt-||dz zdz tj|j_tjt-||dz z|dz zdz tj|j_t|}t|D]>}t|dz|D]&}t|dz|D]}|j|||gdkr|||||||d|||||||| ||| |||tjdz |g| ||| ||(@t|D]}t|dz|D]}|j||g} |j||g} | | z dz dz} | dkr||||| ||||| |||| tjzdz |g| ||t|D]}|j|g} |j|g} | | z d z} | dkr=|| ||| tjzdz |g|j|jkrtd |} || S) aDecompose a :class:`.CNOTDihedral` element into a :class:`.QuantumCircuit`. Decompose a general :class:`.CNOTDihedral` elements. The number of CX gates is not necessarily optimal. For a decomposition of a 1-qubit or 2-qubit element, call :func:`.synth_cnotdihedral_two_qubits`. Args: elem: A :class:`.CNOTDihedral` element. Returns: A circuit implementation of the :class:`.CNOTDihedral` element. Raises: QiskitError: if the element could not be decomposed into a circuit. References: 1. Andrew W. Cross, Easwar Magesan, Lev S. Bishop, John A. Smolin and Jay M. Gambetta, *Scalable randomized benchmarking of non-Clifford gates*, npj Quantum Inf 2, 16012 (2016). zLinear part is not invertible.z+Cannot do Gauss elimination on linear part.r)dtypez#Could not recover phase polynomial.) num_qubitsrcopynpallcloselinalgdetlinearrrangeshiftx _append_xcx _append_cxzerosalleyepolyweight_0int8weight_1intweight_2weight_3get_term _append_phaseppiinversecompose) rrcircuitelem_cpyijnew_elem new_circuitktpow1tpow2tpow inv_circuits r/granary/edev/quantum/lib/python3.11/site-packages/qiskit/synthesis/cnotdihedral/cnotdihedral_decompose_general.pysynth_cnotdihedral_generalr8sQ.JZ((Gyy{{H ; ho66:Q ? ?<:;;;:  "" :a= " IIaLLL   q ! ! !:  ..q!!$ 1q5*--  ?1%a(JJq!$$$JJq!$$$JJq!$$$''1---''1---''1---Ez"" . .AAvv?1%a(.JJq!$$$''1---  .^rx 33 3 8 8 : :I26*#5#55::<<IGHHH}}HHMXj@@@HMXc* Q*G!*K&L<VT[\\\HMX J*q. )Z!^ r@s)))))))))))),,,,,,w,\w,nw,w,w,w,w,w,r9