g?:dZddlmZmZddlmZmZmZmZm Z m Z m Z m Z m Z mZmZmZmZmZmZmZddlmZddlmZddlmZddlmZddlmZdd l m!Z!dd l"m#Z#m$Z$m%Z%ed \Z&Z'Z(Z)Z*d Z+d Z,dZ-dZ.dZ/dZ0dZ1dZ2dZ3dZ4dZ5dZ6dZ7dZ8dZ9dS)z?Most of these tests come from the examples in Bronstein's book.)DifferentialExtension derivation)prde_normal_denomprde_special_denomprde_linear_constraintsconstant_system prde_spdeprde_no_cancel_b_largeprde_no_cancel_b_smalllimited_integrate_reducelimited_integrate is_deriv_kis_log_deriv_k_t_radicalparametric_log_deriv_heu!is_log_deriv_k_t_radical_in_fieldparam_poly_rischDE param_rischDEprde_cancel_liouvillian) PolyMatrix)Rational)S)symbols)QQ)Poly)xtnzt:4 kc tdtdttdtdzztgi}tdt}ttt}ttttdtdzztftdtttttdzzztfg}t ||||tttdtdtdtdtdftttztdttdzdztdftdtdttdzdztdfgtdtdfksJtttttdzdtzzdztftttztttdzdtzzdztftttdzztttdzdtzzdztfg}tdtdttttgi}t ttttdt||ttdzttdtztztzttdtdfttttdtftttzttdtdftttdzzttdtdfgttdztfksJdS) ND extensionZZ(x)domainZZ[x])rrrrr)DEfafdGs [/var/www/html/ai-engine/env/lib/python3.11/site-packages/sympy/integrals/tests/test_prde.pytest_prde_normal_denomr.sL #Q DQT11-- .ac1 QTAaCZ!^Q1!#'!Q$??DA!a4K4K"L NA #Q DAJJ/G)H I I IB T!QZZaQ ; ; a!eQ$QzA~q1141W3M3M3MNRVWXZ[R\R\ Q R1Q3llDAg$>$>$>?$qAvq// Q'"""B$Q%&*1q5!nn 6 6 6 6 6 6 6c ttdzt}ttdzt}tdt}ttttdtfttdzttdtfttdzttdtfg}tdtdttttgi}t |||||ttdztttdztttttdtfttdzttdtfttdzttdtfgtdtfksJttttdtftdttttfg}t tdtttdzttdt||tdtttdzdz tttdzttdtftdttdtfgtttfksJtdtdttdtzt zt gi}|tttttdztftdtzttttfg}t tdtztzdztttdzdtdzztzztttdzdzt||tdtztzdzttdtd tttttdztftdtzttttfgtdtfksJtdtdtttdzdzdztztgi}tttzttttztftdtztttdztfg}t tdtztzdztttdzdtdzztzztttdzt||tdtztzdzttdtd tttzttttztftdtzttttdzttfgtdtfksJt ttdztttdztttdzt||ttdzttdtd tttzttttztftdtzttttdzttfgtdtfksJdS) Nr r!rr"rr(r%)rrrrrt0decrement_level)ababdr,r)s r-test_prde_special_denomr9)s QUAA adAB aB q!**d1ajj !DAqMM41::#>adAPTUVXYPZPZ@[\A #Q DAJJ/G)H I I IB aRB / / a!eQadA$q!**d1ajj)A adAQ #d1a4mmT!QZZ%@)BCG1:: O O O O O q!**d1ajj !DAJJQ #;>4PQRSPSUV<<:X ac1a$q!tQ**+:-.21ajj : : : : : d1q5!nnd1a4mmT!Q$]]Ar R R a!eQa7333tAE1~~tAaCQR||6TW[\]^_\_abdeWfWf QT1aW6 AJJ ( ( ( ( ( ( (r/ctdtdtgi}tdtdzzdtzzdztttdzdz tftdtttdz tftdtttdztfg}ttdttdt||tdtztdtdtdtdtdft gd gd gtfksJtt t tdt ftt dzt tdt ftt dzt tdt fg}tdtdttt t gi}ttt dzt tt dzt ||tt t dtt dzt dtt dzt dft ddgt fksJtdtzt tt t ftt t tt t fg}tdtdttdtz t gi}ttdt tdt ||tdt d tdt d ft dtzt ggt fksJdS) Nrr r"r!r1rrr%)r r r')r3r r QQ[x])rrrrMatrixrr)r,s r-test_prde_linear_constraintsr>Fs3 #Q |)< = = =B qAv!|a # #T!Q$(A%6%6 7$q!**d1q5RSnn9U aT!a%^^$ &A "41::tAqzz1b A A qsAd # # #T!Qt%<%<%U>U>U V JJJ *A . . 0 0 0 0 0 q!**d1ajj !DAqMM41::#>adAPTUVXYPZPZ@[\A #Q DAJJ/G)H I I IB "4Aq>>41a==!R H H q!D ! ! !41a#=#=#=tAqD!TX?Y?Y?Y Z 1aQ   ! ! ! ! ! qsA,,Q #dA2qkk41::%>?A #Q D1aLL/I)J K K KB "41::tAqzz1b A A q!G $ $ $d1a&@&@&@ A6AaCRSQS9+WXCYCYZ [ [ [ [ [ [r/c~ttdz tdz z tdztdz z dgt dz tdztdz gdtdzztdz z ddggt}ttdztdz z gtdzgdggt}tdt dtgi}t jtt}t|||tgdgdgd gd g| tgd | fksJdS) Nr1r r!rrr")r rr)rr r)rrr)rrr ring)rr rr)r<rrrrr frac_fieldr)Aur)Rs r-test_constant_systemrFXsX1q51q5!AEAE?A6aQA&AEAE"Aq)+,- / /A !a%!a%!AE7QC0!44A #Q |)< = = =B aA 1a $ $ #$ % % %'-\\\&B&B&B D D D D D D Dr/c ttttt tztg}tdtdttdtz tgi}t ttttdtz t|t |ttttdtdtdtztdtt tdgttdz tdtdtdgt dz fksJdS) Nrr r"r'rr$r%r!)rrrrr r)rr)s r-test_prde_spderHfs aT1"Q$]]#A #Q D1aLL/I)J K K KB T!QZZbdA1b 9 9 aT!Qw/// ac1W % % %tQB''B'B'BC q!teQw ' ' 'a7)C)C)CDa!e M M M M M M Mr/c tdtdtgi}ttdtttdzttdtgd|ttdzdtzz dzttdtgt gdgdgtfksJttdtttdzttdtgd|ttdzdtdzzz dtzzdz ttdtgt gdgdgtfksJttttttdzttdtgd|tttd td td gt gd gdgdgtfksJtdtdttt dzdzt gi}tt dzt ttt d zzt tt dzt ttt dzzt tdtzt g}t jtt }tttt zt |d|tt dzdz tdz t dzzz tdzdz t dzzztddtdzdz z t zztdz zt ttdz t dzztdzdz t dzzz tddtdzdz zt zztdz z t tt t td t td t gt gdd dtddd d d d d d d g gdgdgdgdgdgdgdgdg |fksJtdtdttdt dzzt gi}tdtdzz t d}dtdD}t||d|\}}| }t jtt }t|dksJ|d t tddd d dd d gdz|ksJt |g|d ddddfzd ttdzdz t d ksJt |g|d ddddfzd tttjz t d ksJdS)!Nrr r"r!)r rr'r)rr rr'r1ZZr%r)r r'rrr3 ir') r rr'rrrrrrr) rrrrrrrrrr) rrrr rrrrrr) rrrrr rrrrr) r rrrrr'rrrr) rr rrrrr'rrr) rrr rrrrr'rr) rrrr rrrrr'r) rrrrr rrrrr'r@Tfieldcg|]>}tdD],}tt|zt|zztd-?S)r1TrO)rangerrr).0ijs r- z'test_prde_no_cancel..sFLLLA588LLaad1a4i$ ' ' 'LLLLr/QQ(x))rrrr r<rrrBr rrR nullspacelenrHalf)r)r,rEbqhrCVs r-test_prde_no_cancelr_ps #Q |)< = = =B !$q!**tAqD!}}d1ajj.I1b Q Q q!taczA~q ! !41:: . 8E 8GHI1K1K L L L L L "$q!**tAqD!}}d1ajj.I1b Q Q q!ta1f}qs"Q& * *DAJJ 7ANAPQR:T:T U U U U U "$q!**tAqD!}}d1ajj.I1b Q Q q!D ! ! !41T#:#:#: ;V___DSOODSOOEUVW>Y>Y Z Z Z Z Z #Q DA1>>> A3KK!SbS!!!V $$q!G2L2L2L1M0N)O)O O O O O #Q D!QKK/H)I J J JB "41W#=#=#=QRY@Z@Z@Z?[]^`b c c1a%%%tAq'A'A'A BFJJJ.5555RAA (555r/r)r'r rr'r rr$r%rr3cxg|]7}|d|dz 8Srnrorqs r-rVz&test_param_rischDE..rsr/)rrrrr rrrL) rrrrrYrXr<rdiff) r)rdpxr,r]rCrjr^ys r-test_param_rischDErxs #Q |)< = = =B !Qd # # #T!Qd%;%;%;B bB8b"X&A "d1a4$777B ? ?DAq q66Q;;;;551555A A q66Q;;;; Q46...55 5 5 5 5 1! q1vA 66!99qAv QqS ( ( ( ( #Q DAJJ/G)H I I IB q1ua ( ( ($q!D*A*A*A BT!QW[E\E\E\^bcdfgpt^u^u^uDvwA qb1fat444d1q5!46P6P6PRSUW X XDAq q66Q;;;;551555A A q66Q;;;; Q46///66 6 6 6 6 !A$1Q4!AaD& 1QqT6)AadF2A 66!99q!a%y A % % % % % %r/c tdtdttdtz tgi}t tttttdztttttttfg|ttttdtz ttttdttttdtdftt tzttdtdfgfksJdS)Nrr r"r!r'r(r%)rrrrr r)s r-test_limited_integrate_reducer{s #Q D1aLL/I)J K K KB #DAJJQT1 aAJJA@   aT"Q$]]DAJJDAJJQRY@Z@Z@Z3[ r!tQ--a7333 45 7 7 7 7 7 7 7r/ctdtdtgi}tttttdztfg}ttdtzdtdzzzdtdzzz ttdtz tdzz tdzzt||ttdztz dztttdz tdfdgfksJtdttttfg}ttdtdzzttdt||tdtdzzd z ttdtdfd gfksJdS) Nrr r"r3r!r1rr% r)rrrr r=s r-test_limited_integrater~s #Q |)< = = =B q!**d1q5!nn %&A TAEAadFNQq!tV$;" > q'B7 R"Wa( ) ) ) ) Q D1bMM4PRTV<s #Q D1aLL/I)J K K KB #D1a4!a$;$;T!A#ad(A=N=NQKKa1fa" & & AqAv      r/N):__doc__sympy.integrals.rischrrsympy.integrals.prderrrrr r r r r rrrrrrrsympy.polys.polymatrixrr<sympy.core.numbersrsympy.core.singletonrsympy.core.symbolr!sympy.polys.domains.rationalfieldrsympy.polys.polytoolsr sympy.abcrrrr4rrt3kr.r9r>rFrHr_rgrkrxr{r~rrrrr/r-rs~EECCCCCCCC877777''''''""""""%%%%%%000000&&&&&&GG$$BB666&(((:[[[$ D D DMMM-O-O-O````.MMM0&&&6777<<<+++"FFF:&r/