K i=@ddlmZddlmZddlmZmZmZmZm Z m Z ddl m Z ddl mZddlmZmZddlmZddlmZmZmZmZdd lmZmZdd lmZmZmZdd l m!Z!dd l"m#Z#dd l$m%Z%m&Z&m'Z'm(Z(ddl)m*Z*m+Z+m,Z,m-Z-m.Z.m/Z/ddl0m1Z1m2Z2m3Z3m4Z4 eddZ5eddZ6dZ7dZ8e4dZ9dZ:e4dZ;dZe1dZ?dZ@dZAdZBd ZCd!ZDd"ZEd#ZFd$ZGd%ZHd&ZId'ZJd(ZKd)ZLd*ZMd+ZNd,ZOd-ZPd.ZQd/ZRd0ZSd1ZTd2ZUd3ZVd4ZWe1d5ZXd6ZYd7ZZd8Z[d9Z\d:Z]d;Z^d<Z_d=Z`e1d>Zad?Zbd@ZcdAZddBZedCZfyD)E) EulerGamma)Function)EIIntegerRationaloopi)S)Symbol)explog)sqrt)acotatancossin)Eierf)digammagammaloggamma)zeta)cancel)coshcothsinhtanh)comparemrvrewrite mrv_leadtermgruntzsign)XFAILraisesskipslowxT)realmFc(ts tdyy)Nr()runslowr'd/mnt/ssd/data/python-lab/Trading/venv/lib/python3.12/site-packages/sympy/series/tests/test_gruntz.py_sskipr1#s  V  r/c0ttttdtz tt z tdtz z zttdk(sJttttdtz tt zttdz ztdtz ttt z z zttdk(sJtttttt z ddtz z z tttz tttusJttttttt zttttz tttusJtttttttttttt z z tttusJttttttttttttt z z ttdk(sJttttttttttt z z ttdk(sJtt tdztt t tt t tdzztt t t tt t t tdzzzzt tz ttdk(sJttt tzt tttztdzz dzzt t tdzdttdtdzzt tzzzz ttt ddk(sJttttt ztt tdtdzztdzz zz ttz tz tttd k(sJtdtzdtzzdtz zttdk(sJttt tt tt dt tz zzz tttusJtttdt tdztzzt t tzttdt tzt t tzz tttusJtttt ddtt d d zzt d d tt d dzzzdtdzzzt ddtt ddzzzd zt t t t ddtt d dzz t d d zz tttusJttdtztt zdttz dtdtdzztdzz z zz ttz ttdzz ttdk(sJttttt ztt tdtdzztdzz zz ttz ttdk(sJtt tt t tt t tzt t tz zt t tt t t tzz ttdk(sJttt t ttt tt t tzzt t t tttzt tzz tttk(sJttttttt ztttz tttusJy)Nr  i61-)r#r r)r rrrrr.r/r0test_gruntz_evaluationrF(s #a&#acCGm,s1Q3x78!R @B FF F #a&#acCGmc1a4%j89!c3q6'l*+,-./ 589 :: : #c!c1"g+&AaC01CAK?B G2 MM M #c#a#qb'k*+,s3s1v;/??B G2 MM M #c#a&k"SSS#a&\1A-B)C%DDR    #c#a&k"SSS#c!f+5F1F-G)H%IIR    #c!f+CCSV ,=(=$> ??B G1 LL L #a&!)c$s1v,CF a/?"?SQ[)SSV-=,AAB#CDDFJ1gNR    1SV8S3q6AqD1A55QTAc#a1fSVm*<&=$==>?ABCR ILTUVXYN [[ [ 3qaRy#qb'C1a4Q,@"@ABSVKQNR  VG $$ $ 1a4!Q$;!A#&2 .! 33 3 !CCCF3q6M 23455q" = CC C #c!C1qM/#c!f+567Bs1vIc#a&k123456 ``a"gI&(0R(8HRN:O6O2P.QQQBaRS!W%5!66789!QaR[)*Q./14Q8:;<=> DGH II Ir/c ttttdtz tt ztdtz ttdz zz zttdk(sJtt tttt z t tz tttzttdzzttdt tz k(sJttttttdtz ttt zttdtz z zttdk(sJttttttt zttz ztttusJtttttttz ttttddk(sJtttttttz ttttddk(sJttttttttusJtttttttusJtttdttz zttz ttz tdtz z tzttztttddk(sJttttdttz z ttz ttzztttjk(sJtttdttz zttz ttz ttdk(sJy)Nr3r5r7r4)r#r r)rr rrr rrrrrrr Halfr.r/r0test_gruntz_eval_specialrLls #a&#acCGm,s1Q3adU3C/DDEq" MQR RR R 3q3Aw<'(3q61SQ[@3q!t9LR tBxK (( ( #c!f+S1sCF7|);%r6=r:)rr)r r+r.r/r0 test_compare1r]s 1a s "" " 1c!fa C '' ' 3q63q!t9a (C // / 3q!t9c#a&k1 - 44 4 1c#a&k1 % ,, , 1a s "" " 3q61a C '' ' 3q!t9c!fa (C // / 3s1v;AqD 1 - 44 4 3s1v;1 % ,, , 1a s "" " 1b!  ## # 1b!  ## # 1adA # %% % 1a4Aq !S (( ( 1a41a C '' ' 1Q31a C '' ' 1a4!Q 3 && & 3q63r7A &# -- - 3r7C!Ha (C // / 3qs8SVQY *c 11 1 3q619c!c1"g+. 2c 99 9 3q63q3r7{+Q /3 66 6 3q!t9aAqD k1 - 44 4r/c jttttdztdk(sJtttdzttdztdk(sJttttttt ztdk(sJttttt ztttdk(sJttttt ztt tdk(sJttt ttdk(sJtttt tdk(sJtttdtz zttdk(sJtttt tttdk(sJttttt tzttt tdk(sJy)Nr8r[r5r\rZr3rr r)r.r/r0 test_compare2r`s 3q61a4 #s ** * 3q!t9c!fai +s 22 2 3q63q3r7{+Q /3 66 6 3q3r7{#SVQ /3 66 6 3q3r7{#S!Wa 0C 77 7 3r7Aq !S (( ( 1c1"gq !S (( ( 3q1Q3w<A &# -- - 3Aw<Q +s 22 2 3sCF7|a'(#s1vg, :c AA Ar/c ttttttttt ztdk(sJy)Nr[r_r.r/r0 test_compare3rbs5 3s1v;ASVG $4 5q 9S @@ @r/cLttdtdk(sJttdtdk(sJttdtdk(sJttttdk(sJtt t tdk(sJtt ttdk(sJtt t tdk(sJtddtz z tdk(sJtddtz z tdk(sJtt dtz tdk(sJttt dztdk(sJttdztdk(sJttdztdk(sJy) Nrr6r3r:r4r5r8)r$rr)rr rrr.r/r0 test_sign1resW  Q 1 $$ $  Q 1 $$ $  a B && & A?a   QB q  A?a   Q r !! ! AaC q  QqS!  "" " AaC!  !! ! GAJ #q (( ( 1a=A   1a=A  r/cLtttdk(sJtt tdk(sJtdd}t|tdk(sJt| tdk(sJt|tztdk(sJt| tztdk(sJy)Nr3r4yTpositive)r$r)r rgs r0 test_sign2rks 1:?? A;"  sT"A 1:?? A;"   !Q<1   1a=B  r/cNtt||djSNr)setr keys)abs r0mmrvrrs s1ay|  " ##r/c.tttthk(sJttdtz ztthk(sJttdztthk(sJttttthk(sJtttttthk(sJttt ttt hk(sJtttdztttdzhk(sJttdtz  tthk(sJtttdtz ztttdtz zhk(sJyrH)rrr)rr r.r/r0 test_mrv1rts# 1:!   AaC s "" " 1a=QC   A?qc !! ! A?s1vh && & QB QBy (( ( AqD 1 #ad) ,, , QqS 1 ! $$ $ A!G a SQqS\N 22 2r/c tttttt ztttt hk(sJttttt zttttt ztt hk(sJttdtz tt zttt hk(sJyrQrrr r)r.r/r0 test_mrv2arws ASVG $%q )c3q6'l^ ;; ; AQBK ! $QaR[)93r7(C CC C AaC#qb'M"A &3r7) 33 3r/c tttttdz ztttdz hk(sJy)Nr5rvr.r/r0 test_mrv2bry s6 AQTE N#Q 'CAJ< 77 7r/cttt dtdzz zttdtz zz tttdtz ztdtdzz tz hk(sJyrHrvr.r/r0 test_mrv2cr{si  QB1a4K3q1Q3w<' ,03A!G c!AqD&1*o/N OO Or/ctttdztttzztttztz ztttdzhk(sJttttdtz tt ztdtz z zttttt hk(sJtttdzdttdtdzzttzzztttdtdzzttzhk(sJtttttz ttz tthk(sJttdtz tt z tdtz z ttzttttt hk(sJtdtt tt zz ttz ttttt tttt z hk(sJttttttttzzdztttttzhk(sJttttttdtz ztthk(sJy)Nr5r3r6)rrr r)rr.r/r0 test_mrv3r}sk AqD Ac!fH$s1vqy{2A 63q!t9+ EE E  AAaC#qb'M"S1X-. 37:1vsA2w6G HH H  1qS1a4A'(((*+, .25c!AqD&Q-6H2I1J KK K AAJA& *qc 11 1  QqS3r7] c!A#h &A. 37:1vsA2w6G HH H  #qb3r7l c!f$a )-0VS!Wc!c1"g+>N,O PP P C#aAh-!+,-q 1c!CF(m_ DD D CCFQqSL)*+Q /A3 66 6r/c dt}t||t||tz||tz ||t|||tzz |tztthk(sJttttttttzzdztttttdtz zz tttttzhk(sJyrQ)rrrr)r )lns r0 test_mrv4r)s B BqEBr!uI%&BqE2Br!ur"RU)}7L4MMbQReS  #   C#aAh-!+,-CCFQqSL8I4J0KKQ O Qs1vX  r/c*t|d|d||SNr3r)r!)rprqcs r0mrewriter1s 1Q41q! $$r/c tt}tt|tttdtz t fk(sJttdz}tt|tttdtz tdz fk(sJttdtz z}tt|tttdtz t dtz z fk(sJdtt tt zz ttz }tt|tttt ttztztt ztdzz t fk(sJyrHr r)rr r+es r0 test_rewrite1r5s AA C1Iq! $1qb 11 1 AqD A C1Iq! $1q!te 44 4 A!G A C1Iq! $1qb1Q3h 77 7 #qb3r7l c!f$A C1Iq! $1"SV)a-aR)@A)Er(J JJ Jr/c8ttttttz}t|ttthk(sJt t |ttt dt z ttzt fk(sJyrQ)r r)rrrrr r+rs r0 test_rewrite2r@sg As3s1v;A 1:#a& !! ! C1Iq! $1SVaR(8 88 8r/ctt dtdzz zttdtz zz }tt|tttdtz tttdztztdzz zzt dtz z ftdzttdztztdzz z tz tdztz ffvsJy)Nr3r5r4r6r7rrs r0 test_rewrite3rHs QB1a4K3q1Q3w<'A C1Iq! $"Q$3 A1a442+"qs(*$'(!tc1a4!8QT/.B'BA&Eq2wQR{%S)U UU Ur/c ttdtz  tdk(sJtdtt tt zz ttz tdk(sJttdtz tt z tdtz z ttzttdtz  dfk(sJy)Nr3)r4rr)r"r r)r.r/r0test_mrv_leadterm1rOs QqS 1 % 00 0 #qb3r7l++c!f4a 8G CC C  QqS3r7] c!A#h &A. 38;AaCy!n EE Er/c tttttztz tttttzz ttztdk(sJy)N)r3r)r"rr r)r.r/r0test_mrv_leadterm2rVsN SVaZ1,c#a&3q6/.BB3q6I1 M  r/c ttt tt tt ttzzzttt tttzz hk(sJt tt tt tt ttzzzttt dfk(sJyrm)rrr r)rr"r.r/r0test_mrv_leadterm3r\s QBaRaRAY//0! 4aR!CF(]9K8L LL L QBaRaRAY!778! <aR! LL Lr/ctttttusJtttt t usJtt ttt usJttdztt tusJttdz ttt usJttttztdddk(sJtdtz ttdk(sJtt ttttusJtt t ttt usJtt ttz tttusJtdtz t t z ttdk(sJttdtz ztttusJy)Nr5r+dirr3)r#r)r rr r.r/r0 test_limit1rbsd !Q r !! ! !Q  ## # 1"a  ## # !Q$B3 2 %% % 1a4%B B3 && & !CF(Aqc *a // / !A#q"  "" " #a&!R B && & 3q6'1b !bS (( ( #a&(Ar "b (( ( !A#QB-B '1 ,, , !ac'1b !R '' 'r/ctttztdddk(sJtttdz tz tddk(sJtddtz zttdk(sJttdtz  ttdk(sJtttt ztttusJttttdz ztttusJttttt ztttusJtddtz ztt z ttdk(sJy)Nrrrr3r4r5 )r#r)r r r.r/r0 test_limit2rqs !Q$1# &! ++ + 3q6A:q.!Q '1 ,, , !ac'1b !Q && & 3qs8)Q #r )) ) !c1"g+q" % ++ + !c1a4%j.!R (B .. . !c3q6'l"Ar *b 00 0 "qs(S!W$a , 22 2r/c td}tttdt tzz tt dk(sJttt|t tzz tt dk(sJtt tdt tzz tt dk(sJtt t|t tzz tt dk(sJy)Nrpr3r)r r#r)rr r )rps r0 test_limit3r|ss A !c!c!f*o%q" - 22 2 !c!c!f*o%q" - 22 2 #a&!c!f*%q" - 22 2 #a&!c!f*%q" - 22 2r/ctdtzdtzzdtz zttdk(sJtddtz zddtz zztztddk(sJy)Nr6r8r3rr#r)r r.r/r0 test_limit4rs_ 1a4!Q$;!A#&2 .! 33 3 1qs8a!A#h&*Aq 1Q 66 6r/c tt dtt zz }t|tt d|zz zttt |zz|dzz ttz tz}t|td|z tt tttt|z ttd|zz hk(sJyrH)r r)rr)hexprs r0test_MrvTestCase_page47_ex3_21rs QBCG A q6#qb!a%j/ !#c1"q&k"2 21a4 7#a& @1 DD a=QqS#qb'3q63q1u:s1a!e9~N NN Nr/ctd}tttzttttzk(sJt|tztztt|tztzk(sJt|dztztztt|tztzk(sJt|dzt tztztt|tztzk(sJy)Nrgr6)r r#rr)r rrjs r0 test_gruntz_Irss A !A#q" 2 %% % !A#a%B 1Q3r6 )) ) !A#a%'1b !QqSV ++ + !A#c!f*Q,2 &!A#b& 00 0r/czttdzdttdzz ztttk(sJyrQ)r#r)rr rr.r/r0test_issue_4814rs. 1q5Ac!a%jL)1b 1Q 66 6r/c tdttz ttdk(sJtdt tz ttdk(sJtttt tz tttusJtt ttttz tttusJttttddk(sJttt dddtz ztttt ddk(sJttttztttz ttdk(sJtttttt tz tttusJy)Nr3rr6r5r;)r#rr)r rr rrr.r/r0test_intractablers6 !E!H*a $ )) ) !HQK-B '1 ,, , %(8A;&2 ." 44 4 #eAh-a(!R 0B 66 6 %(Aq !Q && & %A1,-q" 5x1~9N NN N #ad)CaM)1b 1Q 66 6 #eE!Ho&s1v-q" 5 ;; ;r/c 4ttdtttz tt dtt ttjzz z dk(sJtdttz tt t usJyr) rr#rrr)r r r rKrr.r/r0test_aseries_trigrst &3tAw<B/ B#aff+% &' (+, -- - !DG)Q $ ++ +r/c tttttttzz tttusJy)N)r#r)rr r r.r/r0test_exp_log_seriesrs/ !CAc!fH &&2 ." 44 4r/cttdztzdzdtztdzzz dtz zttdk(sJy)Nr;r3r5r4rr.r/r0test_issue_3644rs? AqD1HqL1a4!Q$;/2a48!R @A EE Er/ctddd}|dzt|dzzzt|dzzdz z ttdz z z }t|tdj|dz k(sJy)NnT)integerrir3r5)r r)r#simplify)rrs r0test_issue_6843rsgsD40A QAE AAJN+aQi7A !Q? # # %1 ,, ,r/ctttdtz z tttj k(sJyrQ)r#r)rr r rr.r/r0test_issue_4190rs) !eAaCj.!R (ALL 88 8r/c,td}tdd}td}tdd}tdd}d |z||z d zz||||z d zzzz |z|d z |||z d zz||||z d zzzz |zzz|z ||z|z z }|j||d z}t|j|||td k(sJt|j|||tj d |d zz|zd z |d z|d zzz k(sJy) NrrTrhrpr+)negativer5r3)r subsr#r r)rrrrr+rs r0test_issue_5172rsBs AsT"As AsT"AsT"A qS!a%!)_a!QUQY-/ 01 4 QAEAIAq1uqyM 12Q66 79: ;=>TAX GD 99QA D $))Aq/1b )Q .. . $))Aq/1b ) 2 2 4 QUa! a!eq1u-- .. .r/ctdttz tddk(sJttttztddk(sJyr)r#rr)r.r/r0test_issue_4109rs@ !E!H*a #q (( ( !E!H*a #q (( (r/cttdtt ztdzz tdtdtzk(sJy)Nr5r)r#r rr)rr.r/r0test_issue_6682rs9 #aA2h-1$a +s1Zz&test_issue_7391_8166..svadAq1r/ctttdzztdztdzzz tdS)Nr5rDrrrsr0rz&test_issue_7391_8166..s1va!aiA!a&@!QGr/)rr& ValueErrorrs@r0test_issue_7391_8166rs" A :12 :GHr/cttddtz ztdzzz }tt}t |tt |k(sJt d|z tt d|z k(sJyrH)r r)rrr#r )eqanss r0test_issue_24210_25885rs_ Q1Q3A B q'C "a  ## # !B$2 !C% '' 'r/N)g sympy.corersympy.core.functionrsympy.core.numbersrrrrr r sympy.core.singletonr sympy.core.symbolr &sympy.functions.elementary.exponentialr r(sympy.functions.elementary.miscellaneousr(sympy.functions.elementary.trigonometricrrrr'sympy.functions.special.error_functionsrr'sympy.functions.special.gamma_functionsrrr&sympy.functions.special.zeta_functionsrsympy.polys.polytoolsr%sympy.functions.elementary.hyperbolicrrrrsympy.series.gruntzrr r!r"r#r$sympy.testing.pytestr%r&r'r(r)r+r-r1rFrIrLrOrRrTrVrXr]r`rbrerkrrrtrwryr{r}rrrrrrrrrrrrrrrrrrrrrrrrrrrr.r/r0rs!(@@"$=9KK=NN7(HH  :: 3T 3T  5I5IpIKK&MQQ VOO )5@ BA  $ 348 O 7%K9UE M (337OO 17<, 5F- 9 . .) AA I(r/