z i! SrSSKJr SSKJr SSKJrJr SSKJr SSK r SSK J r SS K Jr \"S S 55r\"S S 55rSrSSjr\"SS55r\ R("/SQ/SQ/SQ/SQ/SQ/SQ/SQ/5r\R-SSS5r\ R0R3\5r\ R("\"\S5VVs/sHup\ R)X/\S9PM snn5r\ R0R3\5r\ R("\"\S5VVVs/sHupn\ R)XU/\S9PM snnn5r\ R0R3\5rgs snnfs snnnf)z Defines bare dataclasses which house polytope information, as well as a specialized data structure which describes those two-qubit programs accessible to a given sequence of XX-type interactions. ) annotations)copy) dataclassfield) combinationsN) QiskitError)EPSILONcH\rSrSr%SrS\S'\"\S9rS\S'Sr S\S 'S r g ) ConvexPolytopeDataa6 The raw data underlying a ConvexPolytope. Describes a single convex polytope, specified by families of `inequalities` and `equalities`, each entry of which respectively corresponds to inequalities[j][0] + sum_i inequalities[j][i] * xi >= 0 and equalities[j][0] + sum_i equalities[j][i] * xi == 0. zlist[list[int]] inequalities)default_factory equalitiesstrnameN) __name__ __module__ __qualname____firstlineno____doc____annotations__rlistrr__static_attributes__rk/home/james-whalen/.local/lib/python3.13/site-packages/qiskit/synthesis/two_qubit/xx_decompose/polytopes.pyr r s' "!"'"=J=D#Nrr c$\rSrSr%SrS\S'Srg) PolytopeData1z. The raw data of a union of convex polytopes. zlist[ConvexPolytopeData]convex_subpolytopesrN)rrrrrrrrrrr r 1s21rr c^[U4SjUR55=(a [U4SjUR55$)z+ Tests whether `polytope` contains `point. c 3~># UH2n[*US[S[TUSS555-:*v M4 g7f)rc3.# UH upX-v M g7fNr.0xys r 1polytope_has_element...?s'U:T$!:Tr N)r sumzip)r( inequalitypoints rr+'polytope_has_element..>sB/J JqMC'U#eZPQPR^:T'U$UUU/s:=c 3># UH:n[US[S[TUSS555-5[:*v M< g7f)rc3.# UH upX-v M g7fr&rr's rr+r,BsI0Hae0Hr-r N)absr.r/r )r(equalityr1s rr+r2AsC+H HQK#IE8AB<0HII IJgU+sAA)allrr)polytoper1s `rpolytope_has_elementr9:sG "//    ++ rc x[RRU5n[U[5(a[ UR 5nO0[U[5(aU/nO[[U5S35eURU5 UHnURUR-n[U5S:XaM-[US5S- nURU5 [XV5Hn[R"UVs/sHoSSPM sn5n [R"UVs/sHoSPM sn5n [R R#U *5U -n [%XK5(aU s s $M M [)SU35es snfs snf![R R&a Mf=f)z1 Returns a single random vertex from `polytope`. z is not polytope-like.rr Nz$Polytope has no feasible solutions: )nprandom default_rng isinstancer rr"r TypeErrortypeshufflerrlenrarraylinalginvr9 LinAlgErrorr) r8seedrng paragraphsconvex_subpolytope sentences dimensionrr)matrixbvertexs rmanual_get_vertexrPGs} ))   %C(L))(667 H0 1 1Z 4>**@ABBKK (&336H6S6SS y>Q   ! %)  I(>LXXl;lul;4FF98F9c~\rSrSr%SrSrS\S'SrS\S'SrS\S'\ S5r SSS jjr \ S 5r S rS rS rg) XXPolytopehz Describes those two-qubit programs accessible to a given sequence of XX-type interactions. NOTE: Strengths are normalized so that CX corresponds to pi / 4, which differs from Qiskit's conventions around RZX elsewhere. floattotal_strength max_strengthplace_strengthc^Sup#nUHnX%- nXS:aXSpCMXT:dMUnM [X#US9$)z8 Constructs an XXPolytope from a sequence of strengths. )rrrrVrWrX)rR)cls strengthsrVrWrXstrengths rfrom_strengthsXXPolytope.from_strengthsxsK 8?4n!H  &N'/7n+!) ")Uc  rc[URU-[URU5XR:aURS9$XR:aUS9$URS9$)z@ Returns a new XXPolytope with one new XX interaction appended. rZ)rRrVmaxrWrX)self new_strengths r add_strengthXXPolytope.add_strengthsy..=T.. = "3"33!!   &24G4G%G\   NRM`M`   rc [R"SSS[RS- URURSUR-- URUR- UR - /5$)u? Returns b with A*x + b ≥ 0 iff x belongs to the XXPolytope. r)r;rCpirVrWrX)rbs r_offsetsXXPolytope._offsetsso xx ####a$*;*;&;;##d&7&77$:M:MM   rcUR5RSS5nUSS2S4[RS- [-:n[RS- X#S4- X#S4'URUR 5n[R "UR[R"S[U5-[*:SS9$) z2 Returns True when `point` is a member of `self`. Nrrgz ij,...j->...iaxis) rreshaper;rhr shaper7rieinsumA)rbr1reflected_pointrowss rmemberXXPolytope.members  **,..r15q!t$ G(;;#%5519Qw/G#Ga )11%++>vv MMBIIoq/J Jwh V]_  rcH[U[R5(a*[UR5S:XaUR 5nOG[U[ 5(a[R"U5nO[SUS[U5S35eUS[RS- [-:nU(a[RS- US- US'URU5(a%U(a[RS- US- US'U$URRSS5n[R"S [ U5n[R"S ["XE-5U- n[R"/[%URS5Q5n[R"S [&U5n[R"S [(Xx-5U- n [R"/[%URS 5Q5n [R"S [*U 5n [R,"XiU /5*n XRU 5n [R."[R0R3X- SS 95n U(a [RS- XS- XS'X$) zJ Finds the nearest point (in Euclidean or infidelity distance) to `self`. r zCan't handle type of point: z ()rrnrgz ijk,k->ijz ijk,ik->ijrmro)r>r;ndarrayrBrrrrrCr?r@rhr rwrirqrsA1A1invrA2A2invA3inv concatenateargminrDnorm)rbr1y0 reflected_pb1A1y0nearest1b2A2y0nearest2b3nearest3nearestsmallest_indexs rrXXPolytope.nearests " eRZZ ( (S-=-BB t $ $%B:5'DK=PQRS Sebeeai'11 EEAI1%BqE ;;r?? BqE)1I]] " "1a (yyb"-99\5")>8x"@AA++g./299>>',Q>#GH )+W5LQ5O)OG #A &&&rrN)rT)rcrU)rrrrrrVrrWrX classmethodr^rdpropertyrirwrrrrrrRrRhs\ NEL%NE      7'rrR)r rlr)rr rl)rrr )rlrlr)rlrlrl)r rlrl)rrrlrlrmrg)dtype)*) r __future__rr dataclassesrr itertoolsrnumpyr;qiskit.exceptionsr utilitiesr r r r9rPrRrCrtrqr}rDpinvr~rUrrA3r)r)r*zs000rrsq #(")  $ 22 2 JB D'D' D'NHH YYr1a rXX<1;MN;M!rxxex,;MNO rXXaQRASTASIQ1rxxq x/ASTU r OTs E, (E2