g2dZddlmZddlmZddlmZmZddlZddl m Z m Z m Z ddl mZddlmZmZdd lmZejd dgdd ggZejd dgdd ggZeeGd de ZeeGdde Zeed Gdde Zeed Gdde ZdS)zThe S, Sdg, CS and CSdg gates.) annotations)pi)OptionalUnionN) SingletonGateSingletonControlledGatestdlib_singleton_key)QuantumRegister)with_gate_arraywith_controlled_gate_array) StandardGatey?yceZdZdZejZdddddfdZeZ dZ ddfd Z dddZ dddZ dZxZS) SGateuSingle qubit S gate (Z**0.5). It induces a :math:`\pi/2` phase, and is sometimes called the P gate (phase). This is a Clifford gate and a square-root of Pauli-Z. Can be applied to a :class:`~qiskit.circuit.QuantumCircuit` with the :meth:`~qiskit.circuit.QuantumCircuit.s` method. **Matrix Representation:** .. math:: S = \begin{pmatrix} 1 & 0 \\ 0 & i \end{pmatrix} **Circuit symbol:** .. code-block:: text ┌───┐ q_0: ┤ S ├ └───┘ Equivalent to a :math:`\pi/2` radian rotation about the Z axis. Ndtdurationunitlabel Optional[str]cVtddg|||dS)zCreate new S gate.srrrrNsuper__init__selfrrr __class__s ]/granary/edev/quantum/lib/python3.11/site-packages/qiskit/circuit/library/standard_gates/s.pyrzSGate.__init__As. a58$OOOOOcddlm}ddlm}t dd}|||j}|t dz |dggfg}|D]\}}}||||||_dS) z* gate s a { u1(pi/2) a; } rQuantumCircuitrU1GateqnameN qiskit.circuit.quantumcircuitr$u1r&r r)r_append definition rr$r&r'qcrulesinstrqargscargss r _definez SGate._defineGs A@@@@@ As # # ^ADI . . .&a..1Q4&"-.#( , , E5% JJueU + + + +r!rnum_ctrl_qubitsint str | None ctrl_stateint | str | None annotated bool | Nonec|s|dkrt|||j}n%t||||}|S)alReturn a (multi-)controlled-S gate. One control qubit returns a :class:`.CSGate`. Args: num_ctrl_qubits: number of control qubits. label: An optional label for the gate [Default: ``None``] ctrl_state: control state expressed as integer, string (e.g.``'110'``), or ``None``. If ``None``, use all 1s. annotated: indicates whether the controlled gate should be implemented as an annotated gate. If ``None``, this is handled as ``False``. Returns: ControlledGate: controlled version of this gate. rrr: _base_labelr7rr:r<)CSGaterrcontrolrr7rr:r<gaters r rCz SGate.controlXs^, _11*$*UUUDD77?? /%# #D  r!FboolctS)aReturn inverse of S (SdgGate). Args: annotated: when set to ``True``, this is typically used to return an :class:`.AnnotatedOperation` with an inverse modifier set instead of a concrete :class:`.Gate`. However, for this class this argument is ignored as the inverse of this gate is always a :class:`.SdgGate`. Returns: SdgGate: inverse of :class:`.SGate` )SdgGaterr<s r inversez SGate.inverseysyyr!exponentfloatcDddlm}|dtjz|zS)Nr PhaseGate?prOnumpyrrrKr<rOs r powerz SGate.powers/      yux(2333r!c,t|tSN) isinstancerrothers r __eq__z SGate.__eq__s%'''r!rWrrrNNNr7r8rr9r:r;r<r=Fr<rFrKrLr<rF)__name__ __module__ __qualname____doc__r r_standard_gaterr _singleton_lookup_keyr6rCrJrUr[ __classcell__rs@r rr s:"'NP4PPPPPPPP1022& ! '+!% B     44444 (((((((r!rceZdZdZejZdddddfdZeZ dZ ddfd Z dddZ dddZ dZxZS) rHuSingle qubit S-adjoint gate (~Z**0.5). It induces a :math:`-\pi/2` phase. This is a Clifford gate and a square-root of Pauli-Z. Can be applied to a :class:`~qiskit.circuit.QuantumCircuit` with the :meth:`~qiskit.circuit.QuantumCircuit.sdg` method. **Matrix Representation:** .. math:: Sdg = \begin{pmatrix} 1 & 0 \\ 0 & -i \end{pmatrix} **Circuit symbol:** .. code-block:: text ┌─────┐ q_0: ┤ Sdg ├ └─────┘ Equivalent to a :math:`-\pi/2` radian rotation about the Z axis. NrrrrcVtddg|||dS)zCreate new Sdg gate.sdgrrNrrs r rzSdgGate.__init__s. 2UXDQQQQQr!cddlm}ddlm}t dd}|||j}|t dz |dggfg}|D]\}}}||||||_dS) z- gate sdg a { u1(-pi/2) a; } rr#rr%r'r(r*Nr+r0s r r6zSdgGate._defines A@@@@@ As # # ^ADI . . .&"q//AaD62./#( , , E5% JJueU + + + +r!rr7r8r9r:r;r<r=c|s|dkrt|||j}n%t||||}|S)apReturn a (multi-)controlled-Sdg gate. One control qubit returns a :class:`.CSdgGate`. Args: num_ctrl_qubits: number of control qubits. label: An optional label for the gate [Default: ``None``] ctrl_state: control state expressed as integer, string (e.g.``'110'``), or ``None``. If ``None``, use all 1s. annotated: indicates whether the controlled gate should be implemented as an annotated gate. If ``None``, this is handled as ``False``. Returns: ControlledGate: controlled version of this gate. rr?rA)CSdgGaterrrCrDs r rCzSdgGate.controls^, _11%JDJWWWDD77?? /%# #D  r!FrFctS)aReturn inverse of Sdg (SGate). Args: annotated: when set to ``True``, this is typically used to return an :class:`.AnnotatedOperation` with an inverse modifier set instead of a concrete :class:`.Gate`. However, for this class this argument is ignored as the inverse of this gate is always a :class:`.SGate`. Returns: SGate: inverse of :class:`.SdgGate` )rrIs r rJzSdgGate.inverses wwr!rKrLcDddlm}|dtjz|zS)NrrNrQrTs r rUz SdgGate.powers/      y83444r!c,t|tSrW)rXrHrYs r r[zSdgGate.__eq__s%)))r!rWr\r]r^r_r`ra)rbrcrdrer rHrfrr rgr6rCrJrUr[rhris@r rHrHs:")NR4RRRRRRRR1022& ! '+!% B     55555 *******r!rHr7czeZdZdZejZ ddddddfd Zed Z d Z dddZ dddZ dZ xZS)rBuControlled-S gate. Can be applied to a :class:`~qiskit.circuit.QuantumCircuit` with the :meth:`~qiskit.circuit.QuantumCircuit.cs` method. **Circuit symbol:** .. code-block:: text q_0: ──■── ┌─┴─┐ q_1: ┤ S ├ └───┘ **Matrix representation:** .. math:: CS \ q_0, q_1 = I \otimes |0 \rangle\langle 0| + S \otimes |1 \rangle\langle 1| = \begin{pmatrix} 1 & 0 & 0 & 0 \\ 0 & 1 & 0 & 0 \\ 0 & 0 & 1 & 0 \\ 0 & 0 & 0 & i \end{pmatrix} Nrrrr@rrr:Optional[Union[str, int]]c ztddg|d|t|||| dS)zCreate new CS gate.csr*rr)rr7r: base_gaterr@rN)rrrrrr:rrr@rs r rzCSGate.__init__ sY   !+...#  r!rrtcNddlm}|tdz j|_dS)z9 gate cs a,b { h b; cp(pi/2) a,b; h b; } r CPhaseGater*thetaNrRrrr/rrs r r6zCSGate._define9s5 "!!!!!$*26222=r!Fr<rFc,t|jS)aReturn inverse of CSGate (CSdgGate). Args: annotated: when set to ``True``, this is typically used to return an :class:`.AnnotatedOperation` with an inverse modifier set instead of a concrete :class:`.Gate`. However, for this class this argument is ignored as the inverse of this gate is always a :class:`.CSdgGate`. Returns: CSdgGate: inverse of :class:`.CSGate` r:)ror:rIs r rJzCSGate.inverseAs4?3333r!rKrLcDddlm}|dtjz|zS)Nrr~rPrRrrSrrrKr<rs r rUz CSGate.powerOs/!!!!!!z#.83444r!cLt|to|j|jkSrW)rXrBr:rYs r r[z CSGate.__eq__Ts!%((PT_@P-PPr!NNrrr:rwr_r`ra)rbrcrdrer rBrfrr rgr6rJrUr[rhris@r rBrBs8"(N $04          .10CCC>>> 4 4 4 4 455555 QQQQQQQr!rBczeZdZdZejZ ddddddfd Zed Z d Z dddZ dddZ dZ xZS)rouControlled-S^\dagger gate. Can be applied to a :class:`~qiskit.circuit.QuantumCircuit` with the :meth:`~qiskit.circuit.QuantumCircuit.csdg` method. **Circuit symbol:** .. code-block:: text q_0: ───■─── ┌──┴──┐ q_1: ┤ Sdg ├ └─────┘ **Matrix representation:** .. math:: CS^\dagger \ q_0, q_1 = I \otimes |0 \rangle\langle 0| + S^\dagger \otimes |1 \rangle\langle 1| = \begin{pmatrix} 1 & 0 & 0 & 0 \\ 0 & 1 & 0 & 0 \\ 0 & 0 & 1 & 0 \\ 0 & 0 & 0 & -i \end{pmatrix} Nrrvrrr:rwc xtddg|d|t||| dS)zCreate new CSdg gate.csdgr*rrz)rr7r:r{rrN)rrrHr|s r rzCSdgGate.__init__xsV   !K000  r!rrtcPddlm}|t dz j|_dS)z< gate csdg a,b { h b; cp(-pi/2) a,b; h b; } rr~r*rNrrs r r6zCSdgGate._defines7 "!!!!!$*B37333>r!Fr<rFc,t|jS)aReturn inverse of CSdgGate (CSGate). Args: annotated: when set to ``True``, this is typically used to return an :class:`.AnnotatedOperation` with an inverse modifier set instead of a concrete :class:`.Gate`. However, for this class this argument is ignored as the inverse of this gate is always a :class:`.CSGate`. Returns: CSGate: inverse of :class:`.CSdgGate` r)rBr:rIs r rJzCSdgGate.inverses1111r!rKrLcDddlm}|dtjz|zS)Nrr~rrrrs r rUzCSdgGate.powers/!!!!!!z$/H4555r!cLt|to|j|jkSrW)rXror:rYs r r[zCSdgGate.__eq__s!%**Rt%BR/RRr!rrr_r`ra)rbrcrdrer rorfrr rgr6rJrUr[rhris@r roroXs8"*N $04          ,10CCC??? 2 2 2 2 266666 SSSSSSSr!ro)re __future__rmathrtypingrrrSqiskit.circuit.singletonrrr qiskit.circuit.quantumregisterr qiskit.circuit._utilsr r qiskit._accelerate.circuitr array_S_ARRAY _SDG_ARRAYrrHrBror!r rs=%$"""""""""""""" aaaaaaaaaa::::::MMMMMMMM333333 5;AB( ) ) U[1a&1c(+ , , l(l(l(l(l(Ml(l(l(^l*l*l*l*l*ml*l*l*^Ha888TQTQTQTQTQ $TQTQ98TQnJ:::SSSSSSSSSS&SSSS;:SSSSSSr!