z i(,SrSSKJr SSKrSSKJrJr SSKJr SSK J r SSK J r J r SSKJr "S S 5r\R""S S \55r\R""S S\55r\R""SS\55r"SS\5rSrg)zAnnotated Operations.) annotationsN)UnionList) Operation)ParameterValueType)_compute_control_matrix_ctrl_state_to_int) CircuitErrorc\rSrSrSrSrg)ModifierzWThe base class that all modifiers of :class:`~.AnnotatedOperation` should inherit from.N__name__ __module__ __qualname____firstlineno____doc____static_attributes__r\/home/james-whalen/.local/lib/python3.13/site-packages/qiskit/circuit/annotated_operation.pyr r s  rr c\rSrSrSrSrg)InverseModifier!z;Inverse modifier: specifies that the operation is inverted.rNrrrrrr!sErrcD\rSrSr%SrSrS\S'SrS\S'S S S jjrS r g) ControlModifier(zyControl modifier: specifies that the operation is controlled by ``num_ctrl_qubits`` and has control state ``ctrl_state``.rintnum_ctrl_qubitsNUnion[int, str, None] ctrl_statec0Xl[X!5Ulg)N)rr r!)selfrr!s r__init__ControlModifier.__init__0s.,ZIr)r!r)rN)rrr!r ) rrrrrr__annotations__r!r$rrrrrr(s*-OS(,J%,JJrrc$\rSrSr%SrS\S'Srg) PowerModifier5zNPower modifier: specifies that the operation is raised to the power ``power``.floatpowerrN)rrrrrr&rrrrr(r(5s X Lrr(c\rSrSrSrSSjr\S5r\S5r\S5r SSjr SSjr S r SSS jjr SSS jjrSSS jjr\SSj5r\R"SSj5rSSjrSrg )AnnotatedOperation<zAnnotated operation.cPXl[U[5(aUOU/Ulg)a Create a new AnnotatedOperation. An "annotated operation" allows to add a list of modifiers to the "base" operation. For now, the only supported modifiers are of types :class:`~.InverseModifier`, :class:`~.ControlModifier` and :class:`~.PowerModifier`. An annotated operation can be viewed as an extension of :class:`~.ControlledGate` (which also allows adding control to the base operation). However, an important difference is that the circuit definition of an annotated operation is not constructed when the operation is declared, and instead happens during transpilation, specifically during the :class:`~.HighLevelSynthesis` transpiler pass. An annotated operation can be also viewed as a "higher-level" or "more abstract" object that can be added to a quantum circuit. This enables writing transpiler optimization passes that make use of this higher-level representation, for instance removing a gate that is immediately followed by its inverse. Args: base_op: base operation being modified modifiers: ordered list of modifiers. Supported modifiers include ``InverseModifier``, ``ControlModifier`` and ``PowerModifier``. Examples:: op1 = AnnotatedOperation(SGate(), [InverseModifier(), ControlModifier(2)]) op2_inner = AnnotatedGate(SGate(), InverseModifier()) op2 = AnnotatedGate(op2_inner, ControlModifier(2)) Both op1 and op2 are semantically equivalent to an ``SGate()`` which is first inverted and then controlled by 2 qubits. N)base_op isinstancer modifiers)r#r0r2s rr$AnnotatedOperation.__init__?s)J [&0D&A&A { 8rcg)z,Unique string identifier for operation type. annotatedrr#s rnameAnnotatedOperation.namejsrcSnURH(n[U[5(dMXR- nM* XRR -$)zNumber of qubits.r)r2r1rrr0 num_qubits)r#rmodifiers rr:AnnotatedOperation.num_qubitsosGH(O44#;#;;'!8!888rc.URR$)zNumber of classical bits.)r0 num_clbitsr6s rr>AnnotatedOperation.num_clbitsys||&&&rc[U[5=(a9 URUR:H=(a URUR:H$)z,Checks if two AnnotatedOperations are equal.)r1r-r2r0)r#others r__eq__AnnotatedOperation.__eq__~s> u0 1 .%//1 .  - rcv[URR5URR5S9$)z3Return a copy of the :class:`~.AnnotatedOperation`.r0r2)r-r0copyr2r6s rrFAnnotatedOperation.copys)!$,,*;*;*=I\I\I^__rcSSKJn U"UR5nURHn[ U[ 5(aUR S5nM+[ U[5(a3U"[URURUR55nMs[ U[5(aUR UR 5nM[SUS35e U$)z@Return a matrix representation (allowing to construct Operator).r)OperatorUnknown modifier .)qiskit.quantum_info.operatorsrIr0r2r1rr+rrdatarr!r(r )r#rIoperatorr;s r to_matrixAnnotatedOperation.to_matrixs:DLL)H(O44#>>"-Ho66#+ x'?'?ATAT Hm44#>>(..9"%6xj#BCC'rNcURR5nUR[XS95 [ UR U5$)a Return the controlled version of itself. Implemented as an annotated operation, see :class:`.AnnotatedOperation`. Args: num_ctrl_qubits: number of controls to add to gate (default: ``1``) label: ignored (used for consistency with other control methods) ctrl_state: The control state in decimal or as a bitstring (e.g. ``'111'``). If ``None``, use ``2**num_ctrl_qubits-1``. annotated: ignored (used for consistency with other control methods) Returns: Controlled version of the given operation. )rr!)r2rFappendrr-r0)r#rlabelr!r5extended_modifierss rcontrolAnnotatedOperation.controlsA."^^002!! O S "$,,0BCCrcURR5nUR[55 [ UR U5$)z Return the inverse version of itself. Implemented as an annotated operation, see :class:`.AnnotatedOperation`. Args: annotated: ignored (used for consistency with other inverse methods) Returns: Inverse version of the given operation. )r2rFrSrr-r0)r#r5rUs rinverseAnnotatedOperation.inverses:"^^002!!/"34!$,,0BCCrcURR5nUR[U55 [ UR U5$)a/ Raise this gate to the power of ``exponent``. Implemented as an annotated operation, see :class:`.AnnotatedOperation`. Args: exponent: the power to raise the gate to annotated: ignored (used for consistency with other power methods) Returns: An operation implementing ``gate^exponent`` )r2rFrSr(r-r0)r#exponentr5rUs rr+AnnotatedOperation.powers<"^^002!!-"9:!$,,0BCCrc0[URS/5$)z,The params of the underlying base operation.params)getattrr0r6s rr_AnnotatedOperation.paramsst||Xr22rc[URS5(aXRlg[SURS35e)Nr_z6Cannot set attribute ``params`` on the base operation rL)hasattrr0r_AttributeError)r#values rr_ras; 4<< * *"'LL  HVWX rc[URS5(aURRU5$[SURS35e)z7Validate a parameter for the underlying base operation.validate_parameterz1Cannot validate parameters on the base operation rL)rcr0rgrd)r# parameters rrg%AnnotatedOperation.validate_parametersG 4<rBrFrPrVrYr+r_setterrgrrrrr-r-<s)8V99'' `. ! '+ DDD% D  D  D:D"D$33 ]]brr-c SnSnSnUHn[U[5(aUS-nM[U[5(a+X$R- nX4R-UR-nM_[U[ 5(aXR -nM[SUS35e /nUS:aUR[55 US-nUS:waUR[ U55 US:aUR[X#55 U$)a Returns the canonical representative of the modifier list. This is possible since all the modifiers commute; also note that InverseModifier is a special case of PowerModifier. The current solution is to compute the total number of control qubits / control state and the total power. The InverseModifier will be present if total power is negative, whereas the power modifier will be present only with positive powers different from 1. rlrrJrKrL) r1rrrr!r(r+r rS)r2r+rr!r;canonical_modifierss r_canonicalize_modifiersrrs EOJ h 0 0 RKE / 2 2 77 7O$(@(@@HDWDWWJ - 0 0 ^^ #E!28*A>? ? qy""?#45   z""=#78""??#OP r)r __future__r dataclassestypingrrqiskit.circuit.operationr"qiskit.circuit.parameterexpressionrqiskit.circuit._utilsrr qiskit.circuit.exceptionsr r dataclassrrr(r-rrrrrr{s".AM2    h    Jh J J H vbvbr"r