z i] NSrSSKJr SSKJr SSKJr SSKJr SSK J r S Sjr g) zHCompute modular sum of two qubit registers without any ancillary qubits.) annotations)QuantumCircuit)QuantumRegister)XGate)MCMTGatecfUS:a [S5e[US5n[US5n[X5nUS:XaURUSUS5 U$[ [ 5SSU-S- 5nUR XAS/USS-USS-S S 9 [US- 5HbnURUSX%5 URXUS5 URX%USX5 URXUS5 Md URUSUS5 [US- SS5HanURXUS5 URX%USX5 URXUS5 URXX%5 Mc UR XAS/USS-USS-S S 9 U$) a3 Construct a modular adder circuit with no ancillary qubits based on the Van Rentergem-style adder in Fig. 15 of [1]. The implementation uses at most :math:`16k - 13` CX gates for an adder with `k` qubits in each register, where `k = num_qubits`. Args: num_qubits: The size of the register. Returns: The quantum circuit implementing the modular adder. Raises: ValueError: If ``num_qubits`` is less than 1. References: [1] Gidney, Factoring with n+2 clean qubits and n-1 dirty qubits, 2017. `arxiv:1706.07884 `_ z(The number of qubits must be at least 1.abrNT)inplace) ValueErrorrrcxrrcomposerangerccx) num_qubitsqr_aqr_bqcmcmtis n/home/james-whalen/.local/lib/python3.13/site-packages/qiskit/synthesis/arithmetic/adders/vrg_modular_adder.pyadder_modular_v17rs,A~CDD :s +D :s +D  #BQ d1gtAw EGQJ 2 3DJJt2hZ$s)+d1g5tJD :> " d2h  dgtBx  b47+ dgtBx # EE$r(DH:>2r * dgtBx  b47+ dgtBx  dgtw + JJt2hZ$s)+d1g5tJD IN)rintreturnr) __doc__ __future__rqiskit.circuit.quantumcircuitrqiskit.circuitr'qiskit.circuit.library.standard_gates.xr-qiskit.circuit.library.generalized_gates.mcmtrrrrr&sO"8*9B:r