grddlmZddlmZddlmZddlmZddlm Z m Z m Z m Z m Z mZddlmZmZddlmZddlmZmZmZmZmZmZmZdd lmZmZmZm Z m!Z!dd l"m#Z#dd l$m%Z%m&Z&dd l'm(Z(dd l)m*Z*m+Z+ddl,m-Z-m.Z.ddl/m0Z0m1Z1m2Z2ddl3m4Z4m5Z5m6Z6ddl7m8Z8ddl9m:Z:ddl;mZ>m?Z?m@Z@mAZAmBZBddlCmDZDddlEmFZFddlGmHZHddlImJZJddlKmLZLddlMmNZNmOZOddlPmQZQmRZRddlSmTZTmUZUddlVmWZWddlXmYZYmZZZddl[m\Z\m]Z]m^Z^m_Z_m`Z`maZambZbmcZcmdZdmeZeddlfmgZgdd lhmiZimjZjmkZkdd!llmmZmmnZnmoZompZpmqZqmrZrmsZsmtZtmuZumvZvmwZwmxZxmyZymzZzd"Z{d#Z|d$Z}d%Z~d&Zekd'Zd(Zd)Zd*Zd+Zd,Zd-Zd.Zd/Zekd0Zd1Zd2Zd3Zd4Zd5Zd6Zd7Zd8Zd9Zd:Zd;Zeid<Zd=Zd>Zd?Zd@ZdAZdBZdCZdDZdEZdFZdGZdHZdIZdJZekdKZdLZdMZdNZdOZdPZdQZejdRZdSZdTZdUZdVZdWZeidXZeidYZdZZd[Zd\Zd]Zd^Zd_Zd`ZdaZdbZdcZddS)e)Sum)Add)Basic) unchanged) count_opsdiffexpandexpand_multinomialFunction Derivative)Mul _keep_coeff) GoldenRatio)EFloatIoopiRationalzoo)EqLtGtGeLe)S)Symbolsymbols)sympify)binomial factorial)Abssign)exp exp_polarlog)coshcschsinh)sqrt) Piecewise)acosasinatancossinsinctan)erf)gamma)hyper)KroneckerDelta)rad)Integral integrate)AndOr)Matrixeye) MatrixSymbol)factorPoly) besselsimp hypersimpinversecombine logcombine nsimplifynthrootposify separatevarssignsimpsimplify)solve)XFAILslow _both_exp_pow)xyztabcdefghinc ttddttddzzz dz dksJdS)NgQ@g@@g333333'@grfa @g-q=)absrJr0r7evalf^/var/www/html/ai-engine/env/lib/python3.11/site-packages/sympy/simplify/tests/test_simplify.pytest_issue_7263rd%si 7ST^^Q->#>>??FFHH    % & & & & & &rbctd}tt||z t|ksJttt|tt|ksJdS)NrO)rrJr!r4rOs rctest_factorial_simplifyrg*sqs A IaLLN # #uQxx / / / / Iill++ , , )A,,0G0G G G G G G Grbc  td\ }}}}}}}}}td} tdttt || t t t fDsJd|z d|z z} | ||z||zz ksJt | ||z||zz ksJ|dz|dzzdtz|z|dzzz } t | | ksJdd|zzddd|zzzz dd|zzz } t | dksJd |z|dzzd|dzzz d|dzz|zz ||zdzz } t | d |zksJ| |z ||zd z|dzzz ||zd z|dzzz} t | d |zksJ|||zz|z } t | d|zksJ| ||| |zz| |z } t | d|zksJdd|z t|tz|z z ztz } t | tt|z dzt|zz dzksJtd|dzdzz | |} t | d|dzdzz ksJt||dzd|zzdzz | |} t | ||dzd|zzdzz ksJtd} td|z||dzzz | g| |||dzzz gg }t |td| gzd| d|z||dzzz z|dz|||dzzz d|z||dzzz zz z z dksJ| ||tzz z||z|tzz z|tz|tzz zt|z|tzz z} t | |t|zz|tzz ksJ| |dzdz zd|dzz|dzdz zt|dz|dzz dzzz |dzdz t|dz|dzz zz zzt|dz|dzz zz |d |dzzt!|dz |dzz|dzz|dzzdz zt#|zt|dz|dzz dzzz |dzt!|dz |dzz|dzz|dzzdz zt#|zt|dzdz z|dz|dzz zz z |dzt!|dz dz|dzdz zzt!|dz |dzz|dzz|dzzdz zt#|z|dzdz z t!|dz dz|dzdz z|| |dzz|zzt!|dz |dzz|dzz|dzzdz z t!|dz |dzz|dzz|dzzdz zzt#|zztt!|dz dz|dzdz zz|dz|dzz zz zzt!|dz |dzz|dzz|dzzdz zt#|zt|dz|dzz zz z|d |dzzt!|dz |dzz|dzz|dzzdz zt|zt|dz|dzz dzzz |dzt!|dz |dzz|dzz|dzzdz zt|zt|dzdz z|dz|dzz zz z |dzt!|dz dz|dzdz zzt!|dz |dzz|dzz|dzzdz zt|z|dzdz z |t!|dz dz|dzdz zz| |dzz|zzt|zt!|dz |dzz|dzz|dzzdz z zt!|dz dz|dzdz zt!|dz |dzz|dzz|dzzdz zt|zztt!|dz dz|dzdz zz|dz|dzz zz zzt!|dz |dzz|dzz|dzzdz zt|zt|dz|dzz zz z|t!|dz dz|dzdz zz| |zt!|dz |dzz|dzz|dzzdz zt#|zt|dz|dzz z|dzdz zz d|z|zt!|dz |dzz|dzz|dzzdz zt#|zt|dz|dzz dzzz z||zt!|dz dz|dzdz zzt!|dz |dzz|dzz|dzzdz zt#|z|dzdz z |t!|dz dz|dzdz zz|dz |z|zzt#|zt!|dz |dzz|dzz|dzzdz z ztt!|dz dz|dzdz zz|dz|dzz zz zzt#|zt|dz|dzz zz z ||dzdz zd |z|z|dzdz zt|dz|dzz dzzz d|z|zt|dz|dzz zz zzt|dz|dzz zz z||dzdz z|dzdz z| |zt!|dz |dzz|dzz|dzzdz zt|zt|dz|dzz z|dzdz zz d|z|zt!|dz |dzz|dzz|dzzdz zt|zt|dz|dzz dzzz z||zt!|dz dz|dzdz zzt!|dz |dzz|dzz|dzzdz zt|z|dzdz z |t!|dz dz|dzdz zz|dz |z|zzt|zt!|dz |dzz|dzz|dzzdz z ztt!|dz dz|dzdz zz|dz|dzz zz zzt|ztt!|dz dz|dzdz zz|dz|dzz zz z|t!|dz dz|dzdz zzt!|dz |dzz|dzz|dzzdz zt#|dzztdz|dzdz z|dz|dzz z|dzdz zz z |t!|dz dz|dzdz zzt!|dz |dzz|dzz|dzzdz zt|dzztdz|dzdz z|dz|dzz z|dzdz zz z } t | d|ztdz|dz|dzz zz ksJt d t%t'd t'dksJtdd\}} t || z| |zz || z| |zz ksJt |d||z zz ||z||zz ksJt |d|z d|z zz||z ||z zksJt t)dt)dzt)dksJt t)d|zt)dz t)|ksJt t+gg|t-|ksJdS)Nzx,y,z,k,n,m,w,s,ArXc3<K|]}t||kVdSNrJ).0tmps rc z%test_simplify_expr..5s-NNx}}#NNNNNNrbr^rz/((-1/2)*Boole(True)*Boole(False)-1)*Boole(True)z(2 + Boole(True)*Boole(False))z-Boole(True)/2zA,BF commutative)rr allrrrrJrr/r9rrr<invrRrSr*r0r rr&r5r$) rOrPrQkr\mwsArXrWexprBs rctest_simplify_exprr1s '(; < <Aq!Q1aA A NN1b!aR"qb1"/MNNN N NNNN !ac A Q1     A;;1q51Q3- ' ' ' ' 1QT 1R46!Q$;A A;;!     QqS1a!A#g; QqS)A A;;!     AadQq!tV a1fQh &Q 2A A;;"Q$     Q!a%2q!t##q1umAqD&88A A;;"Q$     QqS! A A;;!a%     1!!A$$!A A;;!a%     acCBKKM! "B&A A;;C1II:>BqD1!3 3 3 3 3!QTAX,""''**A A;;!QTAX, & & & &!QTAaCZ!^$a((--a00A A;;!QTAaCZ!^, , , , ,s A1qAvr"aRQq!tV$4566::<?@!tax:IKO Q$QTAXL L !"QBq!tGaKq!teAqDj1a46G!Q$6N 7 2 2 " 1a4%1*q!t#ad*Q. / /"0L114QL8:8;&B!C!CCCFFJA AMqD1a4KM!""%&T$A AqD1H/E*F*F%FtQPQTE AM1M!tMM H!H!&!!$Q&()*A&356tadUQYA J = 8 8 6 R1Wq[6a&&6!!%q!teAqDj1a4&7!Q$&>&B!C!C6D&DFJQPQTE M dQhLGGq!teAqDj1a4/!Q$6:;;G<1a4!Q$; C A . s1uaA1o&.' ()*AqD1a4K :+ :,=>q!taxL!Q$ K = BqDq!teAqDj1a4'!Q$.233 3CFF :Aq!tad{OQPQT N =  !AdAqD5A:1,q!t3a7888Q?AqD1a4K D B   !D1a4%!)adQh/000q!teAqDj1a46G!Q$6N 7 2 2  q66a4!8 1uqy1a4!8&><Aad QT)AqD01455<669!ffai<@ABAq!tax 1q!t BdQhB >QqS!Q$1q!t "45 5 5 5 5 E F F 8997CS;T;T U U V V V V 5e , , ,DAq AaC!A#I  !A#!) + + + + Aq1Q3wK AaCQK / / / / AqsQqSyM " "acAaCi / / / / CFFSVVO $ $A . . . . C!HHs1vv% & &#a&& 0 0 0 0 E"b!$$ % %Q / / / / / /rbcttzttzztt zzdz }tt zttzzttzzdz }ttzttzzttzzdz }t|||gtttd}t|tttzt t zzttzzttzz t tzz t tzz ttztzttztzzt t ztzzttztzz tt ztzz t tztzz z ksJdS)NroFrk)rOrSrPrTrQrUrVrWrXrYrZr[rKrJ)f_1f_2f_3 solutionss rctest_issue_3557rs) A#!)ac/A C A#!)ac/A C A#!)ac/A CsCoq!Q???I IaL ! ! 1qsQqS1Q3 1 $qs * 1Q1Q1Q 1Q &1Q .1Q 6 8 8 8 8 8 8 8rbc tttdzttdzzdksJtt tdzt tz tksJtttdzttdzzt tt tz zdtzksJtt ttdzttdzzt tt tz t tdksJtdd}ttt|zztd|zzksJtt tztttztddzttdzzdtzz zztttttztddzzdttzz zdttzz ttztttztddzttdzzdtzz zzdttzz zztt tdzzdtzz ztttzz tttztttttzdz zdttzz  dzztttzdz zdttzz z }t|dtd dz ttzttz ksJtddtzzdz dtzksJdS) Nr^roncFrurprtrq)rJr0rOr/r4r!rrrrr$rrRr3r*)ranss rctest_simplify_otherrsW CFFAIA ) * *a / / / / E!a%LLq) * *a / / / / CFFAIA )IaLLq,AA B Ba!e K K K K  3q6619s1vvqy )A,,uQxx"788 : :=?1XX F F F F 5 ) ) )B A"H  AF + + + + bSU3qtHROO+a1facl:;; ;C#ad8TVXY??FZB[B[@[ 477A==Qi!#%a4AbD"a,@1QT61Q3<,O(P(P#P 477$ !AqD!A#'' ()-b! 578bz aAbDF mQtAwwY' ( ( (1 ,8..1!B$q&kk8:;>11$r((:477B B B B B AAJqL ! !QT ) ) ) ) ) )rbc ttt}ttt}t ||zt tksJt t tddgddggttdt d gt dtdggksJdS)Nrrtro)r/rO_eval_rewrite_as_expr2rJr0r$r<)cosAsExptanAsExps rctest_simplify_complexrs1vv**1--H1vv**1--H HX% & &#a&& 0 0 0 0 CB!Q01122 3 3vA Q@q663q66"?$8%8% % % % % % %rbcgd}|D]\}t|}tt|dt|ksJt|t|usJ]dS)N)za(1/2 - sqrt(3)*I/2)*(sqrt(21)/2 + 5/2)**(1/3) + 1/((1/2 - sqrt(3)*I/2)*(sqrt(21)/2 + 5/2)**(1/3))za1/((1/2 + sqrt(3)*I/2)*(sqrt(21)/2 + 5/2)**(1/3)) + (1/2 + sqrt(3)*I/2)*(sqrt(21)/2 + 5/2)**(1/3)z8-(sqrt(21)/2 + 5/2)**(1/3) - 1/(sqrt(21)/2 + 5/2)**(1/3)ro)ratio)rrrJr)rootsrs rctest_simplify_ratiors I I IE .. aDD!1---..)A,,>>>>$$$A----- ..rbcXd}d}tdztttdzzttdzzz }|t||||ksJ|t||||ksJt ttdzttdzzd}|t||||ksJ|t||||ksJdS)Nc:tt|Srj)lenstrrs rcz'test_simplify_measure..sCD NNrbc"t| Srj)rrs rcrz'test_simplify_measure..sYt__,rbror^)measure)rOr0r/rJr)measure1measure2rexpr2s rctest_simplify_measurers+**H,,H EAA MCFFAI- .D 8HT8444 5 5$ G G G G 8HT8444 5 5$ G G G G s1vvqy3q6619$a ( (E 8HUH555 6 6((5// I I I I 8HUH555 6 6((5// I I I I I Irbc(dtzdtzz}t|ddttzzksJt|ddttzzksJt|d|ksJtdddksJdS)Nr^@TrationalFz0.9 - 0.8 - 0.1r)rOrPrJrs rctest_simplify_rationalrs a4A:D DT * * *a!A#h 6 6 6 6 DT * * *cAaCj 8 8 8 8 DU + + +t 3 3 3 3 %$ 7 7 71 < < < < < D 4  q477{T"XX5 5 5 5 5 DGG d1ggQ'A g&8A&>&>BB C Cq H H H H DGG aQi!DHH*,A %ad++Q 2 2a 7 7 7 7 DGG aQi$tAww,.A %ad++Q / /1 4 4 4 4 %ad++Q / /1 4 4 4 4 4 4rbcndtdztdztjdz z}t|dz}t |d|ksJdtdztdztjdz z}t|dz}t |d|ksJdS)Nror^rql Fx:^Vrl73Me')r*rOner rF)rps rc test_nthroot1rs DGG d1ggf ,A1a4  A 1a==A     DGG d1ggf ,A1a4  A 1a==A      rbc td\}}}}td|z|z|zd|z|z|zzd|z|z||zzksJt||z||z|zz||zd|zzksJtt|z|zt|z|z|zzt|z|zd|zzksJt||dzzt|z|t|zt|zz|t||dzzzt|zksJt|t ||zz|t |zz|dt |zzt |zksJt||dzz|zjsJtd|z|z||zz|dz|dzzksJt|tz t ||z t |z z|t |t |z zt | t |z ztz ksJt||z||z z|dzzd|zzdz|dzdzksJtdd}tt|dz||dzzz|td|zzksJtt||dz||dzzzz|t|d|zzzksJtt||dz||dzzzzd|t|ztd|zzksJtt||zjsJtt||zdt|t|zksJtd|zdz|zdd d d|d|zdz||iksJtd|zdz|zd|g d ||d|zdziksJtd|zdz|zdg d d|d|zdz||iksJtd|zdz|zd d d|d|zdz||iksJtd|zdz|zdd d |d|zdzziksJtd d Jtd|z|zdd Jtd|z|zd Jtd|z|zdd d d|z|ziksJtd d\}}t|||zzd|z|zksJt|||zz|d|zzksJtd}t|||||zz|||||zzksJ|dtdd||zzz}t||ksJtt||z}|t|t|zkr|j sJt ddztddzzdz }t||z} t| }| j s*|j r#|t|t|zksJtt||z|z}|t|t|zt|zksJtt||z|z t||z|z ksJdS)Nzx,y,z,nr^rorTpositiveforcera)dictrcoeff)rrqzn,mFrurX) rrHrr0r$is_Powr/rr*r r5r_is_Mul) rOrPrQr\rr{rXeqr}rSs rctest_separatevarsr s##JAq!Q !Aa!A#a%') * *ac!eQUm ; ; ; ; !ac!e $ $!QU 3 3 3 3 1QAa) * *bd1fa!en < < < < !Q$s1vv #a&&Q7 8 8 3q66AqD=#a&&  ! ! ! ! #a!e** qQx/ 0 0Aq3q66zN3q664I I I I I AEQ ' ' .... A AaC ( (QUQUO ; ; ; ; "S1q5#a&&111 2 2 #aAh--QBs1vvI&r) * * * * QQ!Q$.14q8 9 9a!eaZ G G G GsT"""A QTAadF]++ , ,$q1u++ = = = = Q1qAv .// 0 0Ad1a!e9oo4E E E E E Q1qAv .//t < < < $q'' $q1u++     QqS " " )))) QqS  . . .$q''$q''/ A A A A !A#'1D" = = = !Q!aA& ' ' ' ' !A#'1D1# > > > !Q!a  ! ! ! ! !A#'1D" = = = !Q!aA& ' ' ' ' !A#'1D 1 1 1 !Q!aA& ' ' ' ' !A#'1D$ ? ? ? !QqS1W+      % % % - - - !adB 7 7 7 ? ? ? !ad + + + 3 3 3 !adD 9 9 9gqsQw=O O O O O 5e , , ,DAq AaC QUAI - - - - AaC Aq1uI - - - - A !q1v & &!!A$$11Q44- 7 7 7 7 Ab"ac"" " #B   r ! ! ! !S1XXA As1vv  !(    A CFFAI!A AaCAQAx;AH;c!ffSVVm););););S1QZZ  A As1vv c!ff$ $ $ $ $ QqS!G % %ac1W 5 5 5 5 5 5rbc td\}}}tdt|t|zzt|zt|zt|dzt|dzzksJtd|zt|z |t|zz t|t|zz |t|zt|zz |t|zzt|z|dzt|dz zt|dzz ksJtdd\}}tdt|t|zzt||zzt|dzt|dzzksJdS)Nzx,y,zrox,yTr)rrHr&r$rOrPrQs rc!test_separatevars_advanced_factorrOsgGAq! CFF3q66M)CFF2SVV; < < Q!c!ffqj! " " " " AA3q661CFF3q66MA #a&&QCFF(#%(VV, - - q53q66A: A +, - - - - 54 ( ( (DAq C3q66 NN*S1XX5 6 6 Q!c!ffqj! " " " " " "rbcZtdd\}}tt|||dzksJtt|dz|Jtdt|z |d|dzz ksJtd|zt|dzz |d|dzdzz ksJtt|||||z |dzz ksJtt|dz||||z dz|dzz ksJd|zdzt|ztd|zdzz }t||tjd|zdzdd |zzd |dzzzz zksJdd|zdz td|zdzzz }t|||tjz |dzd|zdzzd|zdzzz ksJt||d |zzt|z }t||||z |dzdzz ksJdS) Nzn,kTintegerror^rprrqrrt)rrBr!r rHalf)r\rzterms rctest_hypersimpr[s\ 5$ ' ' 'DAq Yq\\1 % %Q . . . . Yq!t__a ( ( 0 0 0 Qy||^Q ' '1a!e9 4 4 4 4 QT)A,,/)1 - -AEA: = = = = Xa^^Q ' 'AEAE? : : : : Xa!eQ'' + +A AE/B B B B B aC!GYq\\ !)AaC!G"4"4 4D T1  !A#'A1HqAv4E)F!G G G G G qsQw !A#'*** +D T1  !af*A!a/@!A#'/J!K K K K K Aq>>2' !)A,, .D T1  !a%!a%!!3 3 3 3 3 3 3rbc (td}tddksJtddksJtddksJtd|zd|zksJtdtddksJtdtz dt dz d z ksJtdt dzd z tgtd z ksJtd tz tgd tzd z ksJtt t tztdd zd tdksJttt td dzd tdksJtt tdd d tzzt gt t t t d z tzzksJtd t d tdztzztdksJtt dtddksJtt dtddksJtddtdd ksJtddtddksJtddd d tdd zksJt|d!zd"tj |zksJtd#|zd"tdd |zksJttd d"td$ksJttd%t td gt td zd&z ksJttd%d t td gt d z td z tdd zksJt|d'z |dz ksJtt d(z t d)z ksJtt d(z d "t d(z ksJtt d*z d+t zksJtt!d,t"d zzt"d zd-zzd t"d zd.zzztrJ|d/z}|jrt|d/zdksJtd0d1d2tdd ksJtd0dd2tdd ksJtd3d1d2td4d ksJtd3dd2td4d ksJtd5dd2td5ksJtd6dd2td7ksJtd8dd2td9ksJtd:td;dksJtddtd?d@ksJtdAdtdBd@ksJttdCtddDksJtdEd"dksJtdF}t( t(|| f}|D]I}t+|t(z}t||ksJt||z||zksJJtdGddHItdGksJtt jd)|zdHJd)t jd)|zksJdS)KNrOrrtrog@rrr^rprqFevaluatez1/2 - sqrt(3)*I/2zsqrt(sqrt(5)/8 + 5/8)1z1/4z49/17 + 8*I/17g{Gz?) tolerancergMbP?icqg1ZGU?g-C6?gr(?i{iT)rfull?rg @z109861228866811/100000000000000gAk?r@gY@dgHz>iggggk} @g?)rrgRTU @ !g ףp=@@gzGB@(g33333ciig?gɿg镲 q?iWig镲 q̿ig:0yU>ig9(L67infgQUU?exact)rrational_conversion)r)rrErrr*r$rrrr0r.rrr&r\rr?rQatomsrrr#r`)rOrWrinfszirs rctest_nsimplifyrrsbs A Q<<1     R==B     Q<<1     QU  q1u $ $ $ $ S>>Xb"-- - - - - Q_ % %!d1gg+q 8 8 8 8 a$q''k1_{m 4 4 A E E E E Q{][M 2 2a ma6G G G G G SAhq!nn,u=== > >#$$ % % % % SHQNN*U;;; < <'(( ) ) ) ) T$sU33344a!e>     QVd + + +qvz 9 9 9 9 TAX - - -"a11D D D D D SVVXXZZ$ / / /122 3 3 3 3 U,--CFF| < <3q66 ! K K K K U,--//22RQL A A AA!Q' ( ( ( ( QsU  qs " " " " RV  3 & & & & RVe , , ,5 8 8 8 8 RW  " , , , ,tAqDy!Q$$'!QTTN*::;;===BU5\\JJJ 3A 8. !S&))Q.... Xt < < <Q O O O O X = = ="a P P P P Xt < < <Q O O O O X = = ="a P P P P R2 5 5 5" E E E E Ub4 8 8 8HRLL H H H H Ub4 8 8 8HRLL H H H H V   3 3 3 3 3 3 R1 % % %!Q 7 7 7 7 SA & & &(2q// 9 9 9 9 Ua ( ( (HT4,@,@ @ @ @ @ Vq ) ) )XeT-B-B B B B B QtWW  !X!6!6 6 6 6 6 UT * * *a / / / / ,,C CS3$ D,,2hhrk}}####a  AG+++++ Z$G L L LPXYcPdPd d d d d RXc]]1_' B B B H H M MQSQYZ]Q^Q^_`Q` ` ` ` ` ` `rbcbtd}t|tjksJdS)NzE1/(1 - (-1)**(2/3) - (-1)**(1/3)) + 1/(1 + (-1)**(2/3) + (-1)**(1/3)))rrErr)rms rctest_issue_9448rs/ Y Z ZC S>>QV # # # # # #rbcBtd}td}td}td}t| | z ||z ksJt| |z | |z ksJt||z ||z ksJt|| z | |z ksJt| dz t|zksJttddtusJt| |z| |z z ||z||zz ksJdS)NrOrPrSrTr)rrJrr)rOrPrSrTs rctest_extract_minus_signrs3s As As As A QBrE??ac ! ! ! ! QBqD>>aRT ! ! ! ! AaC==AaC     AqbD>>aRT ! ! ! ! QBqD>>SU " " " " HROO $ $ + + + + QBqD1"q&M " "ac1q5k 1 1 1 1 1 1rbctd}td}td}td}t||||||z||||||zz dksJtd||z|||zt||dz|z dksJttd||z ||||||dzz zdksJt||||||||z dksJdS)NrOrPrXrYrr^ro)rr rJrrOrPrXrYs rc test_diffrss As A A A AAaDDIIaLL11-! ! QQqTTYYq\\0II J Ja O O O O AaaddF11Q4499Q<<'$qqttQw*:*:: ; ;q @ @ @ @ D11Q44OOaaddiill11Q447&:: ; ;q @ @ @ @ AAaDDIIaOOaaddii1oo5 6 6! ; ; ; ; ; ;rbc td\}}td}tdd\}}tdd}tt|dt|zzt|dt|zzksJtt|dt|zzd t||dzzksJt|t|zt|z|t|zt|zksJt|t|z|t|zzt||z|t|zzksJt|t|zt|z t||z|z ksJtt|t|zt|t|zksJtt|t|zt|t|zksJtt d t|z|t|zzt t||z|dzz t t|dz||zz fvsJttt|t|z t|z d tt||z |z ksJtdt zt|zd dt zt|zksJt|dzt|zt|z ||zz d |dzt||z z||zz ksJtt|dzt|zt|zd t||t|dzzzksJt||zt |d z|d zzzt|zt|z t|tdd zzt |d zzz d ||zt |d z|d zzzt||z zt|tdd zz|td dzzz ksJttt||z  tt||z  zd tt||z  tt||z  zksJtdt|zt|zt|zt|zt|zt|t|dzzt|zt||zzksJtd t|zd t|zzt|d z|d zzksJt||d zztdztd z||d zztdzksJt||zt|z| |z td zz||zt|d z zksJtt|tdztd|zksJtt|tt|z}t||ksJ|d|di}tt|t|z || |ksJdS)NrrSzz,wTrrTrealr^rrsrprqrorwr) rrrDr&r/rr*rrr4r,r_subs)rOrPrSrQr|rTrrepss rctest_logcombine_1rsw 5>>DAqs A 54 ( ( (DAqsA c!ffqQx' ( (CFFQs1vvX,= = = = = c!ffqQx't 4 4 4AadF C C C C aAhQ' ( (Ac!ffHs1vv,= = = = = aAh3q66) * *c!Q$ii!CFF(.B B B B B aAhQ' ( (C1QKK 7 7 7 7 c!ffSVVm $ $As1vv 5 5 5 5 c!ffSVVm $ $As1vv 5 5 5 5 c"SVV)aAh.// 0 0SQT!Q$Y5H5H36s1a419~~3F3F5H H H H H c#a&&3q66/**SVV34 @ @ @ C!HHQJ     q1uc!ffnD 1 1 1a!eSVV^ C C C C q!tc!ff}s1vv-!4D A A A AAaC1Q3     c!ffQhs1vvoA.d ; ; ; AaQTlN     qsT!Q$A+...Q7#a&&@2aRSUVFWCW GGQJD# % % % aC$q!tad{## #c!A#hh .Ax1~~4E1EaRSUVFW1W)Y Y Y Y Y eS1XXI&&tS1XXI6d C C C c!A#hhYs1Q3xxi((( ) ) ) ) aAhs1vvoc!ff,s1vv5A> ? ? As1a4yyL#a&& 3qs88+ , , , , aAh3q66) * *c!Q$q!t)nn < < < < aQi#a&&(3q661 2 2aQi#a&&6H H H H H q1uc!ffnQA6 7 7AE3qs88;K K K K K c!ffs1vvo & &#ac(( 2 2 2 2 SVVs3q66{{ "B b>>R     q!Qztest_posify..s# + + +QAFF4LL + + +rbrrqz3Integral(1/_x, (y, 1, 3)) + Integral(_y, (y, 1, 3))zSum(_x**(-n), (n, 1, 3))rz)finiterzeroF imaginary nonpositiverv hermitianrnonzero nonnegativercomplexrinfinite extended_realextended_negativeextended_nonnegativeextended_nonpositive)extended_nonzeroextended_positive) rrrGrr&r rr8rPr assumptions0) rOrreprr\origmodifiedrzrs @rc test_posifyr s A v sT""" #sT""" #$$ % %)@ @ @ @ @ QqSkkGB r77>>    % %#a&& 0 0 0 0 vq!a%j!! " "&? ? ? ? ?d###Ad###A q!9DD\\NHd x==L ( ( ( ( + + + +( + + +t 3 3 3 3 xqsQw*Q1I66==?? @ @= > > > > s6!AqD&>>!$q1g..5577 8 8" # # # # s4   AQiiGB ?:z4:: U:E:($:0;T:CI4:QZ\`:D:$e:-6:>F::(:/B5:T :$:5 : D ::: : : : : : :rbctd}tdtzd|tzzdtzd|tzzz dksJdS)NrXrprwr^rq)r rJrOrP)rXs rctest_issue_4194r0sY A QqS1QQqTT6\AaC!AAaDD&L1 2 2a 7 7 7 7 7 7rbcttdztdzz dksJttdztdzz dksJdS)Nrr^r)rJrOrarbrctest_simplify_float_vs_integerr6sT AsFQTM " "a ' ' ' ' AqD1c6M " "a ' ' ' ' ' 'rbc jtdz tztjtdtzzfksJtdz tzdtjtdz tzfksJttdz tzztjttdtzzzfksJttdz tzzdtjttdz tzzfksJtddtzzzdtzdzdzzdttdzdzzfksJddtzzdtzddtzzzzdtdtztdzzzdzfksJddtzzdzddtzdzdzfksJddtzzdtzzdt tddtzdzdtzzfksJd d tzzdtzddtzzzzdd tzdtztdzzzd zfksJd tdtzzzdtzddtzzzzd ttdzzfksJd tdtzzzdtzddtzzzzdzd tdztdzdzzfksJtdzdtdzfksJtjdtfksJtdtzz}|d|fksJtjdtzztdddt zfksJtd ddtzztddtd dtzfksJtd ddtzztddtd dtzfksJddtzdz zddtdz zfksJddtzdz zddttjdtzdzfksJd tddzdd tddzfksJd tddzd d tddzfksJtttd dzdtzttddzdtdddtzdtzzd tzzfksJdtddzdtddztdzzdddtddztdtdzzfksJdS)Nr^F)clearrqrorwrprrryrtrrrrrT)radical)rOrPas_content_primitiverrrrInfinityrrr rrQr*rs rctest_as_content_primitiver&>s aC!G ) ) + +AaC/@ @ @ @ @ aC!G ) ) ) 6 615!A#':J J J J J qsQwK - - / /AFAq1Q3wK3H H H H H qsQwK - -E - : :qua1qk>R R R R R q1Q3wK1q1 $ : : < < QAz\     !Gac1qs7m # 9 9 ; ; A!QU Oa   ! ! ! ! 1WqL . . 0 0 QqS1WqL     1W!  2 2 4 4 [1!a ) )QqS 12 3 3 3 3 1HqsA!G} $ : : < < BqD1Q3A;  "# $ $ $ $ q!a%yMAaCQqSM ) ? ? A A QAY     1q5 ]QqS!ac'] *Q . D D F F adAEA:o     qD & & ( ( AqD      J , , . .1b' 9 9 9 9 QUB  $ $ & &1b' 1 1 1 1 FQUO 1 1 3 3AA27N N N N N ROOa!e $ : : < < QNNXb!__q0 1 2 2 2 2 ROOa!e $ : : < < QNNHROOQ. / 0 0 0 0 Q N 0 0 2 2q!ac(m C C C C Q N 0 0 2 2 q3qvq1uu5556 7 8 8 8 8 x1~~  3 3 5 5!QA=N9O O O O O x1~~  3 3 5 5!QA=N9O O O O O q!QQ(1a..(85 I I I ^ ^ ` `2A1 r!t 34 5 5 5 5 x1~~ 8Aq>> 1$q'' 9 9 O OX\ O ] ] q(1a.. $q''DGG"34 5 6 6 6 6 6 6rbctt dzzttdz zz}tt|dtjusJt tdz t dtz ksJtt tz t tz ksJtt tz dtdtt z dksJdS)NrorFrrt)rOrIrrtruer"rPr )rWs rc test_signsimpr)js A26 QAYA Bq!HH   ' ' ' ' q1u::QU # # # # AE??a!e # # # # AEE * * *c"a!ee.L.L.L L L L L L Lrbcddlm}m}m}ddlm}t tt tztzdz |tttttzdz zz|ttksJt tt tztzdz |tdttztttzdz zz|tdttzksJt tdttztt!ddzztttzdz ztt tztzdz z|t!ddtttttzdz zz|ttttttzdz zzdz |tttt#ttzksJt |t!ddttdt%tzttttzz ksJt |tttt tzdz ztt tztzdz |ttzksJ|dt&z t)tt&z zt&ttdttz|ddttzttzzdz ksJt tdztd|d tztz|dd tzztz|dd tzztzzt*d|d tztz|dd tzztz|dd tzztzzzzdz tt|dd tzztdz |dd tzztdz z zt*|dd tzztdz |dd tzztdz z zzzztdzd zt|d tztzt*|d tztzzzzdksJt d tdzzt|t!d d dtzd|t!dd dtzzz |t!dd dtzzzt*|t!d d dtzd|t!dd dtzzz |t!dd dtzzzzzdz ttd|t!dd dtzzdz d|t!dd dtzzdz z zt*d|t!dd dtzzdz d|t!dd dtzzdz z zzzzd tdzzt!ddz t|t!dd dtzzt*|t!dd dtzzzzzdksJt |tdz t|tdztzdtz|ttztz z dksJt |tdz t|tdztz|ttzdtztz|ttztz ksJt tdz|ttztd z|tdztzz|tdztzdtztz|tdztztd z|tdztzztdz|tdztzz dtz|tdztzz|tdztzksJdS)Nr)besselibesseljbessely)cosine_transformr^rorprtrsrQrrq r)sympy.functions.special.besselr+r,r-sympy.integrals.transformsr.rAr$rrrPrQr%rSr*rOrr/r'rRr0rT)r+r,r-r.s rctest_besselsimpr4rs JJJJJJJJJJ;;;;;; c1"R%'!)nnWWQ)AbDF2C2C0C%D%DD E E1      c1"R%'!)nnWWQ$q'' )AbDF:K:K0K%L%LL M M1T!WW9     d1ggd2hh&q(1a..'88QrT!VDS!BqQR^^Sghr1ootAwwy2a7H7H/HIIJgaa1R46):):!:;;<<=> ? ? 477c$q''ll* + + + + gghr1ooq11 2 2 QQb$q'')* + + + + gga9aRU1W#5#5!566 7 7 QBrE!GAIwwq!}}$ % % % %  AaCAaCL!Q / / QRAd1ggId1gg$5666q8 9 9 9 9 adAr''!A#q//1GGB1Ha4H4HH GA!GQ b1a0772!8Q3G3GG GA!GQGGB1Ha$8$8$:WWQ1Wa=P=PQR=R$R!Sac1  a ''!ac'1"5"5a"7 78"9::>?TBY77STUVSVXY??IZ!QJ=        bAgq''(2q//1Q3"?"?!GGHUVXYNN\]^_\_D`D`B`"`cjcjkstuwxkyky{|}~{~cc" A"a!A# & &778Aq>>1Q3+G+G)G G''RZ[\^_R`R`bcdebeJfJf fg hiijkmnpqstu|u|~FGIKL~M~MOPQRORvSvStSTUtUA!$$$Q&t'q(*+QwwxA!/L/L-LQ-NQRSZSZ[cdegh[i[iklmnknSoSoQopqQq-q*rqsntt1Wx1~~''(1a..!A#">"> >778TUWX>>[\]^[^C_C_A_ _`a b bfg g g g g ggac!nnwwqsA61WWQ]]9J19LL M MQR R R R R ggac!nnwwqsA6AF G GAaCRSGU\U\]^`aUbUbKbcdKd d d d d adGGAaLL(1a4!Q+??''!A#q//Q R RaCE''!a%  ad771q5!#4#444q!tGGAE1.ActjSrj)rr)rOkwargss rc_eval_simplifyz+test_polymorphism..A._eval_simplifys 5LrbN)__name__ __module__ __qualname__rBrarbrcr~r?s#     rbr~rr^ro)rrrJ)r~rSs rctest_polymorphismrFsfE !A$$! A A;;!      rbctdd\}}}}ttt|zt|  ksJdS)Nz n1 n2 n3 n4Tr)rrJrr*)n1n2n3n4s rctest_issue_from_PR1599rLsO]T:::NBB Ad2hhJ  D"II: - - - - - -rbcbtdtzzdtzdzz}t|tdztdtzzzdzksJt|dtdzzdtztzzdtzzdtzzksJdS)Nr^rorp)rOrPrJr r%s rctest_issue_6811rNs ac'AaC!G B B<.s/ 0 0 0HQQrUUOO  # 0 0 0rb)r/rOrr0r'r)r$r )rWokrXs @rctest_issue_6920rTs Q!CFF( CFFQs1vvX- Q$q''477T!WW, .A ac((C1IIsA2wwA /B A 0 0 0 0a 0 0 0B 6 6 6 6 6 6rbc ddlm}m}t|t t t ddz||kfdt z|dzzd|dzzz dfzdt t |zt ddz||kfdt z|dzzd|dzzz dfzz dt z|zz t d||kfd ksJdS) NrrRrprqiTr^rtrT) sympy.abcrrWrJr+rrrVs rctest_issue_7001rZs a 2hq!nn#4a1f"= Bq!tQq!tV d#%%%'(BqD!Q4Ga3P 2adAadF T"*$*$($$%&'d1f. / / 2qAv, ** + + + + + +rbcttdzttdzz}d}t||d}|tjusJt |sJdS)Nr^Fr)r/rOr0rrr(rJ)lhsrhsrWs rc test_inequality_no_auto_simplifyr^s` a&&!)c!ffai C C 3e$$$A AF???? A;;rbcddlm}ddlm}|ddksJ|dtzdksJt ddksJt dtzdksJt|dz|d|dzzdksJ|ddksJ|dtzdksJt ddksJt dtzdksJ|d dksJ|d tzdksJt d dksJt d tzdksJt d }||dksJ||tzdksJt |dksJt |tzdksJdS) Nr)Number)cancelg+=g?rig#B ;g0.++z1e-1000)sympy.core.numbersr`sympy.polys.polytoolsrarrJr)r`rarXs rctest_issue_9398rds")))))),,,,,, 6%==A     6%'??a     E??a     E!G   ! ! ! ! ffRjjLVVC[[0 0 : : < < A A A A 6%==A     6%'??a     E??a     E!G   ! ! ! ! 6&>>Q     6&(  q F  q F1H   " " " " iA 6!99>>>> 6!A#;;!     A;;!     AaC==A      rbcztddd}|d|dzdz}t||ksJdS)NMr)rr)rrpi)r>rJ)rfrWs rctest_issue_9324_simplifyrgsGS"b!!A $!D'D A A;;!      rbcdddlm}m}tddd}tddd}t dt dD}|d}|j|z|z}t|| ||||idksJdS) Nr)Identitytracevrqror~cg|]}|dzSrora)rlr[s rcrz,test_issue_9817_simplify..s(((!A(((rbr) sympy.matrices.expressionsrirjr>r<rangeTrJ as_explicitxreplace)rirjrkr~rOX quadratics rctest_issue_9817_simplifyrus;:::::::S!QAS!QA((uQxx((())A Aa! I UU9002233==qAajII J Jb P P P P P Prbctd}t|ttdz|ttdzksJdS)NrOro)rrJr(r1rfs rctest_issue_13474rwsNs A AT!WW % & &!d477mm*; ; ; ; ; ; ;rbc Htd\}}tdGfddt}t||||ksJt|||ksJt||d|ksJt|t |dzt |dzzddksJt|||d|||ksJt tt |sJttt |tt |ksJtdtt d |zzdd |zksJttt|tt|ksJttt|d|ksJttt|d|ksJttt|dd|tdz ksJttt|dd d|tdz ksJdS) Nzx, yrYceZdZdfd ZdS))test_simplify_function_inverse..frocSrjra)selfargindexrYs rcinversez1test_simplify_function_inverse..f.inversesHrbNrm)rCrDrEr~)rYsrcrXrzs3        rbrXT)r~r^rorqrwFr) rr rJrCr0r/rr-r&r$rs @rctest_simplify_function_inversers 6??DAq AH AAaaddGG  !!A$$ ' ' ' ' !!AAaDD'' " "a ' ' ' ' AAaaddGGT * * *a / / / / AAaaA CFFAI-..// > > >! C C C C AAaa1ggJJ - - -11Q77 ; ; ; ; T3q66 " """" DQLL ! !T#a&&\\ 1 1 1 1 Ad3qs88nn$d 3 3 3qs : : : : CAKK CAKK / / / / CAKK . . .! 3 3 3 3 CAKK . . .! 3 3 3 3 CANND 1 1 1Qs1vvX = = = = CAE222D A A AQs1vvX M M M M M MrbcTddlm}|dtzdtzdzztdtzdzzdfksJ|dtzdtzdzzdz tdtzdzzt ddfksJ|dtzdtzdzzdz ttdtzdzztdz t ddzfksJ|t ddz t ddfksJ|dt dzdz t dt jfksJ|t dtdtdz fksJ|t jtt jtfksJ|t j tt j t fksJ|dt j dz z ttd tzdzfksJdS) Nrclear_coefficientsrprwrqr^ro r) sympy.simplify.simplifyrrPrOrr*rrr$Pirrs rctest_clear_coefficientsr#s::::::  ac1Q37m , ,AaC!Ga0@ @ @ @ @  ac1Q37ma/ 0 0Q!a[(1a..4Q Q Q Q Q  ac1Q37ma/ 3 31Q37 QrTHUVXYNNEZ7[ [ [ [ [  d1ggk * *tAwwl : : : :  aQi!m , ,a!&0A A A A A  addA & &1a!e* 4 4 4 4  aj! , ,Q ? ? ? ?  qteQ ' 'AD1": 5 5 5 5  a!$q&j! , ,RTAX > > > > > >rbc" ddlmddlm m ddlm ddlmtdd\}}}}td td }td }td }td }||||||||itdtdi fddfd }|||z|z|z|z|z|z||zdzz|z||zdz|zdz|||z||zdzz|z|zd||dz|z|z|z|z|z||zdzz|||zdzzd|||z|dzz|z|dzz|z|dzz|||dzzdzz|||z|dzz|z|dzz|z|dzz||z|zdz|dzz||dz|z|dzz|z|dzz|z|dzz|dz|z|dzzdz||dz|z|dzz|z|dzz|z|z|dz||dzzdzz|dzz|||z|z|z||z|zz|z|z|zz||zdz||z|zdzzz|||z|z|z|z|z|z|z|z|z||zdz|zdz||dz|dzz||zdzz||z||dz|z|dzz||dzz|zdz|dz|z|dzz|z|dzz|z|dzz|z|dzz||dzzdzz|z|dzz|z|dzz} tdD] } | ||zz} || |dz||dzzdzz||dzzdzz||zdzz|||z|z|zdz||z|z|zdzd|||z||zdzz||z||zdzz|dz|dz|dzz|dz|z|dzzz dzz|dzz} | d|z dzksJddzzddzzksJdS)Nr) nc_simplify)MatPowri)Pow)reduceza b c dFrurOr~rCDc ||zSrjrars rcrz"test_nc_simplify..<s acrbc ||zSrjrars rcrz"test_nc_simplify..<s AaCrbc6|vr|St|r+|jd|jdSt|ttfr(|jfd|jDS|zS)Nrroc&g|] }|Srara)rlrS _to_matrixs rcrz8test_nc_simplify.._to_matrix..Ds!+M+M+MaJJqMM+M+M+Mrb) isinstancerQrr func) rrirrrfuncsrsubstrOs rcrz$test_nc_simplify.._to_matrix>s 5==;  dC  $6**TYq\22DIaLAA A sCj ) ) $6% *+M+M+M+M49+M+M+MNN N # #rbTc|||ksJt|t|ksJ|r;|d}|||ksJdSdS)NdeepF) inv_expand)r doit)r simplifiedrmatrixm_simprrs rc_checkz test_nc_simplify.._checkHs{4d+++z9999d||vj111111  FZ ++00E0BBF;zz$//d;;;vEEEE F FEErbrqr^rsrort)rrprrrwr)TT)rrrnrri sympy.corer functoolsrrrr>rr ro)rSrTrUrVr~rrrrr_rirrrrrrrrOs @@@@@@@@@rctest_nc_simplifyr/s333333;;;;;;;;      %888JAq!Qs AS!QAS!QAS!QAS!QA 1aAq #E //3 9E$$$$$$$$$$$$FFFFFFF F1Q3q5719Q;q=!A# !! #qsQhqj1_555 F1Q3!by=?1 a    F1a46!8A:a<>1Q3) #Q!axZ>>>> F1Q3q!t8A:ad?1 QT !1a1fq[=111 F1Q3q!t8A:ad?1 QT !AaCEA:ad?333 F1a46!Q$;q=A a 1 $q!tAvad{Q&6777 F1a46!Q$;q=A a  !1a41a4! #3ArE#9::: F1Q3q57QqSU1WQYq[] "QqS1Hq!A#a%!|$;<<< F1Q3q5719Q;q=?1 Q !A#!a000 F1b5B;!ax 1%%% F1b571b5=1QU719r/*** a46!Q$;q=A a 1 $Q &q!t +Qq!tVaK 7 9!Q$ >q @A ED 2YY !  F4AqAvk!1QT6A+-qsRi7888 FAaCE!Ga**+>,:- - - - - - -rbc Tttdttz ztdtdtzt dt dzzz z zksJttt dzttdzzt dt dzdztdzt dt dzdzzdz ztdzdz zksJtdttdzzdtdtzt dt dzzz dzdz zksJdttdzdzz}t||ksJdS)Nror^rp)rJrOr,rrr&r*)rs rctest_issue_17141rsm ADGG $ % %QQqSQa[9I9I5I0I-J)K K K K K D!HHaKQ * + + q477{  Q Qs1tAww;'7'7':!:1!< .s!a!!AE1+++Qrb) rr6rJrr+rrr<r=rr$NaN)r[rrfrr\s @@rctest_simplify_kroneckerdeltars 5>>DAqA AAaGG  !Q ' ' ' ' AAaGG  !Q ' ' ' ' AAaGG  !Q ' ' ' ' AAaGGOOI..1a8 9 9Q > > > > AAaGGiBq!HH yAAA B Baa1ggPQPQRSUVPWPWFW W W W W AAaGGaa1gg% & &! + + + +sD!!!A AAaGGaa1gg% & &! + + + +q!>>>>>??A AqD>>Vaa1ggq!!Aq''1%=&'1a!QQq!WW%=&'AAaGGQ%7&'AqqAww%7%9:: : : : : CFF^Aq111"1a(() * *-3aSE]] ; ; ; ; AJ1!5!55"1a(() * *-.U 3 3 3 3 3 3rbcTtttttdzz dttz ksJtdttdzdz tdz z zdttdzzksJdS)Nr^ror)rJr_rOr"rarbrctest_issue_17292rs CFF3q!t99$ % %3q66 1 1 1 1 Ac1a4!8a!e,--- . .!CAJJ, > > > > > >rbctttdz dttd}t|ttdksJdS)Nr^rorq)r:rr\rJrs rctest_issue_19822rsJ r!A#qzz2a88 $ $D D>>R1XX % % % % % %rbc~tttdttd}t |t tdksJtt tdttd}t |t tdksJdS)Nrq)r:rrOrrJrrs rctest_issue_18645rs r!QxxAq " "D D>>R1XX % % % % r!QxxAq " "D D>>R1XX % % % % % %rbctdd}tdd}tt|d|zt|d|zdz }t |t jksJdS)Nr[Trr\r^ro)rr:rrrJrr)r[r\rs rctest_issue_18642rspsD!!!AsD!!!A r!QU||R1Q36]] + +D D>>QW $ $ $ $ $ $rbctdd}t|d|dkz}t|t|dksJdS)Nr\Trrro)rrrJr)r\rs rctest_issue_18389rsOsD!!!A a88qAv D D>>R1XX % % % % % %rbctdd}tt|dk|dktjksJdS)NrOTrro)rrJr;rr(rfs rctest_issue_8373rsGsA Bq1ua1f%% & &!& 0 0 0 0 0 0rbctttdttd}t|tjksJdS)Nror^)r:rrOrJrrrs rctest_issue_7950rs@ r!QxxAq " "D D>>QW $ $ $ $ $ $rbcdttzdz tz }t||ksJdSNr^)rrrrJrs rctest_issue_22020rs0 R462:D D>>T ! ! ! ! ! !rbcJtttttztksJttttdzzz}ttttdzz|ztdztttdztzzztzksJtdzttdzdzz}tttdzdz|ztdztdzttdzdzzzdzksJt d}ttt|tdzzz}ttt|tdzz|zttt|tdzzztz|tdzzksJdS)Nrqr^rorX)rJr#rOr"r )rWrXs rctest_issue_19484rs DGGc!ff$ % % * * * * DQTNNA CAqDMM!O $ $1qQTAX(>(B B B B B 1tAqD1H~~A C1qMMA% & &!Q$Ac!Q$(mm1C*Ca*G G G G G A DQQqTT1W  A CAAaDD!G $$q( ) )Qs1qqttQw;/?/?-?!-CaaddAg-M M M M M M Mrbctdd\}}}|||dz zz|d|z|zzdz ksJdS)Nzx y zFrur^)rrJrs rctest_issue_23543r sYg5111GAq! q1Q3wK ! ! # #q!A#'{1} 4 4 4 4 4 4rbc>dfdfd}td\}}tdd}t|t||t|dzz d }t |jt|d}|||zt|z||zt|dzzz |t|zz|t|dzzz td dzksJdS) NcRtdtz|z|tz |zzSr)r*rrrs rcrXztest_issue_11004..fs#AbDF||qsQh&&rbc>|||z |zz Srjra)r\rzrXs rcr{ztest_issue_11004..ms&!!A# ""rbc(||||zz Srjra)r\rzr{s rcrztest_issue_11004..psqAww!Q$rbzN kz0.5rproTrgg?)rrr&r\r rJr)rNrzhalfrQrrXr{s @@rctest_issue_11004rsN'''#####      5>>DAq ??D AAaGGaa1q5kk !"")))55A1""##A  Qs1vv q&QU   s1vv+  s1q5zz/   1          rbctd}|tdzz dksJdS)Nzx**2r^r)r@rJrO) polynomials rctest_issue_19161r(sDf&&((J q!tO % % ' '1 , , , , , ,rbctdd}dtttt|fz}||ksJdS)NrVTrr^)rr r0rOrJ)rVrs rctest_issue_22210r-sQsD!!!A ZAA ' ' 'D ==??d " " " " " "rbctdd\}}tdd}td|z||zzd|z||zzksJt||z||zz||z||zzksJtdd\}}t||z|z||z||zzksJt||z||zzt||z|zksJdS)Nzx yTruZFr^r)rrJr )rOrPrs rctest_reduce_inverses_nc_powr3s  5d + + +DAq'''A AqD1a4K AqD1a4K / / / / AqD1a4K AqD1a4K / / / / 54 ( ( (DAq 1Q3(  q!tad{ * * * * AqD1a4K FAaC!8$4$4 4 4 4 4 4 4rbctdd}dttdz z|z|ksJdttdz z|z|ksJdS)NrsFrur^rqr)rr/rrJ)rss rctest_nc_recursion_coeffr<sz5)))A BqD MA  ' ' ) )Q . . . . #bd))Oa  ) ) + +q 0 0 0 0 0 0rbN)sympy.concrete.summationsrsympy.core.addrsympy.core.basicrsympy.core.exprrsympy.core.functionrrr r r r sympy.core.mulr rrrrbrrrrrrrsympy.core.relationalrrrrrsympy.core.singletonrsympy.core.symbolrrsympy.core.sympifyr(sympy.functions.combinatorial.factorialsr r!$sympy.functions.elementary.complexesr"r#&sympy.functions.elementary.exponentialr$r%r&%sympy.functions.elementary.hyperbolicr'r(r)(sympy.functions.elementary.miscellaneousr*$sympy.functions.elementary.piecewiser+(sympy.functions.elementary.trigonometricr,r-r.r/r0r1r2'sympy.functions.special.error_functionsr3'sympy.functions.special.gamma_functionsr4sympy.functions.special.hyperr5(sympy.functions.special.tensor_functionsr6sympy.geometry.polygonr7sympy.integrals.integralsr8r9sympy.logic.boolalgr:r;sympy.matrices.denser<r="sympy.matrices.expressions.matexprr>rcr?r@rrArBrCrDrErFrGrHrIrJsympy.solvers.solversrKsympy.testing.pytestrLrMrNrYrOrPrQrRrSrTrUrVrWrXrYrZr[r\rdrgrrrrrrrrrrrrrrrrrrrrrrrrrr&r)r4r<rFrLrNrTrZr^rdrgrurwrrrrrrrrrrrrrrrrrrrrrrrrrrarbrcrsW))))))""""""%%%%%%cccccccccccccccc++++++++""""""CCCCCCCCCCCCCCCCCC66666666666666""""""////////&&&&&&JJJJJJJJ<<<<<<<<HHHHHHHHHHDDDDDDDDDD999999::::::\\\\\\\\\\\\\\\\\\777777999999//////CCCCCC&&&&&&;;;;;;;;))))))))........;;;;;;00000000VVVVVVVVVVVVVVVVVVVVVVVV'''''';;;;;;;;;;>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>&&& HHH^0^0^0B 8 8 8***(%%% . . . J J J===%%% 000 %%%555">6>6>6B " " "444.AaAaAaH$$$ 2 2 2<<<':':':T+++ : : :F888 ((()6)6)6XMMM"z"z"zH,,,... ###777+++> Q Q Q<<< NNN4 ? ? ?4)4)4)l777<<< &&&>(((--- 333:??? &&& &&&%%%&&& 111 %%% """ N N N555 0--- ### 55511111rb