sg?2dZddlmZmZddlmZmZmZmZm 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/dZ0dZ1dZ2dZ3dZ4dZ5dZ6dZ7dZ8dZ9y)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 ||||tttdtdtdtdtdftttztdttdzdztdftdtdttdzdztdfgtdtdfk(sJtttttdzdtzzdztftttztttdzdtzzdztftttdzztttdzdtzzdztfg}tdtdttttgi}t ttttdt||ttdzttdtztztzttdtdfttttdtftttzttdtdftttdzzttdtdfgttdztfk(sJy) ND extensionZZ(x)domainZZ[x])rrrrr)DEfafdGs R/var/www/html/venv/lib/python3.12/site-packages/sympy/integrals/tests/test_prde.pytest_prde_normal_denomr.s #Q DQT11- .ac1 QTAaCZ!^Q1!#'!Q$?DA!a4K"L NA #Q DAJ/G)H IB T!QZaQ ; a!eQ$QzA~q141W3MNRVWXZ[R\ Q R1Q3lDAg$>?$qAvq/ Q'"B$Q%&*1q5!n 6 66 6c ttdzt}ttdzt}tdt}ttttdtfttdzttdtfttdzttdtfg}tdtdttttgi}t |||||ttdztttdztttttdtfttdzttdtfttdzttdtfgtdtfk(sJttttdtftdttttfg}t tdtttdzttdt||tdtttdzdz tttdzttdtftdttdtfgtttfk(sJtdtdttdtzt zt gi}|j tttttdztftdtzttttfg}t tdtztzdztttdzdtdzztzztttdzdzt||tdtztzdzttdtd tttttdztftdtzttttfgtdtfk(sJtdtdtttdzdzdztztgi}tttzttttztftdtztttdztfg}t tdtztzdztttdzdtdzztzztttdzt||tdtztzdzttdtd tttzttttztftdtzttttdzttfgtdtfk(sJt ttdztttdztttdzt||ttdzttdtd tttzttttztftdtzttttdzttfgtdtfk(sJy) Nr r!rr"rr(r%)rrrrrt0decrement_level)ababdr,r)s r-test_prde_special_denomr9)s QUAA adAB aB q!*d1aj !DAqM41:#>adAPTUVXYPZ@[\A #Q DAJ/G)H IB aRB / a!eQadA$q!*d1aj)A adAQ #d1a4mT!QZ%@)BCG1: O OO O q!*d1aj !DAJQ #;4PQRSPSUV<:X ac1a$q!tQ*+:-.21aj : :: : d1q5!nd1a4mT!Q$]Ar R a!eQa73tAE1~tAaCQR|6TW[\]^_\_abdeWf QT1aW6 AJ ( (( (r/ctdtdtgi}tdtdzzdtzzdztttdzdz tftdtttdz tftdtttdztfg}ttdttdt||tdtztdtdtdtdtdft gd gd gtfk(sJtt t tdt ftt dzt tdt ftt dzt tdt fg}tdtdttt t gi}ttt dzt tt dzt ||tt t dtt dzt dtt dzt dft ddgt fk(sJtdtzt tt t ftt t tt t fg}tdtdttdtz t gi}ttdt tdt ||tdt d tdt d ft dtzt ggt fk(sJy) Nrr r"r!r1rrr%)r r r')r3r r QQ[x])rrrrMatrixrr)r,s r-test_prde_linear_constraintsr>Fs #Q |)< =B qAv!|a #T!Q$(A%6 7$q!*d1q5RSn9U aT!a%^$ &A "41:tAqz1b A qsAd #T!Qt%U V J *A . 0 00 0 q!*d1aj !DAqM41:#>adAPTUVXYPZ@[\A #Q DAJ/G)H IB "4Aq>41a=!R H q!D !41a#=tAqD!TX?Y Z 1aQ  ! !! ! qsA,Q #dA2qk41:%>?A #Q D1aL/I)J KB "41:tAqz1b A q!G $d1a&@ A6AaCRSQS9+WXCYZ [[ [r/cttdz tdz z tdztdz z dgt dz tdztdz gdtdzztdz z ddggt}ttdztdz z gtdzgdggt}tdt dtgi}t j tt}t|||tgdgdgd gd g| tgd | fk(sJy) Nr1r r!rrr")r rr)rr r)rrr)rrr ring)rr rr)r<rrrrr frac_fieldr)Aur)Rs r-test_constant_systemrFXs1q51q5!AEAE?A6aQA&AEAE"Aq)+,- /A !a%!a%!AE7QC0!4A #Q |)< =B aA 1a $ #$ %'-\&B D DD Dr/c Tttttt tztg}tdtdttdtz tgi}t ttttdtz t|t |ttttdtdtdtztdtt tdgttdz tdtdtdgt dz fk(sJy) Nrr r"r'rr$r%r!)rrrrr r)rr)s r-test_prde_spderHfs aT1"Q$]#A #Q D1aL/I)J KB T!QZbdA1b 9 aT!Qw/ ac1W %tQB''BC q!teQw 'a7)CDa!e M MM Mr/cb tdtdtgi}ttdtttdzttdtgd|ttdzdtzz dzttdtgt gdgdgtfk(sJttdtttdzttdtgd|ttdzdtdzzz dtzzdz ttdtgt gdgdgtfk(sJttttttdzttdtgd|tttd td td gt gd gdgdgtfk(sJtdtdttt 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 |fk(sJtdtdttdt dzzt gi}tdtdzz t d}tdDcgc]5}tdD]%}tt|zt |zzt d'7}}}t||d|\}}|j} t jtt }t| dk(sJ| d t tddd d dd d gdz|k(sJt |g| d ddddfzd ttdzdz t d k(sJt |g| d ddddfzd tttjz t d k(sJycc}}w) 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@TfieldQQ(x))rrrr r<rrrBr rrange nullspacelenrHalf) r)r,rEbijqhrCVs r-test_prde_no_cancelr\ps #Q |)< =B !$q!*tAqD!}d1aj.I1b Q q!taczA~q !41: . 8E8GHI1K L LL L "$q!*tAqD!}d1aj.I1b Q q!ta1f}qs"Q& *DAJ 7ANAPQR:T U UU U "$q!*tAqD!}d1aj.I1b Q q!D !41T#: ;V_DSDSEUVW>Y Z ZZ Z #Q DA1> A3K!SbS!V $$q!G2L1M0N)O OO O #Q D!QK/H)I JB "41W#=QRY@Z?[]^`b c1a%tAq'A BFJ q'B7 R"Wa( )) ) Q D1bM4PRTVs #Q D1aL/I)J KB #D1a4!a$;T!A#ad(A=NQKa1fa" & 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.abcrrrr4r|r}t3kr.r9r>rFrHr\rdrhrorrrur~rrrr/r-rsEC8'"%0&G$BB6&(:[$ DM-O``.M0&67<+"F:&r/