Xh=@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@ZcdAZddBZedCZfdDS)E) EulerGamma)Function)EIIntegerRationaloopi)S)Symbol)explog)sqrt)acotatancossin)Eierf)digammagammaloggamma)zeta)cancel)coshcothsinhtanh)comparemrvrewrite mrv_leadtermgruntzsign)XFAILraisesskipslowxT)realmFc6tstddSdS)Nr()runslowr'p/var/www/tools.fuzzalab.pt/emblema-extractor/venv/lib/python3.11/site-packages/sympy/series/tests/test_gruntz.py_sskipr1#s#  V r/c~ttttdtz tt z tdtz z zttdksJttttdtz tt zttdz ztdtz ttt z z zttdksJtttttt z ddtz z z tttz tttusJttttttt zttttz tttusJtttttttttttt z z tttusJttttttttttttt z z ttdksJttttttttttt z z ttdksJtt tdztt t tt t tdzztt t t tt t t tdzzzzt tz ttdksJttt tzt tttztdzz dzzt t tdzdttdtdzzt tzzzz ttt ddksJttttt ztt tdtdzztdzz zz ttz tz tttd ksJtdtzdtzzdtz zttdksJttt 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 ttdksJttttt ztt tdtdzztdzz zz ttz ttdksJtt tt t tt t tzt t tz zt t tt t t tzz ttdksJttt t ttt tt t tzzt t t tttzt tzz tttksJttttttt ztttz tttusJdS)Nr  i61-)r#r r)r rrrrr.r/r0test_gruntz_evaluationrF(s  #a&&#acCGGm,,s1Q3xx78!R @ @B F F F F #a&&#acCGGmc1a4%jj899!c3q66'll*++,-./ 5 589 : : : : #c!c1"gg+&&AaC011CAKK?B G G2 M M M M #c#a#qb''k**++,,s3s1vv;;/?/??B G G2 M M M M #c#a&&kk""SSS#a&&\\1A-B-B)C)C%D%DDR       #c#a&&kk""SSS#c!ff++5F5F1F-G-G)H)H%I%IIR       #c!ff++CCSVV ,=,=(=$>$> ? ??B G G1 L L L L #a&&!)c$s1vv,,CFF a/?"?SQ[[))SSVV-=-=,AABB#CDDDFJ1ggNR       1SVV8S3q66AqD11A55QTAc#a1fSVVm*<*<&=&=$==>>??ABCR I ILTUVXYNN [ [ [ [ 3qaRy#qb''C1a4Q,@,@"@ABBSVVKQNR   VVG $ $ $ $ 1a4!Q$;!A#&2 . .! 3 3 3 3 !CCCFF3q66M 2334555q" = = C C C C #c!C1qMM/#c!ff++56677Bs1vvIc#a&&kk12233456 < ``a"gI&(0R(8(8HRN:O:O6O2P.Q.QQQBaRS!WW%5!6!6677889!QaR[)**Q./14Q8:;<=> D DGH I I I I I Ir/c f ttttdtz tt ztdtz ttdz zz zttdksJtt tttt z t tz tttzttdzzttdt tz ksJttttttdtz ttt zttdtz z zttdksJttttttt zttz ztttusJtttttttz ttttddksJtttttttz ttttddksJttttttttusJtttttttusJtttdttz zttz ttz tdtz z tzttztttddksJttttdttz z ttz ttzztttjksJtttdttz zttz ttz ttdksJdS)Nr3r5r7r4)r#r r)rr rrr rrrrrrr Halfr.r/r0test_gruntz_eval_specialrLls #a&&#acCGGm,,s1Q3adU3C/D/DDEq" M MQR R R R R 3q3Aw<<'((3q661SQ[[@3q!t99LR  tBxxK ( ( ( ( #c!ff++S1sCFF7||);%<%r6=r:)rr)r r+r.r/r0 test_compare1r]s 1a  s " " " " 1c!ffa C ' ' ' ' 3q663q!t99a ( (C / / / / 3q!t99c#a&&kk1 - - 4 4 4 4 1c#a&&kk1 % % , , , , 1a  s " " " " 3q661a C ' ' ' ' 3q!t99c!ffa ( (C / / / / 3s1vv;;AqD 1 - - 4 4 4 4 3s1vv;;1 % % , , , , 1a  s " " " " 1b!   # # # # 1b!   # # # # 1adA  # % % % % 1a4Aq ! !S ( ( ( ( 1a41a C ' ' ' ' 1Q31a C ' ' ' ' 1a4!Q  3 & & & & 3q663r77A & &# - - - - 3r77C!HHa ( (C / / / / 3qs88SVVQY * *c 1 1 1 1 3q6619c!c1"gg+.. 2 2c 9 9 9 9 3q663q3r77{++Q / /3 6 6 6 6 3q!t99aAqD k1 - - 4 4 4 4 4 4r/c ttttdztdksJtttdzttdztdksJttttttt ztdksJttttt ztttdksJttttt ztt tdksJttt ttdksJtttt tdksJtttdtz zttdksJtttt tttdksJttttt tzttt tdksJdS)Nr8r[r5r\rZr3rr r)r.r/r0 test_compare2r`s 3q661a4 # #s * * * * 3q!t99c!ffai + +s 2 2 2 2 3q663q3r77{++Q / /3 6 6 6 6 3q3r77{##SVVQ / /3 6 6 6 6 3q3r77{##S!WWa 0 0C 7 7 7 7 3r77Aq ! !S ( ( ( ( 1c1"ggq ! !S ( ( ( ( 3q1Q3w<<A & &# - - - - 3Aw<<Q + +s 2 2 2 2 3sCFF7||a'((#s1vvg,, : :c A A A A A Ar/c ttttttttt ztdksJdS)Nr[r_r.r/r0 test_compare3rbsL 3s1vv;;ASVVG $4 5 5q 9 9S @ @ @ @ @ @r/cFttdtdksJttdtdksJttdtdksJttttdksJtt t tdksJtt ttdksJtt t tdksJtddtz z tdksJtddtz z tdksJtt dtz tdksJttt dztdksJttdztdksJttdztdksJdS) Nrr6r3r:r4r5r8)r$rr)rr rrr.r/r0 test_sign1res  Q  1 $ $ $ $  Q  1 $ $ $ $  a B & & & & A??a     QB  q A??a     Q  r ! ! ! ! AaC  q QqS!   " " " " AaC!   ! ! ! ! GAJJ # #q ( ( ( ( 1a==A     1a==A      r/ctttdksJtt tdksJtdd}t|tdksJt| tdksJt|tztdksJt| tztdksJdS)Nr3r4yTpositive)r$r)r rgs r0 test_sign2rks 1::???? A;;"    sT"""A 1::???? A;;"     !Q<<1     1a==B      r/cltt||dSNr)setr keys)abs r0mmrvrrs( s1ayy|  "" # ##r/ctttthksJttdtz ztthksJttdztthksJttttthksJtttttthksJttt ttt hksJtttdztttdzhksJttdtz  tthksJtttdtz ztttdtz zhksJdSrH)rrr)rr r.r/r0 test_mrv1rtso 1::!     AaC  s " " " " 1a==QC     A??qc ! ! ! ! A??s1vvh & & & & QB  QBy ( ( ( ( AqD 1  #ad)) , , , , QqS 1  ! $ $ $ $ A!G a SQqS\\N 2 2 2 2 2 2r/c tttttt ztttt hksJttttt zttttt ztt hksJttdtz tt zttt hksJdSrQrrr r)r.r/r0 test_mrv2arws ASVVG $%%q ) )c3q66'll^ ; ; ; ; AQBK  ! $ $QaR[)9)93r77(C C C C C AaC#qb''M""A & &3r77) 3 3 3 3 3 3r/c tttttdz ztttdz hksJdS)Nr5rvr.r/r0 test_mrv2bry sI AQTE N##Q ' 'CAJJ< 7 7 7 7 7 7r/c<ttt dtdzz zttdtz zz tttdtz ztdtdzz tz hksJdSrHrvr.r/r0 test_mrv2cr{s  QB1a4K3q1Q3w<<' , ,03A!G c!AqD&1*oo/N O O O O O Or/ctttdztttzztttztz ztttdzhksJttttdtz tt ztdtz z zttttt hksJtttdzdttdtdzzttzzztttdtdzzttzhksJtttttz ttz tthksJttdtz tt z tdtz z ttzttttt hksJtdtt tt zz ttz ttttt tttt z hksJttttttttzzdztttttzhksJttttttdtz ztthksJdS)Nr5r3r6)rrr r)rr.r/r0 test_mrv3r}s AqD Ac!ffH$s1vvqy{2A 6 63q!t99+ E E E E  AAaC#qb''M""S1XX-. 3 37:1vvsA2ww6G H H H H  1qS1a4A''((((**+, . .25c!AqD&Q-6H6H2I2I1J K K K K AAJA& * *qc 1 1 1 1  QqS3r77]  c!A#hh &A. 3 37:1vvsA2ww6G H H H H  #qb3r77l  c!ff$a ) )-0VVS!WWc!c1"gg+>N>N,O P P P P C#aAh--!+,,--q 1 1c!CFF(mm_ D D D D CCFFQqSL))**++Q / /A3 6 6 6 6 6 6r/c 4t}t||t||tz||tz ||t|||tzz |tztthksJttttttttzzdztttttdtz zz tttttzhksJdSrQ)rrrr)r )lns r0 test_mrv4r)sD B BBqEEBBrr!uuII%&&BBqEE2BBrr!uurr""RRUU))}}7L4M4MMbbQReeS   #     C#aAh--!+,,--CCFFQqSL8I8I4J4J0K0KKQ O O Qs1vvX      r/c>t|d|d||SNr3r)r!)rprqcs r0mrewriter1s 1Q41q! $ $$r/ctt}tt|tttdtz t fksJttdz}tt|tttdtz tdz fksJttdtz z}tt|tttdtz t dtz z fksJdtt tt zz ttz }tt|tttt ttztztt ztdzz t fksJdSrHr r)rr r+es r0 test_rewrite1r5sK AA C1IIq! $ $1qb 1 1 1 1 AqD A C1IIq! $ $1q!te 4 4 4 4 A!G A C1IIq! $ $1qb1Q3h 7 7 7 7 #qb3r77l  c!ff$A C1IIq! $ $1"SVV)a-aR)@A)Er(J J J J J J Jr/cttttttz}t|ttthksJt t |ttt dt z ttzt fksJdSrQ)r r)rrrrr r+rs r0 test_rewrite2r@s As3s1vv;;A 1::#a&& ! ! ! ! C1IIq! $ $1SVVaR(8 8 8 8 8 8 8r/c*tt dtdzz zttdtz zz }tt|tttdtz tttdztztdzz zzt dtz z ftdzttdztztdzz z tz tdztz ffvsJdS)Nr3r5r4r6r7rrs r0 test_rewrite3rHs QB1a4K3q1Q3w<<'A C1IIq! $ $"Q$3 A1a4442+"qs(*$'(!tc1a4!8QT/.B.B'BA&Eq2wQR{%S)U U U U U U Ur/c 6ttdtz  tdksJtdtt tt zz ttz tdksJttdtz tt z tdtz z ttzttdtz  dfksJdS)Nr3)r4rr)r"r r)r.r/r0test_mrv_leadterm1rOs QqS 1 % % 0 0 0 0 #qb3r77l+++c!ff4a 8 8G C C C C  QqS3r77]  c!A#hh &A. 3 38;AaCy!n E E E E E Er/c 2tttttztz tttttzz ttztdksJdS)N)r3r)r"rr r)r.r/r0test_mrv_leadterm2rVsm SVVaZ1,c#a&&3q66/.B.BB3q66I1 M M      r/c Nttt tt tt ttzzzttt tttzz hksJt tt tt tt ttzzzttt dfksJdSrm)rrr r)rr"r.r/r0test_mrv_leadterm3r\s QBaRaRAY//00! 4 4aR!CFF(]9K9K8L L L L L QBaRaRAY!7788! < <aR! L L L L L Lr/ctttttusJtttt t usJtt ttt usJttdztt tusJttdz ttt usJttttztdddksJtdtz ttdksJtt ttttusJtt t ttt usJtt ttz tttusJtdtz t t z ttdksJttdtz ztttusJdS)Nr5r+dirr3)r#r)r rr r.r/r0 test_limit1rbs !Q  r ! ! ! ! !Q   # # # # 1"a   # # # # !Q$B3  2 % % % % 1a4%B  B3 & & & & !CFF(Aqc * * *a / / / / !A#q"   " " " " #a&&!R B & & & & 3q66'1b ! !bS ( ( ( ( #a&&(Ar " "b ( ( ( ( !A#QB-B ' '1 , , , , !ac'1b ! !R ' ' ' ' ' 'r/ctttztdddksJtttdz tz tddksJtddtz zttdksJttdtz  ttdksJtttt ztttusJttttdz ztttusJttttt ztttusJtddtz ztt z ttdksJdS)Nrrrr3r4r5 )r#r)r r r.r/r0 test_limit2rqs_ !Q$1# & & &! + + + + 3q66A:q.!Q ' '1 , , , , !ac'1b ! !Q & & & & 3qs88)Q # #r ) ) ) ) !c1"gg+q" % % + + + + !c1a4%jj.!R ( (B . . . . !c3q66'll"Ar * *b 0 0 0 0 "qs(S!WW$a , , 2 2 2 2 2 2r/c |td}tttdt tzz tt dksJttt|t tzz tt dksJtt tdt tzz tt dksJtt t|t tzz tt dksJdS)Nrpr3r)r r#r)rr r )rps r0 test_limit3r|ss A !c!c!ff*oo%q" - - 2 2 2 2 !c!c!ff*oo%q" - - 2 2 2 2 #a&&!c!ff*%q" - - 2 2 2 2 #a&&!c!ff*%q" - - 2 2 2 2 2 2r/ctdtzdtzzdtz zttdksJtddtz zddtz zztztddksJdS)Nr6r8r3rr#r)r r.r/r0 test_limit4rsq 1a4!Q$;!A#&2 . .! 3 3 3 3 1qs8a!A#h&*Aq 1 1Q 6 6 6 6 6 6r/c 4tt dtt zz }t|tt d|zz zttt |zz|dzz ttz tz}t|td|z tt tttt|z ttd|zz hksJdSrH)r r)rr)hexprs r0test_MrvTestCase_page47_ex3_21rs QBCGG A q66#qb!a%j// !#c1"q&kk"2"2 21a4 7#a&& @1 DD a==QqS#qb''3q663q1u::s1a!e9~~N N N N N N Nr/cFtd}tttzttttzksJt|tztztt|tztzksJt|dztztztt|tztzksJt|dzt tztztt|tztzksJdS)Nrgr6)r r#rr)r rrjs r0 test_gruntz_Irss A !A#q"  2 % % % % !A#a%B  1Q3r6 ) ) ) ) !A#a%'1b ! !QqSV + + + + !A#c!ff*Q,2 & &!A#b& 0 0 0 0 0 0r/cttdzdttdzz ztttksJdSrQ)r#r)rr rr.r/r0test_issue_4814rs< 1q5Ac!a%jjL)1b 1 1Q 6 6 6 6 6 6r/c tdttz ttdksJtdt tz ttdksJtttt tz tttusJtt ttttz tttusJttttddksJttt dddtz ztttt ddksJttttztttz ttdksJtttttt tz tttusJdS)Nr3rr6r5r;)r#rr)r rr rrr.r/r0test_intractablers !E!HH*a $ $ ) ) ) ) !HQKK-B ' '1 , , , , %((8A;;&2 . ." 4 4 4 4 #eAhh--a(!R 0 0B 6 6 6 6 %((Aq ! !Q & & & & %A1,--q" 5 5x1~~9N9N N N N N #ad))CaMM)1b 1 1Q 6 6 6 6 #eE!HHoo&&s1vv-q" 5 5 ; ; ; ; ; ;r/c ttdtttz tt dtt ttjzz z dksJtdttz tt t usJdSr) rr#rrr)r r r rKrr.r/r0test_aseries_trigrs &3tAww<<B// B#af++% &' ( (+, - - - - !DGG)Q $ $ + + + + + +r/c tttttttzz tttusJdS)N)r#r)rr r r.r/r0test_exp_log_seriesrsB !CAc!ffH &&&2 . ." 4 4 4 4 4 4r/cttdztzdzdtztdzzz dtz zttdksJdS)Nr;r3r5r4rr.r/r0test_issue_3644rsK AqD1HqL1a4!Q$;/2a48!R @ @A E E E E E Er/ctddd}|dzt|dzzzt|dzzdz z ttdz z z }t|td|dz ksJdS)NnT)integerrir3r5)r r)r#simplify)rrs r0test_issue_6843rs{sD4000A QAE AAJN+aQi7A !Q?? # # % %1 , , , , , ,r/ctttdtz z tttjksJdSrQ)r#r)rr r rr.r/r0test_issue_4190rs5 !eAaCjj.!R ( (AL 8 8 8 8 8 8r/ctd}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 }|||d z}t||||td ksJt||||td |d zz|zd z |d z|d zzz ksJdS) NrrTrhrpr+)negativer5r3)r subsr#r r)rrrrr+rs r0test_issue_5172rszs 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 4 QUa! a!eq1u-- . . . . . .r/ctdttz tddksJttttztddksJdSr)r#rr)r.r/r0test_issue_4109rsV !E!HH*a # #q ( ( ( ( !E!HH*a # #q ( ( ( ( ( (r/cttdtt ztdzz tdtdtzksJdS)Nr5r)r#r rr)rr.r/r0test_issue_6682rsL #aA2h--1$a + +s1Zz&test_issue_7391_8166..svaaddAq11r/ctttdzztdztdzzz tdS)Nr5rDrrrsr0rz&test_issue_7391_8166..s<va!aiA!a&@!QGGr/)rr& ValueErrorrs@r0test_issue_7391_8166rsH A :1111222 :GGGGHHHHHr/cttddtz ztdzzz }tt}t |tt |ksJt d|z tt d|z ksJdSrH)r r)rrr#r )eqanss r0test_issue_24210_25885rsu 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/r0rsA!!!!!!((((((@@@@@@@@@@@@@@@@""""""$$$$$$========999999KKKKKKKKKKKK========NNNNNNNNNN777777((((((HHHHHHHHHHHH                :::::::::::: F3T F3T  5I5I5IpIIIKKK&MMMQQQ VVVOOO ) ) )555@ B B BAAA    $$$ 3 3 3444888 OOO 7 7 7%%%KKK999UUUEEE MMM ( ( (333333777OOO 111777<<<,,, 555FFF--- 999 . . .))) AAAAAA III(((((r/