g}=@ddlmZddlmZddlmZmZddlmZm Z ddl m Z ddl m Z ddlmZddlmZdd lmZdd lmZmZdd lmZmZmZdd lmZmZe d \ZZZ dZ!dZ"dZ#dZ$edZ%dZ&dZ'dZ(dZ)dZ*dZ+dZ,dZ-dZ.dZ/dZ0dZ1dZ2d Z3y!)")Q)assuming)Ipi)EqGt)S)symbols)Abs)Implies) MatrixSymbol)CNFLiteral)sataskextract_predargsget_relevant_clsfacts)raisesXFAILzx y zcttjttjtdusJttjttjtdusJttjtJttjttjtdusJttjttjtJttjttjtJttjttjtdusJt t dttjt5ttjtdusJttjtdusJt t ddddttjttjtdusJttjttjtdusJttjttjtdusJttjttjttzJttjttztjtsJy#1swYKxYw)NTFcttjttjttjtzSN)rrrealxX/var/www/openai/venv/lib/python3.12/site-packages/sympy/assumptions/tests/test_satask.pyztest_satask..s*vaffQiaffQiZ1GHrcxttjttjtSr)rrrrpositiverrrrztest_satask..$s6!&&)ajjm^#Dr) rrrrrr ValueErrorrzerononzeroyrrr test_sataskr$s# !&&)QVVAY '4 // / !&&)affQiZ (E 11 1 !&&)  $$ $ !&&)QZZ] +t 33 3 !**Q- + 33 3 !&&)ajjm^ , 44 4 !**Q-!&&) , 55 5 :HI !**Q- affQi D(((qzz!}n%...zDE ! !&&)QYYq\ *e 33 3 !**Q- +u 44 4 !&&)QVVAY '4 // / !&&)QVVAaC[ ) 11 1 !&&1+qvvay )) ) ! s AM33M=c \ttjttjtztjttzdusJttjttztjttjtzdusJtt tjttjttzdusJttjttjtztj ttzdusJttjttjtdzdusJy)z Everything in this test doesn't work with the ask handlers, and most things would be very difficult or impossible to make work under that model. TFN)rrr!rr#r r"rrr test_zeror'-s !&&)affQi'! 5 == = !&&1+qvvay166!94 5 == = '!&&)QVVAaC[1 2d :: : !&&)affQi'1Q3 8E AA A !&&)QVVAqD\ *d 22 2rcdttjttztj ttj tzdusJttj ttj tztjttzdusJttj ttztj ttj tzdusJttj ttj tztj ttzJttjtttzztj ttj tzdusJttj ttztzdztj ttj tzdusJttj ttztzdz tj ttj tzJy)NFT)rrr!rr#rr"rrrrtest_zero_positiver+Bs !&&Q-AA!> ?5 HH H !**Q-!**Q-/A ?5 HH H !))AE"AJJqMAJJqM$A Bd JJ J !**Q-!**Q-/1q51A B JJ J !&&AE#QZZ]QZZ]%B Cu LL L !**RT!VaZ(!**Q-!**Q-*G HD PP P !**RT!VaZ(!**Q-!**Q-*G H PP Prcttjttztjttj tzdusJttjttztj ttjtzdusJttjttjttzdusJttjttztjtJyNTF)rrr!rr#rr"rrr test_zero_powr.Os !&&A,q AJJqM 9 :d BB B !&&A, ! qvvay 8 9U BB B !&&)QVVAqD\ *d 22 2 !&&A,q * 22 2rctddd}tddd}ttj||ztj|tj|zdusJttj|tj||zdusJttj|tj|ztj||zdusJy)NAr*BT)r rr invertible)r0r1s rtest_invertibler3Xs S!QAS!QA !,,qs#Q\\!_q||A%F G4 OO O !,,q/1<<!#4 5 == = !,,q/ALLO3Q\\!A#5F G4 OO OrcHttjddusJttjddusJttjddusJttjttztj ttj tzJttjttztjttjtzdusJy)Nr*TF)rrprimerr#integerrrr test_primer9bs !''!*  %% % !''!*  && & !''"+ % '' ' !''!A#, ! qyy| ; < DD D !''!A#, QWWQZ 7 8E AA Arc\ttjddusJttjddusJttjddusJttjtdusJttjtdusJttj ddusJttj ddusJttj ddusJttj tdusJttj tdusJttj ddusJttj ddusJttj ddusJttj tdusJttj tdusJttjddusJttjddusJttjddusJttjtdusJttjtdusJttjddusJttjddusJttjddusJttjtdusJttjtdusJttjddusJttjddusJttjddusJttjtdusJttjtdusJy)Nr)TFr) rrrrrnegativer!r" nonpositive nonnegativerrrtest_old_assumpr?ks6 !**Q- D (( ( !**R. !U ** * !**Q- E )) ) !**Q- E )) ) !**R. !T )) ) !**Q- E )) ) !**R. !T )) ) !**Q- E )) ) !**Q- E )) ) !**R. !U ** * !&&)  %% % !&&*  && & !&&)  $$ $ !&&)  %% % !&&*  && & !))A, 4 '' ' !))B- D (( ( !))A, 5 (( ( !))A, 5 (( ( !))B- D (( ( !--" #u ,, , !--# $ ,, , !--" #t ++ + !--" #u ,, , !--# $ -- - !--" #t ++ + !--# $ -- - !--" #t ++ + !--" #u ,, , !--# $ ,, ,rcP ttjddusJttjddusJttjtdusJttjtdusJttjt dusJttjt dusJttjt tztztjt tjtztjtz Jttjt tztztjt tjtztjtzdusJttjtt ztztjt tjtzdusJttjt tztztjt tjtztjtz Jttjt tztztjt tjtztjtzdusJttjtt ztztjt tjtzdusJttjt tztztjt tjtztjtzdusJttjt tztztjt tjtztjtzdusJttjt tztztjt tjtztjtzdusJttjt tztztjt tjtztjtzdusJy)Nr&FT) rr irrationalrationalrrrr#zrrrtest_rational_irrationalrDs !,,q/ "e ++ + !**Q- D (( ( !,,r" #t ++ + !**R. !U ** * !,,q/ "e ++ + !**Q- E )) ) !,,qs1u%q||Aa'H 1 (    !,,qs1u%q||AA'F 1 (    !,,r!tAv& 1  1 (E F$ NN N !,,q1uqy)1<<?Q\\!_+L 1 ,    !,,q1uqy)1<<?QZZ]+J 1 ,    !,,rAvz*AJJqMAJJqM,I Jd RR R !,,qs1u%qzz!}qzz!}'D 1 (    !**QqSU#QZZ]QZZ]%B 1 &    !,,q1uqy)1::a=1::a=+H 1 ,    !**QUQY'AA)F 1 *   rc(ttjddusJttjddusJttjttztjttj tzdusJttjttztjttj tzdusJttjttztjttjtzdusJttjttztj ttj tzdusJttjttztjtJttjttztj ttj tzJttjttztj ttj tzdusJttjtttjtdusJttjtttj tdusJttjttjttJy)Nr&TF)rrevenrr#oddr8absrrrtest_even_sataskrJs !&&)  $$ $ !&&)  %% % !&&1+qvvay15583 4 << < !&&1+qvvay199Q<7 8D @@ @ !&&1+qvvay166!94 5 == = !&&1+quuQx!%%(2 3u << < !&&1+qvvay ) 11 1 !&&1+quuQx!))A,6 7 ?? ? !&&1+quuQx!%%(2 3u << < !&&Q.!&&) , 44 4 !&&Q.!%%( +u 44 4 !&&)QVVCF^ , 44 4rc(ttjddusJttjddusJttjttztj ttjtzdusJttjttztj ttj tzdusJttjttztj ttj tzdusJttjttztjttjtzdusJttjttztj tJttjttztjttj tzJttjttztjttjtzdusJttjtttj tdusJttjtttjtdusJttjttjttJy)Nr&FrFT)rrrHrr#rGr8rIrrrtest_odd_sataskrLs !%%( u $$ $ !%%( t ## # !%%!*affQi!%%(2 3u << < !%%!*affQi!))A,6 75 @@ @ !%%!*affQi!&&)3 4 == = !%%!*aeeAhq1 2d :: : !%%!*affQi ( 00 0 !%%!*aeeAh15 6 >> > !%%!*aeeAhq1 2d :: : !%%A- +u 44 4 !%%A-q *d 22 2 !%%(AEE#a&M * 22 2rc ttjddusJttjtjdusJttjt t ztjt tjt zdusJttjt t ztjt Jttjt t ztjt tjt zdusJttjt t ztztjt tjt ztjtzdusJttjt t ztztjt tjt ztjtz Jttjt t ztztjt tjt zJttjt t ztjt tjt zdusJttjt t ztjt tjt zdusJttjt t ztjt Jttjt t ztjt tjt zJttjt t ztjt tjt zdusJttjt t ztztjt tjt ztjtzdusJttjt t ztztjt tjt ztjtz Jttjt t ztztjt tjt zJttjt t ztjt tjt zdusJy)Nr)TF) rrr8r Halfrr#rCrArBrrr test_integerrOs !))A, 4 '' ' !))AFF# $ -- - !))AE"AIIaL199Q<$? @D HH H !))AE"AIIaL 1 99 9 !))AE"AIIaLAIIaL=$@ AU JJ J !))AEAI& ! qyy|(C 1 )    !))AEAI& !  ! }(D 1 )    !))AEAI& !  ! }(D E MM M !))AE"AIIaL1<<?$B Cu LL L !))AaC.!))A,1"= >$ FF F !))AaC.!))A, / 77 7 !))AaC.!))A,!))A,"> ? GG G !))AaC.!))A,!**Q-"? @E II I !))AaCE"AIIaL199Q<$? A%   !! ! !))AaCE"AIIaLAJJqM>$A A%    !))AaCE"AIIaLAJJqM>$A B JJ J !))AaC.!))A,a"@ AU JJ Jrc*ttjttdusJttj tttj tdusJttj ttj ttdusJttj ttj ttdusJttjttj ttJttj tttj tdusJyr-)rrr>rIrrr!r"rrrtest_absrQs !--A' (D 00 0 !**SV$qvvayj 1T 99 9 !&&)affSVn_ - 66 6 !&&)QVVCF^ , 44 4 !))A,A 0 88 8 !&&Q.!&&) , 44 4rcttjdtzdusJttjtt ztjtJttjtt ztjttj t zdusJttjttj tdusJttjddusJttjtt ztj ttj t zdusJttjtt ztj ttj t zdusJy)Nr&TFr))rr imaginaryrrr#rrrrtest_imaginaryrTs/ !++ac" #t ++ + !++ac"AKKN 3 ;; ; !++ac"AKKNQVVAY$> ?4 GG G !++a.!&&) , 55 5 !++a. !U ** * !++ac"AFF1Iq $9 :e CC C !++a!e$affQi!&&)&; < EE ErcttjttztjttjtzdusJttjttztjttjtzdusJttjttzt ztjttjtztjt zdusJttjttzt ztjttjtzJttjttzt ztjttjtztj t zdusJttjttzt ztjttjtztjt zdusJttjttzt ztjttjtzJyr-)rrrrr#rCrSrrr test_realrVs !&&1+qvvay166!94 5 == = !&&Q-QVVAY!6 74 ?? ? !&&1Q-QVVAY!6!B Ct KK K !&&1Q-QVVAY!6 7 ?? ? !&&1Q-QVVAY!6Q!G HE QQ Q !&&Q#QVVAY%:QVVAY%F G4 OO O !&&Q#QVVAY%: ; CC CrcttjttjtdusJttjttjtdusJttjtt ztjttjt zdusJttjtt ztjttjt zdusJttjtt ztjttjt zdusJttjtt ztjttjt zdusJyr-)rrrrr<r#rrr test_pos_negrX s, 1::a=.!**Q- 0D 88 8 1::a=.!**Q- 0D 88 8 !**QU#QZZ]QZZ]%B Ct KK K !**QU#QZZ]QZZ]%B Ct KK K !**QU#QZZ]QZZ]%B Cu LL L !**QU#QZZ]QZZ]%B Cu LL LrcttjtdztjtdusJttj tdztjtdusJttjtdztjtdusJttj tdztjtdusJttjtdztjtdusJttjtdztj tdusJttj tdztj tdusJttjtdztj tdusJttj tdztj tdusJttjtdztj tdusJttjtdztjtdusJttj tdztjtJttjtdztjtJttj tdztjtdusJttjtdztjtdusJttjtdztj tdusJttj tdztj tJttjtdztj tJttj tdztj tdusJttjtdztj tdusJttjtdztjtdusJttj tdztjtdusJttjtdztjtdusJttj tdztjtdusJttjtdztjtdusJttjtdztj tdusJttj tdztj tdusJttjtdztj tdusJttj tdztj tdusJttjtdztj tdusJttjtdztjtdusJttj tdztjtJttjtdztjtJttj tdztjtdusJttjtdztjtdusJttjtdztj tJttj tdztj tdusJttjtdztj tdusJttj tdztj tJttjtdztj tdusJttjtdztj tJttj tdztj tJttjtdztj tJttj tdztj tJttjtdztj tJy)Nr&TFrF)rrr>rrr=r<rrrrtest_pow_pos_negr[s\ !--1%qzz!} 5 == = !--1%qzz!} 5 >> > !**QT"AJJqM 2d :: : !**QT"AJJqM 2e ;; ; !&&A, 1 .$ 66 6 !--1%qzz!} 5 == = !--1%qzz!} 5 >> > !**QT"AJJqM 2d :: : !**QT"AJJqM 2e ;; ; !&&A, 1 .$ 66 6 !--1%q}}Q'7 8D @@ @ !--1%q}}Q'7 8 @@ @ !**QT"AMM!$4 5 == = !**QT"AMM!$4 5 >> > !&&A, a 0 1T 99 9 !--1%q}}Q'7 8D @@ @ !--1%q}}Q'7 8 @@ @ !**QT"AMM!$4 5 == = !**QT"AMM!$4 5 >> > !&&A, a 0 1T 99 9 !--1%qzz!} 5 == = !--1%qzz!} 5 >> > !**QT"AJJqM 2d :: : !**QT"AJJqM 2e ;; ; !&&A, 1 .$ 66 6 !--1%qzz!} 5 >> > !--1%qzz!} 5 == = !**QT"AJJqM 2e ;; ; !**QT"AJJqM 2d :: : !&&A, 1 .$ 66 6 !--1%q}}Q'7 8D @@ @ !--1%q}}Q'7 8 @@ @ !**QT"AMM!$4 5 == = !**QT"AMM!$4 5 >> > !&&A, a 0 1T 99 9 !--1%q}}Q'7 8 @@ @ !--1%q}}Q'7 8D @@ @ !**QT"AMM!$4 5 >> > !**QT"AMM!$4 5 == = !&&A, a 0 1T 99 9 !--2& a(8 9 AA A !--2& a(8 9 AA A !**QU#Q]]1%5 6 >> > !**QU#Q]]1%5 6 >> > !&&B-q!1 2 :: :rcttjttjtdusJttjttjtdusJttjttjtJttjttjtJttjttj ttj tztjtzJttjddusJttjddusJttjddusJttjddusJy)NFr&Tr))rrr7r compositer8rrrrtest_prime_compositer_PsA !''!*akk!n - 66 6 !++a.!''!* - 66 6 !++a.1771:+ . 66 6 !''!*q{{1~o . 66 6 !''!*aiilQZZ]:akk!n_L M UU U !''!*  %% % !''!*  && & !''!*  && & !++a. !U ** *rctjtjt t t ztjt t zz}tjtjt }tjtjt }t|t t t zt t zhk(sJt||t t t zt t zt hk(sJt|||t t t zt t zt t hk(sJtjtt t }tjtt t}t||t t thk(sJyr) r from_proprr!r rr#rrrrC)propsassumpcontexts rtest_extract_predargsre]s MM!&&QqS*QVVAaC[8 9E ]]166!9 %FmmAFF1I&G E "s1Q3x1o 55 5 E6 *s1Q3x1a.@ @@ @ E67 3AaC!A#q!7L LL L MM"Q( #E ]]2a8 $F E6 *q!Qi 77 7rctttzh}t|\}}|ttzhk(sJ|jt t tjtttzdt tjttzdht t tjtttzdt tjttzdht t tjtttzdt tjttzdht t tjtttzdt tjttzdht t tjtttzdt tjtttzdt tjttzdht t tjtttzdt tjttzdt tjtttzdht t tjtttzdt tjtttzdhhk(sJy)NFT) r rr#rclauses frozensetrrrHr!rGr)exprsfactss rtest_get_relevant_clsfactsrkjs 1XJE(/LE5 QqSE>> == GAEE#ac(OU3WQUU1Q3Z5NO P7166#ac(+U3WQVVAaC[$5OPQ7166#ac(+U3WQVVAaC[$5OPQ7166#ac(+T2GAFF1Q3K4OPQ7166#ac(+U3AEE#ac(OU3AEE!A#J-/ 0 7166#ac(+U3AFF1Q3K.AEE#ac(OU35 6 71::c!A#h/7AFF3qs8,e46 7 8 8 8 8rN)4sympy.assumptions.askrsympy.assumptions.assumersympy.core.numbersrrsympy.core.relationalrrsympy.core.singletonr sympy.core.symbolr $sympy.functions.elementary.complexesr sympy.logic.boolalgr "sympy.matrices.expressions.matexprr sympy.assumptions.cnfrrsympy.assumptions.sataskrrrsympy.testing.pytestrrrr#rCr$r'r+r.r3r9r?rDrJrLrOrQrTrVrXr[r_rerkrrrrxs#-&*"%4';./ ' 1a*23* Q3PPB#-L>5"3"K85FDM6;x + 88r