K iddlmZddlmZmZmZddlmZmZm Z ddl m Z m Z dZ dZdZdZd Zd Zd Zd Zd ZdZdZdZy))raises)ZZQQring) PuiseuxRing PuiseuxPoly puiseux_ringxyctdt\}}ttgt\}}t|tsJt|t sJ||k(sJ||k(sJ|t dtk(sJ|t tgtk(sJ|t dtk7sJ|t dt k7sJ|t dtk7sJ|tk7sJt|dk(sJy)Nr r x, yzPuiseuxRing((x,), QQ))r rr isinstancerrrstr)RpxR2px2s d/mnt/ssd/data/python-lab/Trading/venv/lib/python3.12/site-packages/sympy/polys/tests/test_puiseux.pytest_puiseux_ringr s b !EArA3#GB a %% % b+ && & 7N7 99 C$ $$ $ QC$ $$ $ C$ $$ $ C$ $$ $ FB' '' ' 7N7 q6, ,, ,c(tdt\}}}tdt\}}}|jtk(sJ|jt t fk(sJ|j||fk(sJ|jdk(sJ|j|k(sJ|jt|j|k(sJ|jt|j|k(sJ|j|jcxk(rdk(sJJ|jdddk(sJy)Nr)rrr))r)rrr domainsymbolsr r gensngens poly_ringzerorone zero_monom monomial_mulR1px1py1rrpy2s rtest_puiseux_ring_attributesr-s#LBS+LBS 99?? ::!Q   77sCj  88q== <<2   77k"''2. .. . 66[, ,, , ==BMM 3V 33 33 3 ??66 *f 44 4rc tdt\}}}tdt\}}}|ddid|z|dzzk(sJ|||k(sJ|d|jk(sJ|tddtdd|jzk(sJ|j ||k(sJ|j ||k7sJ|j dtdid|z|dzzk(sJ|j tdddftdid|tddzz|dzzk(sJ|j dd|jzk(sJ|jdtdk(sJtj|jdsJ|jdd|jzk(sJt|jdtsJ|j|dk(sJ|j|dk(sJy)Nrrrrrr) rrr r% from_poly from_dictfrom_int domain_newof_type ground_newrrindexr(s rtest_puiseux_ring_methodsr6+s#LBS+LBS vqk?aeCFl ** * c7c>> a5BFF?? b1g;"Qq'"&&. (( ( <<  ## # <<  ## # <<A (AcE#q&L 88 8 <<"Qq'1r!u- .!CAaL.a2G GG G ;;q>QrvvX %% % == r!u $$ $ ::bmmA& '' ' == qx '' ' bmmA& 44 4 88C=A   88C=A  rctdt\}}tdt\}}t|||k(sJ|j|k(sJ|j |j cxk(r t k(sJJ||k7sJ|j |dzcxk(rdk(sJJ||k(sJ|dk7sJ|tddz|k7sJy)Nr rrg@r)rrr ras_exprr r%)r)r*rrs rtest_puiseux_polyr9?s3mGB3#GB sB 3 && & 88r>> ;;=CKKM .Q .. .. . #:: 66S!V q   #:: #:: 1Q<3  rctdt\}}|dzdz|z |d|z zcxk(r|dddk(sJJ|tddzdz|tddzcxk(r|tddfdik(sJJ|tddzdz|tdd zcxk(r|tdd fdik(sJJ|tddztddz|tddzcxk(r|tddfdik(sJJ|tddzdz|cxk(r|d dik(sJJ|tddz|tddzz|tddzcxk(r|tddfdik(sJJd|z |dzz|cxk(r|d dik(sJJd|tddzz |tddzzdcxk(r|d dik(sJJy) Nr rrrrr r<r)r rrr s rtest_puiseux_poly_normalizationrCLs R DAq qD1H>Q1W >1*=(> >> >> > r!AwJ?aAaj >A1Qz1o,> >> >> > r!AwJ" b1gX E!r!Awh[!4D2E EE EE E r!AwJAa Ar!BxK F1r!Bxk15E3F FF FF F r!AwJ?a /1dAY< // // / b1g:2a7 "aAaj FA1Qz1o4F FF FF F Q3A: *aq l ** ** * Q1QZz*test_puiseux_poly_monoms..bs QtWr) r rmonomslistrKeyErrorto_dictrr0)rr rIs @rtest_puiseux_poly_monomsrOXs R DAq 188:$   7tf   qD1H   4, .. . Aa ! ( ( *tUm ;; ; r!Awj!_  $ $ &BqG:, 66 6 1Qxk1   % % 'b1gXK= 88 8 2a7 A b1gZ=A   8_% 99;BqG:q/ )) ) QYY[>Q    2a7*a! 4 99 9rcJtdt\}}t|dk(sJt|tddzdk(sJtd|z dk(sJtd|dzzdzdk(sJt|jdk(sJtd|jzdk(sJy) Nr rrzx**(1/2)zx**(-1)z 1 + 2*x**212)r rreprr%rBs rtest_puiseux_poly_reprrThs R DAq 7c>> 2a7 z )) ) !9 !! ! !Q$ | ++ + ;#   !%%=C  rc htdt\}}d|z |z|d|z zcxk(r|dddk(sJJtd|z |zdk(sJd|z d|z zd|z cxk(r|ddik(sJJtd|z d|z zdk(sJ|tddz|tddzzd|tddzzcxk(r|tddfdik(sJJt|tddz|tddzzdk(sJ|tddz|tdd zz|tddfdtdd fdik(sJt|tddz|tdd zzd k(sJ||tddzz|d dtddfdik(sJt||tddzzd k(sJd|tddzz d|tdd zz z|tdd fdtdd  fdik(sJtd|tddzz d|tdd zz zd k(sJd|z |tddzz|tddzd|z zcxk(r|ddtddfdik(sJJtd|z |tddzzdk(sJy)Nr rr;z x**(-1) + xrr=z 2*x**(-1)z 2*x**(1/2)rzx**(1/3) + x**(1/2)r<z x**(1/2) + xzx**(-1/2) + x**(-1/3)zx**(-1) + x**(1/2))r rrSrBs rtest_puiseux_poly_unifyrVrs R DAq Q37a!A#g 7!A#6!7 77 77 7 !a=M )) ) Q319! ,q%} ,, ,, , !ac ?k )) ) b1g:2a7 "a2a7 l Ha"Qq'Q6H HH HH H 2a7 Q1QZ' (L 88 8 b1g:2a7 "a"Qq'QAa A(F&G GG G 2a7 Q1QZ' (,A AA A q"Qq'z>Qa"Qq'Q78 88 8 Ar!AwJ > 11 1 Q1QZrrrczSNrGr srrJz(test_puiseux_poly_arit.. q1urcz SrYrGr srrJz(test_puiseux_poly_arit..rZrczSrYrGr srrJz(test_puiseux_poly_arit..rZrcdzSrYrGr srrJz(test_puiseux_poly_arit.. a$hrcdz SrYrGr^srrJz(test_puiseux_poly_arit..r_rcdzSrYrGr^srrJz(test_puiseux_poly_arit..r_rcdzSrYrGr^srrJz(test_puiseux_poly_arit.. dQhrcdz SrYrGr^srrJz(test_puiseux_poly_arit..rcrcdzSrYrGr^srrJz(test_puiseux_poly_arit..rcr)r rr ValueError TypeErrorrrrIr r s @@rtest_puiseux_poly_aritris R DAq b !EB 1qA 27N7 2ad?? q5AaC %1QT6A: %% %% % q5AE %QTAX %% %% % r!Aw;"Qq'A+ 7A1Q 77 77 7 q5A:: q5BF "ad "" "" " r!Aw;2a7(Q, 8!Q$Aa. 88 88 8 q5QBF #q!te ## ## # a7Q;1"r!Aw, 91a4%"Qq'/ 99 99 9 q5AqD1QT6MA% %% % q5AE Q    q5AE 'Qq!tVaZ '' '' ' r!Aw;"Qq'A+ ?AaA1Q)? ?? ?? ? b1g:2a7 "a '' ' :}% :}% :}% 9&' 9&' 9&' 9&' 9&' 9&'rctdt\}tdt\}dzdz dz k(sJtddz dzcxk(rddzzdz k(sJJz dz z cxk(r|dddk(sJJdz ddzzcxk(r|ddik(sJJtddz tdddzzcxk(r0ddzz cxk(r$dz dz cxk(r|dtddik(sJJttfdttfd ttfd ttfd tt fd tt fd y)Nr r rrr>r;r=cdz S)NrrGrHsrrJz'test_puiseux_poly_div..s a!ercdzdzz SNrrrGr^srrJz'test_puiseux_poly_div..A!a%0rcdzdzz S)NrrGr^srrJz'test_puiseux_poly_div..rnrcz SrYrGr srrJz'test_puiseux_poly_div..rZrcdz SrYrGr^srrJz'test_puiseux_poly_div..r_rcdz SrYrGr^srrJz'test_puiseux_poly_div..rcr)r rrZeroDivisionErrorrfrgrhs @@@rtest_puiseux_poly_divrtsk R DAq b !EB 1qA q5A:: r!Aw;!A# +1a4! ++ ++ + q5A!G 6q"!56 66 66 6 q5AaeG ,q%} ,, ,, , a7Q;"Qq'!R%- R1ac7 Rac!e Rq%AaAQ?R RR RR R m, :01 :01 :}% 9&' 9&'rctdt\}tdt\}dzdcxk(r|ddik(sJJdzcxk(r|ddik(sJJdzzcxk(r|ddik(sJJtddz|tddfdik(sJdzdz cxk(r|d dik(sJJtdd zdtddzz cxk(r|tdd fdik(sJJdzdzddzz cxk(rAtddz cxk(r.tdddzzcxk(r|d tddik(sJJddzz dd zzcxk(r|d dik(sJJddzz dd zzcxk(r|d dik(sJJttfd tt fd tt fdtt fdtt fdy)Nr rrrAr<rrEr>r=r?)r?cdzSrYrGr^srrJz'test_puiseux_poly_pow..s agrcdzdzS)Nrr>rGr^srrJz'test_puiseux_poly_pow..sA{rc(dztddzSrmrr^srrJz'test_puiseux_poly_pow..sA1Q/rc(dztddzS)Nrrryr^srrJz'test_puiseux_poly_pow..s!b1g~rcdzdzS)Nrr>rG)xzsrrJz'test_puiseux_poly_pow..s"rzr)r rrrrgrf)rRzr r|s @@rtest_puiseux_poly_powr~s# R DAq #r "FB a41 $4) $$ $$ $ a41 $4) $$ $$ $ a41Q3 &!T1I, && && & b1g:R!WJ?+ ++ + b5AaC (1eQZ= (( (( ( r!Awh;!Ar!AwJ, =!r!Awh[!,<*= == == = aC"91Q3 T2a719 T1Q2 TE2aPQ7CSAT TT TT T QT6Qq"uW -5!* -- -- - RU7aBh 0"eQZ. 00 00 0 9o& :*+ :/0 :-. :)*rc$tdt\}}}|dzdzj|d|zk(sJ|dzdzj|dk(sJ|dz|dzzj|d|zk(sJ|tddz|tddzzj|tdd|tdd zzk(sJ||ztddzj|tdd|tddzz|tdd zzk(sJy)Nrrrr)r rdiff)rr r s rtest_puiseux_poly_diffrs62&GAq! qD1H??1 1 $$ $ qD1H??1  "" " qD1a4K  a AaC '' ' r!AwJBqG # ) )! ,1QBqG8 0C CC C qS2a7N  #r!Awq"Qq'z'9!b1gX+'E EE ErN)sympy.testing.pytestrsympyrrrsympy.polys.puiseuxrrr sympy.abcr r rr-r6r9rCrOrTrVrirtr~rrGrrrsV (FF - 5(  : :  :$(<("+&Fr