z iH%SrSSKJr SSKrSSKJrJrJrJ r Sr Sr \"\"/SQ/S Q/S Q/S Q/S Q/S Q/SQ/SQ/SQ/SQ/SQ/SQ/SQ/SQ/SQ//SS9\"/SQ/S Q/S Q/S Q/S Q/S Q/SQ/SQ/SQ/SQ/SQ/SQ/SQ/SQ/SQ//SS9\"/SQ/S Q/S Q/S Q/SQ/S Q/SQ/SQ/SQ/SQ/S Q/SQ/SQ/SQ/S Q/SQ//S!S9\"/SQ/S Q/S Q/S Q/SQ/S Q/SQ/SQ/SQ/SQ/S Q/SQ/S"Q/S#Q/S Q/SQ//S$S9/S%9r \"\"/S&Q/S'Q/S(Q/S)Q/S*Q/S+Q/S,Q/S-Q/S.Q/S/Q/S0Q/S1Q/S2Q/S3Q/S4Q/S5Q/S6Q/S7Q/S8Q/S9Q/S:Q/S;Q/SQ/S?Q/S@Q/SAQ/SBQ//SCQ/SS9\"/S&Q/S'Q/S(Q/S)Q/S*Q/S+Q/S,Q/S-Q/S.Q/S/Q/S0Q/S1Q/SDQ/S3Q/S4Q/S5Q/S6Q/S7Q/S8Q/S9Q/S:Q/S;Q/SQ/S?Q/S@Q/SAQ/SBQ//SCQ/SS9/S%9r g)Ra/ Routines for producing right-angled paths through the Weyl alcove. Consider a set of native interactions with an associated minimal covering set of minimum-cost circuit polytopes, as well as a target coordinate. The coverage set associates to the target coordinate a circuit type C = (O1 ... On) consisting of a sequence of native interactions Oj. A _path_ is a sequence (I P1 ... Pn) of intermediate Weyl points, where Pj is accessible from P(j-1) by Oj. A path is said to be _right-angled_ when at each step one coordinate is fixed (up to possible Weyl reflection) when expressed in canonical coordinates. The key inputs to our method are: + A family of "b coordinates" which describe the target canonical coordinate. + A family of "a coordinates" which describe the source canonical coordinate. + A sequence of interaction strengths for which the b-coordinate can be modeled, with one selected to be stripped from the sequence ("beta"). The others are bundled as the sum of the sequence (s+), its maximum value (s1), and its second maximum value (s2). Given the b-coordinate and a set of intersection strengths, the procedure for backsolving for the a-coordinates is then extracted from the monodromy polytope. NOTE: The constants in this file are auto-generated and are not meant to be edited by hand / read. ) annotationsN)ConvexPolytopeData PolytopeDatamanual_get_vertexpolytope_has_elementc`UGtp[USS/-5n[U5USUSU/n/UQUQ$)zD Assembles a coordinate in the system used by `xx_region_polytope`. r)sortedsum)target_coordinate strengthsbetainteraction_coordinates g/home/james-whalen/.local/lib/python3.13/site-packages/qiskit/synthesis/two_qubit/xx_decompose/paths.pyget_augmented_coordinater*sL!YyAq6)*I!)nimYr]DQ 8  8!7 88c ^UVs/sHo"[RS- - PM nnUVs/sHo"[R- PM nn[X5nSn[RGHxm[ TU5(dMSTR ;aUun nO7STR ;aUupenO!STR ;aUu peO [S5e[U4Sj[R5S5n0nURHn U SS :Xa U SS :XaMU S U S U--U S US --U S US--U S US--U SUS --U SUS --U SUS --U SUS --n XRU SU S4U 5::dMXU SU S4'M [[UR5V V V s/sH uupoX/PM sn n n S9/S9n O Uc [S5e[U5up[!XW/SS9Vs/sHo"[RS- -PM sn$s snfs snfs sn n n fs snf)aJ Given a `target_coordinate` and a list of interaction `strengths`, produces a new canonical coordinate which is one step back along `strengths`. `target_coordinate` is taken to be in positive canonical coordinates, and the entries of strengths are taken to be [0, pi], so that (sj / 2, 0, 0) is a positive canonical coordinate. NzAF=B1zAF=B2zAF=B3z"Couldn't find a coordinate to fix.c3^># UH"oRTR:XdMUv M$ g7f)N)name).0cppcps r $decomposition_hop..Os% X@SHHPRPWPWDWSS@s- -rr ) inequalitiesconvex_subpolytopesz/Failed to match a constrained_polytope summand.T)reverse)nppirxx_region_polytoper(rr ValueErrornextxx_lift_polytoper&getrritemsrr )rrxaugmented_coordinatespecialized_polytopeaf_raw_convex_polytopecoefficient_dict inequalityoffsethlvahalrs @rdecomposition_hopr@4s3DD2CQbeeai2CD$-.IqRUUII.34EQ 44#B(<==  bgg (HB1  (HA1  (HAq"AB B" X,@@ XZ^ -::J!}!jmq&81 Q-"$%Q-"6q"99:Q-"6q"99:Q-"6q"99 : Q-"6q"99 : Q-"6q"99 :Q-"6q"99:R.#7#::; --z!}jm.LfUUCI*Q-A!?@!;$ ,"?O?U?U?W!X?W !a)?W!X!  W5Z#JKK 3 4FB%+RRL$%G H%GO%G HHmE.T"Y IsH.H3H8 H?)rrrrrrr r)rrrrrrrr)rrrrrr rr)rrrrrrrr )rrrr rrrr)rrrrrrrr)rrrrrr r r)rr r rrrrr)rr r r rrrr)rrr rrrrr)rrr r rr rr)rrr r rrrr )rrrr rr rr)rrr rrr r r)rrrrrrrrufI ∩ A alcove ∩ A unreflected ∩ ah slant ∩ al frustrum ∩ B alcove ∩ B unreflected ∩ AF=B3)r& equalitiesr)rr r r rr rr)r rr r rrrr)rr r r rrrr ueI ∩ A alcove ∩ A reflected ∩ ah strength ∩ al frustrum ∩ B alcove ∩ B reflected ∩ AF=B3)rr rr rrrr )rrrr rr rr )rr rr rrrr )rrrr rr r rufI ∩ A alcove ∩ A unreflected ∩ af slant ∩ al frustrum ∩ B alcove ∩ B unreflected ∩ AF=B1)r rrr rrrr )rr rr rr rr ueI ∩ A alcove ∩ A reflected ∩ af strength ∩ al frustrum ∩ B alcove ∩ B reflected ∩ AF=B1r') rrrrrrrrr r r) rrrrrrrrrr r) rrrrrrrrrrr) rrrrrrrrr rr) rrrrrrrrrrr ) rrrrrrrrrrr) rrr rrrrrrrr) rrrrrrrrrrr) rrrrrrrrrrr) rr r rrrrrrrr) rr rr rrrrrrr) rr r r rrrrrrr) rrr r rrrrr rr) rrr rrrrrr r r) rrrrrr rrrrr) rrrrrrr rrrr) rrrrrrrrrrr) rrrrr r rrrrr) rrrrr r r rrrr) rrrrrr r rr rr) rrrrrr r rrrr ) rrrrrrr rr r r) rrrrrrr rr rr) rr r rrrrrrrr) rr r rr r rrrrr ) rrrrr r rrrrr) rr rrrr rrrrr) rrr rr rrrrrr) rrr rrr rrrrr ) rrrrrrr rrrr) rr r rrrrrr rr) rr r rrrrrrrr) rr r rrr r rrrr ) rrrrrr r rrrr) rr rrrrr rrrr) rrr rrr rrrrr) rrr rrrr rrrr ) rrrrr rrrrrr) rr r r rrrrr rr) r r r rrrrrrrr) r rrrrr r rrrr) rrrrr r r rrrr ) rrrrr r r rr rr) r rr r rrrrrrr)__doc__ __future__rnumpyr* polytopesrrrrrr@r,r/rrrGsO.#``9?ID")()))(**+)++*+("f) 0 )()))(**,)+,*+("e) 0 )()))(**++)++++(!$f+ 2 )()))(**+,)++,+(!$e+ UceL  32122121133444221344443363334;>;;fE% L 32122121133444221344443363334;>;;fE% L 32122121133544221345543363334;>;;eE% L 32122121133544221345543363334;>;;eE% gY[xr