K ij,ddlmZddlmZmZmZmZmZmZm Z ddl m Z ddl m Z mZddlmZddlmZddlmZmZddlmZmZdd lmZdd lmZmZdd lmZdd l m!Z!m"Z"dd l#m$Z$ddl%m&Z&ddl'm(Z(ddl m)Z)ddl*m+Z+m,Z,edZ-edZ.edZ/edZ0e dZ1dZ2dZ3dZ4dZ5dZ6dZ7dZ8dZ9dZ:d Z;d!Zd$Z?d%Z@y&)') unchanged) ConditionSet Intersection FiniteSetEmptySetUnionContainsImageSet)SetKind)FunctionLambda)Mod) NumberKind)oopi)EqNe)S)Symbolsymbols)Abs)asinsin)And)Matrix) MatrixSymbol)Interval)raiseswarns_deprecated_sympywxyzfc J tttttdt ddt zdd}t |vsJt dz |vsJdt z|vsJt |vsJdtttdzdkDtjvsJdtttdzdkDtjvsJdtttdkDt dd vsJttd td dd}t|t|tddgddggz|}tddgddgg}|j|jtj usJtddgddgg}|j|jtj"usJt%tttdktthj&t(sJttd ttd tj*tj,ttdtj.usJtdusJttdkttdkttdktdkzk(sJttdkttdkttdktdkzk(s-Jttdkttdkttdkttdkttdktdkzk(sJttdktttkttdkttkzk(sJt1ttdktttksJtttdkj&usJttftdkj&usJtttfttkdz}d|vsJdt f|vsJttfdttfdy)NrFTc JdtttdkDtddvSNr(r*r+rr!r"rh/mnt/ssd/data/python-lab/Trading/venv/lib/python3.12/site-packages/sympy/sets/tests/test_conditionset.pyztest_CondSet...s#a<1q5A$r1XcFtttdztthSNr*)rr!r"r0r1r2r3ztest_CondSet..:sl1a!eaV<r1c,tttdSr6rr!r0r1r2r3ztest_CondSet..;sl1a3r1r*r&c fttdkDttftdkDdzSNr*r&r!r")CIsr2r3ztest_CondSet..Ts)a1q5!QFAE1a4*@Ar1cJttfttzdkS)Nr&r<)r=Usr2r3ztest_CondSet..VsaAA 1a8r1)rr!rrrrrrRealsr"r TypeErrorrrcontainsdoittruefalse isinstancebase_setrIntegers UniversalSetrr) sin_sols_principalr4 matrix_setYZcr=r>r@s @@@r2 test_CondSetrPs%aCFA&.q!B$t&DF # ## # a4) )) ) R4) )) ) ' '' ' Q1q!''2 22 2 LAqD1Hagg6 66 6 LAE8Aq>: :: : 9 S!QAaAfq!fq!f-=&>$>!BCJAA A   q ! & & (AFF 22 2AA A   q ! & & (AGG 33 3 l1a!eaV4==   9<= 934 A AA Qq>QZZ '' ' Qa=A   QAqAE1~ q1q5QU#Q ' (( ( QAqAE1~ q1q5QU#Q ' (E)*1a!eQq!a%^)DE ( QAqAE1~ q1q5QU#Q ' (( ( QAqAE1~ q1q5QU#Q ' (( ( Q1q5!Aq1ua. 11 1 1q5 ! * *a // / a!e $ - - 22 2aVQUAqD)A Q;; r7!   9AB 989r1c tttdzdkDtdddd}tdddd}tttdzdkDtdddd}t|||k(sJy)Nr&r)r*Frr')rr!rr)input_conditionset other_domainoutput_conditionsets r2test_CondSet_intersectrUYs%aA8Aq% 4Aq%/L&q!Q$(H 1eU5 *L  !! !r1c .ttttttjtjusJtttt t tdtjtjk(sJy)N)rr!rrNaturalsrrrr0r1r2test_issue_9849rYcsg 2a8QZZ ZZ   2c#a&k2.  ZZ  r1c (ttttdktdkDtdddtdk(sJtttdktdddtk(sJttttdkttk(sJt d}ttttdkDtddd|t tdttttdkDt|k(sJtttttddtddd|t tddtttttddt|k(sJy) Nr*rr&r"rWr'r)) rr!rrrrrrr)r"s r2$test_simplified_FiniteSet_in_CondSetr\js@ 3q1ua"f-yAq/A q\   1q5)Aq!"4 5 AA A 3q2v; 1X == =s A CAJ "aA(> ? ilLCAJ ! EF GH G Bs1ay!,i1a.C D i1o|Ar#a)Q/?!     r1c httttdt t j tt hk(sJttttdt t j t hk(sJttttdt tt j tt hk(sJttttdttttdztjj tk(sJyNrr&) rr!rr"rr# free_symbolsr r rrIsetr0r1r2test_free_symbolsraws 2a8Yq\ ,1a& !! ! 2a8Yq\ ,1#   2a8Yq!_ ,1a& !! ! 2a8XfQ1o & !\SU ++ +r1c `ttttdt t j tgk(sJttttdt ttj tgk(sJtttdkttttdztjj tgk(sJtttdktttdkDtjj tgk(sJy)Nr r&r*) rr!rr"rr# bound_symbolsr r rrIr0r1r2test_bound_symbolsres 2a8Yq\ -A3   2a8Yq!_ -A3   1r68F1adOQZZ#H -A3   1r6<1q5!**#E -A3  r1c Ztd\}}tttdkttt j t||dkttt k(sJtttdkttt j t||dkttt k(sJtttdkttttdztjj t||dktt||dztjk(sJtttfttktjdz}|jttgk(sJ|j t||f||ktjdzk(sJ|j tttfttktjdzj k(sJy)Nz_0 _1r*r&) rrr!rr"ras_dummyr r rrIrArd)_0_1es r2 test_as_dummyrks W FB 1q5(1b/ (* Ra!RA BB B 1q5(1b/ (* Ra!RA BB B 1q5(6!QT?AJJ"G (* QBE!2AJJ?A AA A aVQ!VQWWaZ0A ??q!f $$ $ ::<<R"(AGGQJG GG G ::<<AQ  (*  r1c ttt}tttdk|}|j tt|k(sJ|j tttttdkttk(sJ|j ttitttdk|k(sJttttk|j ttttttk|j ttk(sJtddtdktjtjusJtdd}ttktjj tttktjk(sJttdt|tktd d j t|td d k(s7Jt|tktd d j t|ttktt dj t|tt dk(sJtt!tt!td ktthj t!tttt!tt!td ktthk(sJtd }t#t%|d|zt&zt)tztj}t#t%|d|zt&zt)tj*d z ztj}ttt-ttdd |j ttj*d z j/|sJdtttfttzd ktjdzvsJtt0fdy)Nr&nT)negativerp)positivecTttdztdktjSr6)rr!rrIr0r1r2r3z#test_subs_CondSet..s| Aq1uajj "r1r(r*kr'rWrr*c8tdktddS)Nirrc)rr)rmsr2r3z#test_subs_CondSet..sl1a#gx2Gr1)rr#r"rr!subsxreplacer rrrIrr ValueErrorrrr$r r rrOner dummy_eqrB)srOrorsimg1img2rms @r2test_subs_CondSetr~sO!QAQAq!A 66!Q<1   66!Q<<1q5)A,? ?? ? ::q!f aQ!: :: : 1q5! $q!* QAqvva|< == = sT"A 1q5!** - ;; ;sT"A 1q5!** $q!* QAqzz: ;; ; :"#  1q5(2q/ ##'41:"a A.BN 1q5(2q/C##'41:. A  1q5(B3" $$(DA% rc1    !adQhA $qtQ-<!adQhA? @@ @ s A F1ac"ftAw./   ""&$q!%%'"288D> BB B \1a&!a%!)QZZ]C CC C 9GHr1c dt5tttftdzttzhtj dztttft tdzdt ttzdztj dzk(sJ dddy#1swYyxYw)Nr*r&r)rrr!r"rrArr0r1r2test_subs_CondSet_tebrrs  !JQFQUAENAGGQJ? !QAE11q5! !rOc1c2c3rrmrd1d2s r2 test_dummy_eqrsA A !QUAA ::a1q5!n %% % ::a=E !! ! ::a1q5!''* +u 44 4 q!fbQlRAq\9177A: FB q!fbQlRAq\9177A: FB q!fbQlRAq\91;;> JB ;;r?? ;;r?e ## # ::b>U "" " ;;q>U "" " s As As A &AbD/1:: .B &AbD/1:: .B aAq2 &B aAq2 &B ;;r??r1c dtttdkDtddvsJdtttdkDtddvdusJt t dt t dtttdkDtddj dtdkDk(sJtttdkDtddj dtjusJtttdkDtddj tttttddtdkDk(sJttdtz d k\tjj d td ttdtz d k\tjd k(sJtttfttzdkDtjd z}|j drJ|j d sJ|j d rJttttffttztzdkDtjtjd zz}|j drJ|j drJ|j drJ|j drJ|j dsJy)Nr.r(r*r+Fc JdtttdkDtddvSr-r/r0r1r2r3ztest_contains..s\!QUHQN;;r1cXdttdtz dk\tjvS)Nrr*)rr!rrAr0r1r2r3ztest_contains..s a<1Q3!8QWW#EEr1r)evaluater&)r&r*rtr9)r9r')r9r'r))r*r)rr!rr"rrBrCrrFr rr rArI)rOs r2 test_containsrsZ QAx1~6 66 6 aQA7 7E AA A 9;= 9EF 1q5(1a. (1+!a% !! ! 1q5(1a. (1+ !! ! 1q5(1a. (1+Xa!Q8!a%@ AA A 1Q3!8QWW - 6 6q 9LAaC1Hagg6G HH HaVQUQY A 6Azz!}  ::f  zz&!! !a!Q[!a%!)a-AJJM1IJAzz!} zz&!! !zz+&& &zz*++ + ::k "" "r1ctttftdkDtjdzj ttftdkDt ttjzt ttjzk(sJtttdkDtjj tt ttjtdkDzk(sJyr;)rr!r"rrI as_relationalr r0r1r2test_as_relationalrs AAqzz1} 5 C CQF !ex1::. .!QZZ1H H II I 1q5!** - ; ;A a $A . // /r1c tttttzdkD}tttt|tj }|tttttzdkDtj k(sJtt tt t zdkD}tttt |tj }|tttttzdkDtj k7sJtttttzdkDjtdd}tttt|tj }|tttttzdkDtddk(sJy)z4Tests whether there is basic denesting functionalityrrWr*N) rr!rr rrAr" intersectr)innerouters r2 test_flattenrs CFQJN +E HQ. 8E LCFQJNAGG< << < CFQJN +E HQ. 8E LCFQJNAGG< << < CFQJN + 5 5hr1o FE HQ. 8E LCFQJNHROD DD Dr1cFddlm}tdt|fdy)Nr)BadSignatureErrorza,ac*ttdkS)Nrr8)dupsr2r3z test_duplicate..!sl3A&>r1)sympy.core.functionrrr)rrs @r2test_duplicaters5 %.C >?r1c tttttdt ddt zj ttusJtttdkj ttusJyr^) rr!rrrrkindr rr0r1r2test_SetKind_ConditionSetr$s] 2c!fa=(1ad*; < A AWZEX XX X 1q5 ! & &'**= == =r1N)Asympy.core.exprr sympy.setsrrrrrr r sympy.sets.setsr rr r sympy.core.modrsympy.core.kindrsympy.core.numbersrrsympy.core.relationalrrsympy.core.singletonrsympy.core.symbolrr$sympy.functions.elementary.complexesr(sympy.functions.elementary.trigonometricrrsympy.logic.boolalgrsympy.matrices.denser"sympy.matrices.expressions.matexprrrsympy.testing.pytestrrr r!r"r#r$rPrUrYr\rarerkr~rrrrrrrr0r1r2rs%)))#2&'*"/4@#';$? 3K 3K 3K 3K SM::z! +  %IPJ 6#B/ E@>r1