g(@dZddlmZddlZddlmZmZddlmZddl m Z ddl m Z m Z ddlmZGd d ZejGd d eZejGd deZejGddeZGddeZdZdS)zAnnotated Operations.) annotationsN)UnionList) Operation)ParameterValueType)_compute_control_matrix_ctrl_state_to_int) CircuitErrorceZdZdZdS)Modifierz[The base class that all modifiers of :class:`~.AnnotatedOperation` should inherit from.N__name__ __module__ __qualname____doc__X/granary/edev/quantum/lib/python3.11/site-packages/qiskit/circuit/annotated_operation.pyr r s Drr ceZdZdZdS)InverseModifierz;Inverse modifier: specifies that the operation is inverted.Nr rrrrr!sEEDrrc:eZdZUdZdZded<dZded<d d dZdS) ControlModifierz}Control modifier: specifies that the operation is controlled by ``num_ctrl_qubits`` and has control state ``ctrl_state``.rintnum_ctrl_qubitsNUnion[int, str, None] ctrl_statec>||_t|||_dS)N)rr r)selfrrs r__init__zControlModifier.__init__0s.,ZIIr)rN)rrrr)rrrrr__annotations__rrrrrrr(sd--O(,J,,,,JJJJJJJrrceZdZUdZded<dS) PowerModifierzNPower modifier: specifies that the operation is raised to the power ``power``.floatpowerN)rrrrr rrrr"r"5sXXLLLLLrr"ceZdZdZd'dZedZedZed Zd(d Z d)dZ dZ d*d+dZ d,d-dZ d.d/dZed0d!Zejd1d#Zd2d&ZdS)3AnnotatedOperationzAnnotated operation.base_opr modifiersUnion[Modifier, List[Modifier]]cT||_ t|tr|n|g|_dS)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)r' isinstancerr()rr'r(s rrzAnnotatedOperation.__init__?s5J [&0D&A&AR { 8 8rcdS)z,Unique string identifier for operation type. annotatedrrs rnamezAnnotatedOperation.namejs {rcvd}|jD]!}t|tr ||jz }"||jjzS)zNumber of qubits.r)r(r+rrr' num_qubits)rrmodifiers rr1zAnnotatedOperation.num_qubitsosJ < r'r(r+rr$rrdatarrr"r )rr>operatorr2s r to_matrixzAnnotatedOperation.to_matrixs::::::8DL)) D DH(O44 D#>>"--Ho66 D#8+ x'?AT Hm44 D#>>(.99"#Bx#B#B#BCCCrNTrrlabel str | Nonerint | str | Noner-c|j}|t||t |j|S)ag 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)r(r<appendrr&r')rrrGrr-extended_modifierss rcontrolzAnnotatedOperation.controlsU."^0022!! O S S S   "$,0BCCCrc|j}|tt |j|S)a0 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. )r(r<rKrr&r')rr-rLs rinversezAnnotatedOperation.inversesE"^0022!!/"3"3444!$,0BCCCrFexponentr#c|j}|t|t |j|S)ao 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`` )r(r<rKr"r&r')rrPr-rLs rr$zAnnotatedOperation.powersG"^0022!!-"9"9:::!$,0BCCCrlist[ParameterValueType]c.t|jdgS)z,The params of the underlying base operation.params)getattrr'r.s rrTzAnnotatedOperation.paramsst|Xr222rvaluecxt|jdr||j_dStd|jd)NrTz6Cannot set attribute ``params`` on the base operation rA)hasattrr'rTAttributeError)rrVs rrTzAnnotatedOperation.paramssH 4< * * "'DL    XXXX r parameterrct|jdr|j|Std|jd)z7Validate a parameter for the underlying base operation.validate_parameterz1Cannot validate parameters on the base operation rA)rXr'r\rY)rrZs rr\z%AnnotatedOperation.validate_parametersK 4<229== =`QUQ]```aaar)r'rr(r))r5r6)r5r:)rFNNT) rrrGrHrrIr-r6r5r&)T)r-r6)F)rPr#r-r6)r5rR)rVrR)rZrr5r)rrrrrpropertyr/r1r4r9r<rErMrOr$rTsetterr\rrrr&r&<s)8)8)8)8VX99X9''X'    ````. ! '+ DDDDD:DDDDD"DDDDD$333X3 ]]bbbbbbrr&cd}d}d}|D]}t|tr|dz}t|tr||jz }||jz|jz}Ot|t r ||jz}otd|dg}|dkr&|t|dz}|dkr"|t ||dkr#|t|||S)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. rFrr?r@rA) r+rrrrr"r$r rK)r(r$rrr2canonical_modifierss r_canonicalize_modifiersras: EOJ @ @ h 0 0 @ RKEE / 2 2 @ x7 7O$(@@HDWWJJ - 0 0 @ X^ #EE>8>>>?? ? qyy""?#4#4555   zz""=#7#7888""??J#O#OPPP r)r __future__r dataclassestypingrrqiskit.circuit.operationr"qiskit.circuit.parameterexpressionrqiskit.circuit._utilsrr qiskit.circuit.exceptionsr r dataclassrrr"r&rarrrrjs""""""......AAAAAAMMMMMMMM222222              h     J J J J Jh J J J H vbvbvbvbvbvbvbvbr"""""r