z i|SrSSKJr SSKJrJrJr SSKJr SSK J r J r SSK J r "SS \ 5r"S S \5rg ) zInteger Comparator.) annotations)QuantumRegisterAncillaRegisterGate) CircuitError)synth_integer_comparator_2ssynth_integer_comparator_greedy)BlueprintCircuitc ^\rSrSrSrS SU4Sjjjr\SSj5r\RSSj5r\SSj5r \ RSSj5r \SSj5r \ RSS j5r SSS jjr SU4S jjr S r U=r$)IntegerComparatora2Integer Comparator. Operator compares basis states :math:`|i\rangle_n` against a classically given integer :math:`L` of fixed value and flips a target qubit if :math:`i \geq L` (or :math:`<` depending on the parameter ``geq``): .. math:: |i\rangle_n |0\rangle \mapsto |i\rangle_n |i \geq L\rangle This operation is based on two's complement implementation of binary subtraction but only uses carry bits and no actual result bits. If the most significant carry bit (the results bit) is 1, the :math:`\geq` condition is ``True`` otherwise it is ``False``. cn>[TU]US9 SUlSUlSUlX lX0lXlg)a Args: num_state_qubits: Number of state qubits. If this is set it will determine the number of qubits required for the circuit. value: The fixed value to compare with. geq: If True, evaluate a ``>=`` condition, else ``<``. name: Name of the circuit. nameN)super__init___value_geq_num_state_qubitsvaluegeqnum_state_qubits)selfrrrr __class__s n/home/james-whalen/.local/lib/python3.13/site-packages/qiskit/circuit/library/arithmetic/integer_comparator.pyrIntegerComparator.__init__+s; d#  !%  0cUR$)zThe value to compare the qubit register to. Returns: The value against which the value of the qubit register is compared. )rrs rrIntegerComparator.valueDs{{rcPXR:waUR5 Xlgg)N)r _invalidate)rrs rrr!Ms" KK     K rcUR$)zReturn whether the comparator compares greater or less equal. Returns: True, if the comparator compares ``>=``, False if ``<``. )rr s rrIntegerComparator.geqSsyyrcPXR:waUR5 Xlgg)zSet whether the comparator compares greater or less equal. Args: geq: If True, the comparator compares ``>=``, if False ``<``. N)rr#)rrs rrr%\s$ ))     I rcUR$)zfThe number of qubits encoding the state for the comparison. Returns: The number of state qubits. )rr s rr"IntegerComparator.num_state_qubitsgs%%%rcURbXR:wa_UR5 XlUbE[USS9n[SSS9nX#/UlUS- nUS:a[ U5nUR U5 gggg)zSet the number of state qubits. Note that this will change the quantum registers. Args: num_state_qubits: The new number of state qubits. Nstatercomparer)rr#rqregsr add_register)rrqr_state q_compare num_ancillas qr_ancillas rrr(ps  ! ! )-=AWAW-W    %5 "+*+;'J+AI> &2  0!3 !#!0!>J%%j1$, .XrcSnURcSnU(a [S5eURcSnU(a [S5eSUR-nURU:waSnU(a [ S5eU$)z,Check if the current configuration is valid.TFz"Number of state qubits is not set.zNo comparison value set.r z:Number of qubits does not match required number of qubits.)rAttributeErrorrr num_qubitsr)rraise_on_failurevalidrequired_num_qubitss r_check_configuration&IntegerComparator._check_configurations|  ! ! )E$%IJJ ;; E$%?@@$"7"77 ??1 1E"#_`` rc>UR(ag[TU] 5 [URUR UR 5nURUR5UR5 g)z(If not already built, build the circuit.N) _is_builtr_buildrrrrappendto_gatequbits)rcircuitrs rr=IntegerComparator._buildsO >>  -d.C.CTZZQUQYQYZ GOO%t{{3r)rrrrrr-r)NNTcmp) r int | NonerrDrboolrstrreturnNone)rGint)rrIrGrH)rGrE)rrErGrH)rrDrGrH)T)r6rErGrE)rGrH)__name__ __module__ __qualname____firstlineno____doc__rpropertyrsetterrrr9r=__static_attributes__ __classcell__rs@rr r s "(,  1$11 1  1  112 \\   ZZ&&222,44rr cJ^\rSrSrSrSSU4SjjjrSrSrU=r$)IntegerComparatorGateayPerform a :math:`\geq` (or :math:`<`) on a qubit register against a classical integer. This operator compares basis states :math:`|i\rangle_n` against a classically given integer :math:`L` of fixed value and flips a target qubit if :math:`i \geq L` (or :math:`<` depending on the parameter ``geq``): .. math:: |i\rangle_n |0\rangle \mapsto |i\rangle_n |i \geq L\rangle cD>[TU]SUS-/US9 X lX0lg)z Args: num_state_qubits: The number of qubits in the registers. value: The value :math:`L` to compre to. geq: If ``True`` compute :math:`i \geq L`, otherwise compute :math:`i < L`. label: An optional label for the gate. IntCompr+)labelN)rrrr)rrrrrYrs rrIntegerComparatorGate.__init__s+ $4q$8"EJ rcj[URS- URUR5Ulg)Nr+)r r5rr definitionr s r_defineIntegerComparatorGate._defines&9$//A:Mtzz[_[c[cdr)r\rr)TN)rrIrrIrrErYz str | None) rJrKrLrMrNrr]rQrRrSs@rrUrUsE X\  # ,/ 6: JT  eerrUN)rN __future__rqiskit.circuitrrrqiskit.circuit.exceptionsr'qiskit.synthesis.arithmetic.comparatorsrr blueprintcircuitr r rUrrres>"AA20M4(M4`eDer