Qi(ddlmZddlmZddlmZmZmZmZm Z m Z m Z ddl m Z ddlmZddlmZmZddlmZmZmZddlmZdd lmZmZmZmZmZmZdd l m!Z!dd lm"Z"dd l#m$Z$m%Z%m&Z&m'Z'dd l(m)Z)ddl*m+Z,m-Z.m/Z/edZ0edZ1eddZ2edZ3edZ4dZ5dZ6dZ7dZ8dZ9dZ:dZ;dZd Z?d!Z@d"ZAd#ZBd$ZCd%ZDd&S)')Sum) expand_func)FloatIRationalnanoopizoo)S)Symbol)Abs polar_lift)exp exp_polarlog)sqrt) dirichlet_etalerchphipolylog riemann_xi stieltjeszeta)O)ArgumentIndexError) bernoulli factorialgenocchiharmonic)raises)test_derivative_numericallyrandom_complex_numberverify_numericallyxabT)negativezsc: tttusJttttusJtdtddksJtdttjtz ksJtdt tjt z ksJtdtusJtddtusJtddtusJtdttusJtddtdzdz ksJtddtdksJtdtdzdz ksJtdtdzd z ksJtdtdzd z ksJtddtdzd z td d z ksJtd dtd tddz ksJttjdj tksJtttjdttjdz ksJttdj tksJtttdttdz ddtzz z ksJtddtusJtddtusJtddtusJttdksJtdtddksJtddksJtdtddksJtddksJtdtddksJtddtddksJtdd tddksJtddtddksJtddtddksJtdddksJtdddksJtddtddksJtddtddksJtddtddksJtddtddksJtd d  td!d d"sJdS)#NriZiiNiE xiiiiiiiiD"z1.2020569031595942854gҶOɃ;)rrr$rr Halfr&r r funcrr evalf epsilon_eqr/var/www/development/aibuddy-work/election-extract/venv/lib/python3.11/site-packages/sympy/functions/special/tests/test_zeta_functions.pytest_zeta_evalrEs 99     3<<3     77hr1oo % % % % 1::! # # # # 1::! # # # # 77c>>>> 1::     2;;#     1::     1::Qq 1::a 77b!eAg     77b!eBh     77b!eCi     1::QrHR$4$44 4 4 4 4 1::a8FF#;#;; ; ; ; ; ?? 4 ' ' ' ' tAFA ' '4<rrsimplifyr strrr@rBrCrDtest_dirichlet_eta_evalrOWsj   qv % % % %   A . . . .   s1vv % % % % AF # # , , . ."Q$ 6 6 6 6 A  !c!ff* , , , ,   r1uRx ' ' ' '   r1uXa%5%55 5 5 5 5 }Q%%%++ , ,0O O O O O }Q""((2(.. / /3P P P P P P PrCctdtdz ksJtdtddksJtdtddksJtdtdt dzdtzz ksJtdtdzdz ksJdS)Nr,r.rr-r/r0)rr rrewriterrBrCrDtest_riemann_xi_evalrScs a==BqD a==HQNN * * * * a==HQNN * * * * a==  & &!DGG)QrT*: : : : : a==BE"H $ $ $ $ $ $rCcddlm}tttt |sJtttt|sJt ttttdddtz zz z ksJt ttdt tksJtttttt tsJtttttttsJtt tt tttsJt ttttdttksJtttttttdtzksJtdttt t ttksJttttdtztttksJdS)Nr Piecewiser-r,)r%)$sympy.functions.elementary.piecewiserV isinstancerr$rRrrr#r%rrr)r(rUs rDtest_rewritingrYksO>>>>>> mA&&..t44i @ @@@@ mA&&..x88) D DDDD 77??= ) )]1-=-=q1q1u:~-N N N N N 77??=A? . .$q'' 9 9 9 9 mA.. a0@0@0H0H0N0NPQ R RRRR mA.. a0@0@0H0H0R0RTU V VVVV d1ggtAww}'E'Eq I IIII 1::  h ' '8Aq!+<+< < < < < 1a==  * *hq!Q.?.?.A A A A A Aq!   $ $T * *d1ajj 8 8 8 8 XaA   & &w / / /71a== @ @ @ @ @ @rCcddlm}tttt|ttttksJttttt ttdztzksJt ttttt ttdz ttt tttzz tz ksJt ttttt t ttdztzksJttttttdz ttz ksJttttttsJttttsJtt ttsJtt ttsJttfdttfdttfdttfddS)Nr) Derivativer-cVttdS)Nr,rr$fdiffr&csrDz"test_derivatives..!x1a'8'8'>'>q'A'ArCcVttdS)Nr0r]r_srDraz"test_derivatives..rbrCcTttdS)Nr-rr(r^r&srDraz"test_derivatives..wq!}}':':1'='=rCcTttdS)Nr/rerfsrDraz"test_derivatives..rgrC)sympy.core.functionr[rr$r%diffrr(r)rrandcplxtdr r)r[r&r`s @@rDtest_derivativesrm|sq...... 1::??1  DAJJ!:!: : : : : 1::??1  !DQNN!2 2 2 2 2  1a  aXaQ22Qx1a7H7H5HH!K L L L L Aq!   ! !! $ $8Aq1ua+@+@(@ @ @ @ @ 1a==  a GAE1$5$5a$7 7 7 7 7 A A d1ajj!   gammQ   hq!Q # #### hq!Q # #### AAAAABBB AAAAABBB ====>>> ====>>>>>rCcvt|}|||kS||krdSi}|jD]}t||<t|||tt|z dkS)NFg|=) r free_symbolsrkabssubsrLreplacerr)r?targetexpandedrqr%s rDmyexpandrus4  H 6!!4u D  **Q tyy  ""!!)S1166t<<>>@@A B BDI JJrCc ttddksJttdttksJttdtt ksJttt t t ztddztttt t ztddzksJttt t t zdz tttt t zdz ksJttdttdtz  sJttdttdtz z sJttdttdtz dzz sJdtz dzttdtz tdtzzksJttdtdsJdS) Nrr-r+r0r/r,r5r:)rr)rrrrr rrrur(rrrMrBrCrDtest_polylog_expansionrws 1a==A     1a==DGG # # # # 1b>>mA... . . . . 1i"Xa^^ 344 5 5C"XVWYZ^^H[D\D\9]9] ] ] ] ] 1i"ooa' ( (GAs1R4yy{,C,C C C C C GAqMMCAJJ; / //// GAqMM1a!e9 - ---- GBNNAq1uqjL 1 1111 qS1H{72q>>22 2 < < > >!QU) K K K K GBNND ) ))))))rCctdttdttdzdz ztdzdz ztdzdz zttdzzksJtdt ttdtdz tdzdz zt tztt ddz zdz ztt ddz zdz zttdzzksJtt ddz t tddt t dtdzzdz zt dtdzzdz z tdzd z zttdzzksJdS) Nr-r<rKr,r/r0r )rr(rGrrr rBrCrDtest_polylog_seriesr{s 1a==  Q  ' '1q!tAv:1Q+>Aa+G!AqD''+Q Q Q Q Q 1d1gg   % %a1 % - -1q!tAvQ1G add1f+a-2add1f+a-2(*+AqD''22 2 2 2 2 1Q446A2   % %aA . .1"tAwwq!t|A~2E q''!Q$,q.3a463"$%adGG3, , , , , , ,rCctdd}ttdd|zdzdzz |dtjfdd z d ksJdS) NiT)integerr-r/r,rr0gʡE?gMbP?)r rrr InfinitydoitrL)r}s rDtest_issue_8404rssD!!!A s1acAg\>Aq!*#566;;==??BB         rCc .tddtdzdz ttztdzz ksJtdtjtdzdz tddzdz z ksJtjdt ddz dz t ddz dz t ddz dz dt dz dz fD]\}ttd|td|dz d ksJ]td }d D]}td D]x}tt||t||d|d dtjdsJtt||t||d|ddddsJyddl m }td|dtddftj ksJdS)Nr,r0r6r<r-r/F)evaluategV瞯rrr@r ranger#sympy.integrals.integralsrr$)r(r)_rs rDtest_polylog_valuesrs7 1a==BE!Gad3q66k1 1 1 1 1 1af  QrCFFAIaK!7 7 7 7 7fa$q''!)Q$q''!) Q$q''!) Q4PQ77TU VZZ71a==&&((71a%+H+H+H+N+N+P+PPQQTYYYYYYs A >>r > >A%gammWQE5R5R5R&'2qvDDD D D D%gammWQE5R5R5R&'1a1>>> > > > > > 322222 1hhq1a),, - -!& 8 8 8 8 8 8rCc ttdttt ttsJttt tdt tt t z sJttt dttdt z z t dt z dzz zsJttt dtdsJttt ttjdtdz zt ttt tt z t ttdtt ztt z z zsJttt tddt z t tt t dzz zsJttt ttdddsJttt ttdddsJttt ttdddsJttt ttdddsJttdttdt zt ttdz zdt zt ttdzdz zz sJtttttdsJttt ttdsJtttttztddzttdsJdS) Nr-r+r,r7r/r4r:r<)rurr)r%rr(rr r>rrrrrr rBrCrDtest_lerchphi_expansionrs! HQ1%%tAqzz 2 2222 HQ1%%wq!}}Q 7 7777 HQA&&1q5 Aq1uqjL(@ A AAAA HQA&& - ---- HQ16**AJ477 3 3DGG ; ':b>>$q''+A B B477 J!KL M MMMM HQ1%%r!tgammAqD.@'@ A AAAA HQ8Aq>>22D 9 9999 HQ8Aq>>22D 9 9999 HQ8B??33T : :::: HQ8B??33T : :::: HRA&&GDAaCLL(1r74AE193E3E+EE G GGGG HQ1%%t , ,,,, HaRA&& - ---- HS2hq!nn!455q!<>S Q   # # # # R==A- - - - - S>>Q. . . . . Q??a/ / / / / Q  q0 0 0 0 0 0 0rCcTttddz dksJttdddz dksJttdddzdksJdS) Nrg;x?g& .>g?g0}j?r-r,g(?)rprr@rBrCrDtest_stieltjes_evalfrs y||!!##k1 2 2T 9 9 9 9 yC  &&((;6 7 7$ > > > > yA$$&&4 5 5 < < < < < ->1"Q$-G G G G G aCFac? 9QqS>> )Qy1~~-= >C !99  Y ' '3 . . . . tAqs|| $ $Q(1a..(@ @ @ @ @ tQB|| $ $ + + + + tQB{{ # #tQB{{ 2 2 2 2s A !99QqS ! ! ! ! ! !rCN)Esympy.concrete.summationsrrirsympy.core.numbersrrrrr r r sympy.core.singletonr sympy.core.symbolr $sympy.functions.elementary.complexesrr&sympy.functions.elementary.exponentialrrr(sympy.functions.elementary.miscellaneousr&sympy.functions.special.zeta_functionsrrrrrrsympy.series.orderrr%sympy.functions.combinatorial.numbersrrrrsympy.testing.pytestr sympy.core.randomr!rlr"rkr#r$r%r&r(r)rErHrOrSrYrmrurwr{rrrrrrrrBrCrDrs))))))++++++EEEEEEEEEEEEEEEEEE""""""$$$$$$BBBBBBBBHHHHHHHHHH999999rrrrrrrrrrrrrrrr 222222ZZZZZZZZZZZZ''''''MMMMMMMMMM F3KK F3KK F3 F3KK F3KK7K7K7Kt@@@ Q Q Q%%%AAA"???* J J J * * *,,, 999"DDD2111"=== )))$ " " " " "rC