g9BddlmZddlmZmZmZmZmZddlm Z ddl m Z ddl m Z mZmZddlmZddlmZmZmZddlmZmZdd lmZmZmZdd lmZdd lm Z ed \Z!Z"ed Z#dZ$dZ%dZ&dZ'dZ(dZ)dZ*dZ+dZ,dZ-dZ.dZ/dZ0dZ1dZ2dS))SetExpr)Interval FiniteSet IntersectionImageSetUnion)Expr)Lambda)IRationaloo)S)DummySymbolsymbols)explog)MaxMinsqrt)cos)Setza, xdcttdd}t|jtsJt|t sJdS)Nr)rr isinstancesetrr )ses Y/var/www/html/ai-engine/env/lib/python3.11/site-packages/sympy/sets/tests/test_setexpr.py test_setexprr sK !Q B bfc " """" b$  c ttddjtddksJtddtdd}}d\}}tt fD]}|tt||}|j}tt ||||t||||}||ksJdS)NrraT)realb)r)rrrrrrrr)r#r%finput_seoutputexpecteds rtest_scalar_funcsr+s 8Aq>> " " &(1a.. 8 8 8 8 #D ! ! !6#D#9#9#9qA DAq3Z""1WXa^^,,--C!aaddOOS1qqtt__==!!!!! ""r!cttdddzjtddksJttdddzjtddksJdSNrrr&rrrr!r test_Add_Mulr0%sj HQNN # #a ' ,A > > > > HQNN # #A % *hq!nn < < < < < .>&?&? ? D B       HQNN # #GHR,<,<$=$= = B B        r!cdttdddttddzjtddddksJttdddttddzjtdddddksJdS)Nrr&r5r2rrrr/r!rtest_FiniteSet_FiniteSetrB:s IaA&& ' '')Aq//*B*B B G Q1a  ! ! ! ! IaA&& ' ' !Q(@(@ @ E Q1a # # $ $ $ $ $ $r!cttddttddzjtddksJdS)Nrr&rr8 )rrrrr/r!rtest_Interval_FiniteSetrEAsV IaOO $ $wx2'?'? ? D Ar??      r!cttddttddzttdddzjtddksJdS) Nrrr&r5r8r:rD)rrrrr/r!rtest_Many_SetsrHFs| HQNN # # HQNN # # $ Ib"b)) * * +,/8B3C3C D D D D D Dr!cttdd}ttdd}||zjtdddksJdSr-rA)r#r%s r$test_same_setexprs_are_not_identicalrJLsU !Q  A !Q  A E;)Aq!,, , , , , , ,r!cttdd}ttjdd}ttjdd}ttjdd}ttdd}ttjdd}ttjdd}ttjdd}ttdd}||zttddksJ||z ttddksJ||zttddksJ||z ttt jdksJ|dzttddksJ|dzttddksJ||zttjddksJ||z ttjddksJ||zttjddksJ||z ttjt jdksJ||zttjddksJ||z ttjddksJ||zttjddksJ||z ttjt jdksJ||zttjddksJ||z ttjddksJ||zttjddksJ||z ttjt jdksJ||zttjddksJ||z ttjddksJ||zttjddksJ||z ttjt jdksJ|dzttjddksJ|dzttjddksJ||zttjddksJ||z ttjddksJ||zttjddksJ||z ttjt jdksJ||zttjddksJ||z ttjddksJ||zttjddksJ||z ttjt jdksJ||zttjddksJ||z ttjddksJ||zttjddksJ||z ttjt jdksJ|dzttjddksJ|dzttjddksJ||zttjddksJ||z ttjddksJ||zttjddksJ||z ttjt jdksJ||zttjddksJ||z ttjddksJ||zttjddksJ||z ttjt jdksJ||zttjddksJ||z ttjddksJ||zttjddksJ||z ttjt jdksJ|dzttjddksJ|dzttjddksJ||zttd d ksJ||z ttd d ksJ||zttd dksJ||z ttjt tksJ||zttjd d ksJ||z ttjd d ksJ||zttjd dksJ||z ttjt tksJ||zttjd d ksJ||z ttjd d ksJ||zttd dksJ||z ttjt tksJ||zttjd d ksJ||z ttjd d ksJ||zttjd dksJ||z ttjt tksJ|dzttddksJ|dzttddksJttdd} ttjdd} ttjdd} | | zttjd dksJ| | zttd dksJ| | zttjd dksJ| | zttd dksJ| | zttjd dksJ| | z ttjt tksJ|| z ttjt tksJ|dzttddksJ|dzttddksJ||zttdd ksJ||z ttd dksJ||zttd d ksJ||z ttddksJdS)Nrr&r5r2r@r?i rii)rrLopenRopenopenrHalfr ) i12cci12loi12roi12on23ccn23lon23ron23on3n2ccn32ccn32lon32ros rtest_Interval_arithmeticrdUsI HQNN # #E HN1a(( ) )E HN1a(( ) )E 8=A&& ' 'D HROO $ $E HN2q)) * *E HN2q)) * *E 8=Q'' ( (D Xb"%% & &F 5=GHQNN33 3 3 3 3 5=GHROO44 4 4 4 4 ;'(1a..11 1 1 1 1 ;'(161"5"566 6 6 6 6 !8wx1~~.. . . . . !8wx1~~.. . . . . 5=GHM!Q$7$788 8 8 8 8 5=GHN2q$9$9:: : : : : ;'(-1"5"566 6 6 6 6 ;'(.";";<< < < < < 5=GHN1a$8$899 9 9 9 9 5=GHM"a$8$899 9 9 9 9 ;'(.A"6"677 7 7 7 7 ;'(-":":;; ; ; ; ; 5=GHN1a$8$899 9 9 9 9 5=GHN2q$9$9:: : : : : ;'(.A"6"677 7 7 7 7 ;'(.";";<< < < < < 4<78=A#6#677 7 7 7 7 4<78=Q#7#788 8 8 8 8 :q!!4!455 5 5 5 5 :qvq!9!9:: : : : : !8wx~a3344 4 4 4 4 !8wx~a3344 4 4 4 4 5=GHN1a$8$899 9 9 9 9 5=GHM"a$8$899 9 9 9 9 ;'(.A"6"677 7 7 7 7 ;'(-":":;; ; ; ; ; 5=GHN1a$8$899 9 9 9 9 5=GHN2q$9$9:: : : : : ;'(.A"6"677 7 7 7 7 ;'(.";";<< < < < < 4<78=A#6#677 7 7 7 7 4<78=Q#7#788 8 8 8 8 :q!!4!455 5 5 5 5 :qvq!9!9:: : : : : !8wx~a3344 4 4 4 4 !8wx~a3344 4 4 4 4 %<78=A#6#677 7 7 7 7 %<78=Q#7#788 8 8 8 8 :q!!4!455 5 5 5 5 :qvq!9!9:: : : : : %<78=A#6#677 7 7 7 7 %<78=Q#7#788 8 8 8 8 :q!!4!455 5 5 5 5 :qvq!9!9:: : : : : %<78=A#6#677 7 7 7 7 %<78=Q#7#788 8 8 8 8 :q!!4!455 5 5 5 5 :qvq!9!9:: : : : : 7ghmAq1122 2 2 2 2 7ghmAq1122 2 2 2 2 5=GHROO44 4 4 4 4 5=GHROO44 4 4 4 4 ;'(2q//22 2 2 2 2 ;'(-R"8"899 9 9 9 9 5=GHN2q$9$9:: : : : : 5=GHN2q$9$9:: : : : : ;'(.Q"7"788 8 8 8 8 ;'(."b"9"9:: : : : : 5=GHN2q$9$9:: : : : : 5=GHN2q$9$9:: : : : : ;'(2q//22 2 2 2 2 ;'(-R"8"899 9 9 9 9 4<78=Q#7#788 8 8 8 8 4<78=Q#7#788 8 8 8 8 :r1!5!566 6 6 6 6 :sB!7!788 8 8 8 8 !8wx1~~.. . . . . !8wxB//00 0 0 0 0 HROO $ $E HN2q)) * *E HN2q)) * *E ;'(.Q"7"788 8 8 8 8 ;'(2q//22 2 2 2 2 ;'(.Q"7"788 8 8 8 8 ;'(2q//22 2 2 2 2 ;'(.Q"7"788 8 8 8 8 ;'(."b"9"9:: : : : : ;'(."b"9"9:: : : : : 19A// / / / / 19b 1 122 2 2 2 2 5=GHROO44 4 4 4 4 5=GHROO44 4 4 4 4 ;'(2q//22 2 2 2 2 ;'(2q//22 2 2 2 2 2 2r!c &td\}}}}t||}t||}t||}t|}t |jtt t|t ||t t|t ||ksJt|jt t|t||ksJdS)Nzx y z w) rrrrrrrr r)xyzwset1set2interrs rtest_SetExpr_Intersectionrms##JAq!Q Aq>>D Aq>>D t $ $E B r77;,3q66""D))3q66""D))++ + + + + r77;(6!SVV#4#4e<< < < < < < > " "78B??#;#; ;wxQSPSUWGXGX?Y?Y Y Y Y Y 8B## $ $WXa^^%<%< <RTQTV^_acdVeVeHfHf@g@g g g g g 8Aq>> " "78B??#;#; ;wxQSPSU]^`bcUdUdGeGe?f?f f f f f 8Aq>> " "78Aq>>#:#: :ghxXY[\~~_aFbFb>c>c c c c c 8B?? # #GHROO$<$< <RTQTVXHYHY@Z@Z Z Z Z Z WXb!__ % % %xR7H7H(STSY[]J^J^1_1_)`)` ` ` ` ` WXa^^ $ $ $0D0D(E(E E E E E A'' '78RC"a3Q3Q+R+R R R R R WXrc1%% & & &'(-Q2G2G*H*H H H H H WXb!__ % % %2#r1B1B)C)C C C C C C Cr!c ttdddzttddksJttdddzttddksJttdddzttddksJttdddzttddksJttdddzttdksJttddtddzttddt dzksJttddd ztttdd dksJttddd zttdt ksJttddd ztttddt ksJttddd ztt tt dttddt ksJttd d d ztttddtdd ksJttd d d ztttdd tddksJttt dd zttjdt ksJttd dd ztttddt ksJtttddtj t zttdksJttdtj t zttdksJtttj dt zttdt ksJttddt zttdt ksJttddt zttt ksJttddt zttdt ksJtttj dt zttdt ksJtttddtddt zttdksJttdtddt zttt t ksJttd d t zttt t ksJttd dt zttt t ksJttd tddt zttt t ksJtttddtj t zttdksJtttdddt zttdt ksJtttd ddt zttdt ksJttddt zttt t ksJttdtj t zttt t ksJttddt zttt t ksJttd tj t zttt t ksJttddtz ttttttztddsJttddt zttdksJttddt zttdt ksJttddt z tttttt ztddsJdS)Nrr&r2rNrr5rOr?rLrMrSrR)rrrr rr rrVrrWrfdummy_eqrr _dr/r!rtest_SetExpr_Interval_powrtsB 8Aq>> " "A %!Q)@)@ @ @ @ @ 8B?? # #Q &'(1a..*A*A A A A A 8Aq>> " "A %!Q)@)@ @ @ @ @ 8B?? # #Q &'(2q//*B*B B B B B 8B?? # #Q &')A,,*?*? ? ? ? ? 8Aq>> " "HQNN 2ghq!DQRGG)>T>T6U6U U U U U 8Aq>> " "R (GHXa__a4P4P,Q,Q Q Q Q Q 8B?? # #b )WXa__-E-E E E E E 8Aq>> " "R (GHXa^^R4P4P,Q,Q Q Q Q Q 8B?? # #b )WU8RC;L;LhW_`acdWeWegiNjNj5k5k-l-l l l l l 8B## $ $r *ghxAPXY[]_P`P`6a6a.b.b b b b b 8B## $ $r *ghx1~~xXY[\~~6^6^._._ _ _ _ _ 8RC## $ $r *ghmAr6J6J.K.K K K K K 8B?? # #b )WXhq!nnb5Q5Q-R-R R R R R 8HQNNAF33 4 4b 8GIaLL> " "B &'(1b//*B*B B B B B 8Aq>> " "B &')B--*@*@ @ @ @ @ 8Aq>> " "B &'(1b//*B*B B B B B 8AFA&& ' ' +wx2/G/G G G G G 8HROOXb!__== > > BgiXYllF[F[ [ [ [ [ 8BQ00 1 12 52#rARAR9S9S S S S S 8B## $ $b (GIrc24F4F,G,G G G G G 8B## $ $b (GHbS"4E4E,F,F F F F F 8BQ00 1 12 52#rARAR9S9S S S S S 8HROOQV44 5 5r 9WYq\\=R=R R R R R 8HROOQ// 0 0" 4B8P8P P P P P 8HROOQ// 0 0" 4B8P8P P P P P 8B?? # #R '78RC3D3D+E+E E E E E 8B'' ( (" ,"b8I8I0J0J J J J J 8B?? # #R '78RC3D3D+E+E E E E E 8B'' ( (" ,"b8I8I0J0J J J J J HQNN # #Q & 0 0&RQRUBSBSU]^_abUcUc9d9d1e1e f ffff 8Aq>> " "bS )WYq\\-B-B B B B B 8Aq>> " "bS )WXa__-E-E E E E E HROO $ $s + 5 5ghvbRTXZWZR[G\G\^fgikl^m^m>n>n6o6o p ppppppr!c^ttjdzttjksJttjtztt t tttztjsJttjdzttjksJttjdztt t tdtztjsJttjtztt t tttztjsJttjt tttzdztt t tttzdztjsJttjtzdztt t ttdzt t tttztjsJdS)NrrNr&) rrIntegersr rrrr rs _eval_funcrfr/r!rtest_SetExpr_Integersrx.sW 1:   "gaj&9&9 9 9 9 9 AJ  ! # - -BF++QZ8899 ; ;;;; 1:   #wqz':': : : : : AJ   ! + +AbD))1:6677 9 9999 AJ   ! + +AbD))1:6677 9 9999 1:   ) )&AaC!G*<*< = = F FAbD1H--qz::;; = ==== AJ   !A % / /1q5))BqD!!1:..00 1 1 2 222222r!N)3sympy.sets.setexprr sympy.setsrrrrrsympy.core.exprr sympy.core.functionr sympy.core.numbersr r r sympy.core.singletonrsympy.core.symbolrrr&sympy.functions.elementary.exponentialrr(sympy.functions.elementary.miscellaneousrrr(sympy.functions.elementary.trigonometricrsympy.sets.setsrr#rfrsr r+r0r3r6r=rBrErHrJrdrmrortrxr/r!rrs'&&&&&&IIIIIIIIIIIIII &&&&&&0000000000""""""6666666666========EEEEEEEEEE888888wv1 U3ZZ   " " "=== >>>$$$ $$$ DDD ---i3i3i3X = = =DDDL8q8q8qv22222r!