K i ddlmZddlmZddlmZddlmZddlm Z m Z ddl m Z m Z mZmZmZmZmZddlmZddlmZdd lmZmZdd lmZdd lmZmZmZdd l m!Z!dd l"m#Z#m$Z$ddl%m&Z&m'Z'ddl(m)Z)ddl*m+Z+ddl,m-Z-ddl.m/Z/ddl0m1Z1m2Z2ddl3m4Z4m5Z5m6Z6m7Z7m8Z8m9Z9m:Z:m;Z;mZ>ddl?m@Z@ddlAmBZBddlCmDZDmEZEmFZFmGZGmHZHddlImJZJmKZKmLZLddlMmNZNmOZOmPZPddlQmRZRddlSmTZTmUZUmVZVmWZWmXZXejZYdZZdZ[dZ\dZ]d Z^d!Z_d"Z`d#Zad$Zbd%Zcd&Zdd'Zed(Zfd)Zgd*Zhd+Zid,Zjd-Zkd.Zld/Zmd0Znd1Zod2Zpd3Zqd4Zrd5Zsd6Ztd7Zud8Zvd9Zwd:Zxd;Zyd<Zzd=Z{d>Z|d?Z}d@Z~dAZdBZdCZdDZdEZeOdFZdGZdHZdIZdJZdKZdLZdMZdNZdOZdPZdQZeOdRZdSZdTZdUZdVZdWZdXZeOdYZdZZd[Zd\Zd]Zd^Zd_Zd`ZdaZdbZdcZddZdeZdfZdgZdhZdiZdjZdkZdlZdmZdnZdoZdpZdqZdrZdsZdtZduZdvZeOdwZdxZdyZdzZd{Zd|Zd}Zd~ZdZdZdZdZdZdZdZdZdZdZeOdZdZdZdZdZy))SumAdd) TupleKind)Lambda) NumberKind UndefinedKind)FloatIRationalnanoopizoo)PowS)Symbolsymbols)sympify)MaxMinsqrt) Piecewise)cossin)falsetrue) MatrixKind)Matrix)rootof)Contains)ImageSetRange) Complement DisjointUnion FiniteSet IntersectionInterval ProductSetSetSymmetricDifferenceUnionimagesetSetKind)mpi) unchanged)EqNeLeLtLessThan)AndOrXor)raisesXFAILwarns_deprecated_sympy)cartes)xyzmnc  tjtttdz tjtj usJtttdztj tjusJttt ttj tj usJttt ttjtjusJttt ttjtj usJtdd}ttttftjjd|fdk(sJttttftjjddk(sJ||fttttftjvsJdtzttttztjvsJdhtttftjvsJdtttftjvsJttfdttfd ttd dttttfttfvsJttfd tt t#ttt!tk(sJd }t|ttt!tk(sJd }t|t#ttt!tk(sJttdt%dk(sJtttthk(sJtttfdt&ftjdt&fhk(sJt)dt*t-tfdt/ddj0j2dvsJtd\}}tdt/ddt/ddj5t#t||f||zt/ddt/ddsJy)NrTrealrDFrDrDc$ttSN)r.r>intss`/mnt/ssd/data/python-lab/Trading/venv/lib/python3.12/site-packages/sympy/sets/tests/test_sets.pyztest_imageset..0shq$/c8ttttSrL)r.r>r?r@rMsrOrPztest_imageset..1sx1a6rQcXttttttSrL)r.rr>rr?rQrOrPztest_imageset..2sxq#a&(91=rQcBttttSrL)r.rr>rMsrOrPztest_imageset..4sxq! dDArQct|SrLrr>s rOfztest_imageset..f6s 1v rQct|SrLrWrXs rOrPztest_imageset..9s #a&rQr>integerc|zSrLrT)r>clashs rOrPztest_imageset..?s 1u9rQ)zx0 + xzx + x0zx1, x2ct||SrLrr>r?s rOrPztest_imageset..Bs Aq rQrI)rIntegersr.r>Naturals Naturals0absrReals _containsr r: TypeError ValueErrorrr?rr#r'r@rrstrr)lamdaexprdummy_eq)rErYx1x2r^rNs @@rO test_imagesetrq!s{ ::D Aq1uajj )Q[[ 88 8 Aq1uakk *ajj 88 8 As1vq{{ +q{{ :: : As1vqzz *ajj 88 8 As1vqzz *akk 99 9$A A1vqww ' 1 11a& 9T AA A A1vqww ' 1 1& 9U BB B q6Xa!Q1 11 1 q5HQAqww/ // / 3hq1$0 00 0 !aT1773 33 3 9/0 :67 :=> XfaVaV4dDA AA A :AB C (6!SV+> > 3 %E ,hr1o>DDII J  ! X FB Aq>8Aq> 33;8R"r'*AA (4) )) )rQc"tjtjtjtjtj tj fD]}|jdurJtjjdusJy)NFT) rrdrerc Rationalsrg UniversalSetis_emptyEmptySetss rO test_is_emptyryHsejj!++qzz1;; NN#zzU"""# ::  $ && &rQctjtjtjtjtj tj fD]}|jdurJtjjdusJtddjdusJtddjdusJtttjJttdtdjdusJttdtddjdusJttdtttjJttddtddjdusJttdtddjdusJttdtdjdusJttdtttjJtttttdjdusJtttttddjJtttttjdusJt!tdtttjdusJt!ttttdjJt!tddttjdusJt#tddtttjdusJt#tjttttjjdusJy)NFTrDrIrrb)rrdrercrsrgrt is_finite_setrvr'r)r>r?r*r-r(r%r&rws rOtest_is_finitesetr}Psjj!++qzz1;; NN(%'''( :: # #t ++ + Q? ( (D 00 0 Aq> ' '5 00 0 Aq> ' ' // / ilIaL 1 ? ?4 GG G ilHQN 3 A AU JJ J ilHQN 3 A A II I !Q!Q 0 > >% GG G 1x1~ . < < EE E 1y| , : :d BB B 1x1~ . < < DD D A ! 5 C Ct KK K AA 7 E E MM M  ! il 3 A AT II I ilHQN 3 A AT II I hq!nil 3 A A II I hq!nil 3 A AU JJ J "a)Aq/ : H HE QQ Q Yq!_ajj A O OSW WW WrQct5tjjdddt5t djdddy#1swY2xYw#1swYyxYwNrD)r<rrv is_EmptySetr'rTrQrOtest_deprecated_is_EmptySetrksY  !  !!!   !!!!sAA#A #A,ctdttdtddk(sJtdtjtusJtt dtt dddk(sJtt djtusJttt t j k(sJtttt j k(sJtt t t j k(sJtttt j k(sJtttt j k(sJttt t j k(sJtttthk(sJttddtsJtttddf}tt||tsJtddt j k(sJtddjdk(sJtddddt j k(sJtddddt j k(sJtddddt j k(sJttdtdtsJttdddt j k(sJttdttd ttd ttd ttd ttd y)NrFTrDrbapositivec6tdtjSNr)r)r ImaginaryUnitrTrQrOrPz)test_interval_arguments..sx1??;rQc0tdtddS)Nrr@F extended_real)r)rrTrQrOrPz)test_interval_arguments..sx6#U+KLrQcLttttjzSrL)r)r>rrrTrQrOrPz)test_interval_arguments..sx1q+>?rQc@tddtttSNrrDr)r7r>r?rTrQrOrPz)test_interval_arguments..sAs1ay(ArQc BtdddtttSNrrDFrrTrQrOrPz)test_interval_arguments..sAuc!Qi(HrQc JtddttttSr)r)r@r7r>r?rTrQrOrPz)test_interval_arguments..sAq#a)(DrQ)r)r right_openr left_openrrvr> isinstancer'rmeasurerr:rjNotImplementedError)es rOtest_interval_argumentsrssx Ar?hq"eT: :: : Ar? % % -- - RC xQe< << < RC  % % -- - B  ** * B qzz )) ) RC"  ++ + B?ajj (( ( B qzz )) ) As qzz )) ) Aq>aS  hq!ni 00 0 A1ayA hq!ni 00 0 Aq>QZZ '' ' Aq> ! !Q && & Aq% &!** 44 4 Aq$ &!** 44 4 Aq$ % 33 3 hq&+. 99 9 F3. 2ajj @@ @ :;< :LM :?@  AB  HI  DErQcVtdd}ttd|tddjt |dk(sJtt|dtddj t d|k(sJtd|jdtd|k(sJy)NrTrFrrbrD) rr-r)suprinfrcontainsr6rs rO!test_interval_symbolic_end_pointsrssA !Q!Q 0 4 4Aq AA A !Q"a 1 5 5R CC C Aq> " "1 %!Q 77 7rQctd\}}tdd}tdd}tdd}td d }td d jd k(sJtddjd k(sJt||jd k(sJt|||zjd k(sJt||jd k(sJtd tjd k(sJtt tjd k(sJtt d jd k(sJt||jdk(sJt|tjd k(sJt|djd k(sJt|ddjd k(sJt|djdk(sJt|djdk(sJt||jd k(sJtd|djd k(sJtd|djd k(sJtd|djdk(sJtd|djdk(sJy)Nzx, yrETrFprrB)negativenn) nonnegativerDrIFrbrrr)rrr)rur)r>r?rErrBrs rOtest_interval_is_emptyrsG 6?DAqsAsT"AsT"A $ 'B Aq> " "e ++ + Aq> " "e ++ + Aq> " "e ++ + Aq2v  ' '5 00 0 Aq> " "e ++ + Ar? # #u ,, , RC  % % .. . RC  $ $ -- - Aq> " "d ** * Ar? # #u ,, , Aq> " "e ++ + AqD ) 2 2e ;; ; Aq> " "d ** * B? # #t ++ + Aq> " "e ++ + AqD ) 2 2e ;; ; AqT * 3 3u << < ArT * 3 3t ;; ; Ard + 4 4 << hameggsr?r@ctdddS)NrDrIrbr-rTrQrOrPztest_union..seAq!nrQ)r-r)rrvranger'rr1unionr+ intersect is_subsetr:ri is_iterablerr rgrc)rBr>r?r@XYXandYs rO test_unionrs !Q!Q 0HQN BB B !Q!Q!5 6(1a. HH H !Q!Q 0HQN BB B !Q!Q 0HQN BB B !Q!Q 0HQN BB B !Qt,hq!n =Aud# $$ $ !Q!Qt!< =!Q OO O !Q%x1~ 6(1a. HH H !Q%x1d'; <At   !Q%x1dD'A BAtT" ## # !Qd+XaD-A BAt   !Q!Q 0HQN BB B !Qt,hq!n =A   !Qt,hq!T.B CA   !Q ,A >> >   ** * !Q KU1b\"J9SU#3"J KA   s A !Q1a 1UA ! 6& && & UHQNIaO << < Aq>  A /A!Q' (( ( Aq>  A /8Aq> AA A <35  Q<)A, &1 51a9K KK K U i/ /9UF3K KK K Q1  *i1a.@ @@ @ Q1  !Q 2 2i1o EE E Q1  !Q 2 2i1a6K KK K Q1  *ajj 88 8 Q1  *i1a.@ @@ @s As As A :: !Yq!_5 5!Yq!_% && & Aq>IaL (HQN :: : Aq$ % ! 4AtU# $$ $A1%AA1%A KKNE 6a1fe+ + ??1 %//!"44 4 9,- ==E !! ! YaRy$r(; <48)T1"X& '' ' !** % 00 0c#Ks*^ c|ttdtdtdd}t|gdk(sJy)NrbrrFevaluate) rrrrDrDrDrIrIrIrbrbr)r-r$list)us rOtest_union_iterrs3 eAha%(U;A 7: :: :rQcttttdzjdk(sJttttt tzjdk(sJy)NrDF)r)r>r?r'rurTrQrOtest_union_is_emptyrsL QNYq\ ) 3 3u << < QNXqb!_ , 6 6$ >> >rQc tddtddz tdddk(sJtddtddz tddddk(sJtdddtddz tddddk(sJtdddtdddz tddddk(sJtddtdz ttddddtddddk(sJtjtt z tjk(sJtjtt t z tjk(sJtddtt t z tddk(sJtddtdt z ttj ddtjddk(sJtjtddt zttdzz tttjt dtjdttttdzdk(sJtdddtdz tddk(sJtd d td z td k(sJtdddd tddddz tddk(sJtdddd tjz tdddd k(sJttddtddd tddz ttddddtd k(sJd tjtjz vsJy) NrDrbrITFrrrrrr)r)r'r-rrgr RopenLopenr>r?r%openrrvrdrTrQrOtest_differencers- Aq>HQN *hq!T.B BB B Aq>HQN *hq!UD.I II I Aq$ (1a. 0HQ44N NN N Aq$ (1a"6 6AtU# $$ $ Aq>IaL ( hq!UD)8Aq$+FG HH H 77Yq\ !QWW ,, , 77Yr1% % 00 0 Ar?Yr1- -!R @@ @ Ar?Yq!_ ,q!hnnQ315 55 5 77Yq!a%AqD1 1Z hmmRC#X]]1b%9:IaA.>siAq5)IJrQrrrrza:czd:f)r'r)r%rr:rir-rrgrdrcrtrv complementrrr(r>r?rr1r*)BDA2B3rrs @@rOtest_Complementr2s!QA!QAAAAA aU + 7 74 ?? ? aU + 7 74 ?? ? aU + 7 7 ?? ? jA6 79Q< GG G jA6 79Q< GG G 9JK hq!nhq!n 5!Q9M MM M i1a()Aq/ :il JJ J eHQNIaA,>?q!n & hq!UD)9Q<8 99 9 Jx1~x1~N NN N AGGQZZ%@ @@ @ Jqww UC CC C ajj!.. 1X == = >> $ $QZZ 0H << < QWW&&qzzIaL'@A AB A :: "ajj 00 0 JJ1 %1 5iPQSTo9U UU U 77U1::y}5 5 1::-qww2/F G HH H i1a((3*; < yAb(9 : ;; ; 75>"A75>"A ZAq!11 55 5 Aq B Aq! B 7b== 7b==rQc 6ddddddddg}tt}tt}d htd td d t |td d t ||t ||t||tjg}d d d td td td g}|D]`|D]3|D],ttfd ttfd .5ttfdttfdby)z1Tests that e.g. FiniteSet(1) * 2 raises TypeErrorc ||zSrLrTrbs rOrPz-test_set_operations_nonsets..f QUrQc ||z SrLrTrs rOrPz-test_set_operations_nonsets..grrQc ||zSrLrTrs rOrPz-test_set_operations_nonsets..hrrQc ||z SrLrTrs rOrPz-test_set_operations_nonsets..irrQc ||zSrLrTrs rOrPz-test_set_operations_nonsets..js Q!VrQc ||zSrLrTrs rOrPz-test_set_operations_nonsets..krrQc ||zSrLrTrs rOrPz-test_set_operations_nonsets..lrrQc ||z SrLrTrs rOrPz-test_set_operations_nonsets..mrrQrDrIrcSrLrTniopsisrOrPz-test_set_operations_nonsets.. 2b":rQcSrLrTrsrOrPz-test_set_operations_nonsets..rrQctzSrL)objectrsrOrPz-test_set_operations_nonsets..s ".rQcdhzSrrTrsrOrPz-test_set_operations_nonsets..s ")rQN) r'r>r?r)r-r(r%r*rrvr:ri)opsSxSysetsnumsrrrs @@@rOtest_set_operations_nonsetsrcs  C 1B 1B ! A b(1a.!R2r2r  D q!QqT1Q41 &D- 7B 7y"56y"56 7 7 y01y+, -rQc ` tddhdhdhk(sJtddjtjt tt dddtdt ddk(sJtddddjtjt tt dddtdt ddk(sJtddddjtjt tt dddtdt ddk(sJtddddjtjt tt dddtdt ddk(sJtjjtjtjk(sJtjjtjtjk(sJtjjtjtjk(sJtjjtjtjk(sJt tddtddjtjt tt dddtddddtdt ddk(sJtdjtjt tt dddtdt ddk(sJtdttjdzjtjtddddtdtjddzk(sJtdddjtjttjdddtddddztddddztdtjddzk(sJttjtjttjttk(sJtdtjtjttt dddtdt ddzttdk(sJtddtddzjtjtjztfd d DsJtfd d DrJtfd d DrJtfdd DsJy)NrDrIrTFrbrrc3&K|]}|v ywrLrT.0ptsquares rO z"test_complement..sIrV|I)rr?rrDrrJc3&K|]}|v ywrLrTrr notsquares rOrz"test_complement..sFiFrc3&K|]}|v ywrLrTrs rOrz"test_complement..sIB2<Ir))rr)?r)rrc3&K|]}|v ywrLrTrs rOrz"test_complement..sH2rYHr)r%r)rrrgr-rrtrvr'NegativeInfinityInfinityr>allany)rrs@@rOtest_complementr s q!fqc "qc )) ) Aq> $ $QWW - hsAtT*HQD$,GH II I Aq$ & 1 1!'' : hsAtU+XaT4-HI JJ J Aq% & 1 1!'' : hsAtT*HQE4,HI JJ J Aq$ % 0 0 9 hsAtU+XaUD-IJ KK K >> $ $QZZ 0AJJ >> > >> $ $QWW - ;; ; >> $ $Q^^ 4 BB B ::  )QWW 44 4 !Q!Q 0 ; ;AGG D hsAtT*HQ4,Fq"dD) + ++ + Q< " "177 + hsAtT*HQD$,GH II I aL8A$6$6$%' '(2 177(;AtT"XaT4%HH II I Q1  ( ( 1##Qd3AtT" #%-aD$%? @AJJd+ , ,, , Q< " "177 +z!''9QY?H|V[3] ]] ]a^hq!n ,F!!!''!''/2I I&HI II IF"DFFF FI*HIII I H)GH HH HrQc tdtjtjfDsJtdtjtjfDsJtj}tjj |tjusJ|j tjtjusJt d}t ddjt ddt ddk(sJt ddjt dddt dddk(sJt dddjt ddt ddddk(sJt ddddjt ddt ddddk(sJt ddjtt ddt dd tt ddt ddk(sJtddjtddd tddk(sJtdd|jt|t|k(sJtd d jtd td k(sJtddd d d jtjtjk(sJt dd jtdd tdd k(sJt ddddjtdtjk(sJtt ddt dd jt ddtt ddt ddk(sJtt ddt dd jt ddtt ddt ddk(sJtt ddt dd jt ddddtjk(sJtt ddt dd jtjtjk(sJtt dd td jtdd d d dttdd d d dttd t dd k(sJttddd t d|t d tttd t d|t d tdk(sJttddt dd t |ttddht |tdk(sJttddd t dd t |ttddht |tdk(sJtdd\}}tt|t||t ||dzt|k(sJtt|tttt|ttdk(sJt|jtjttjt|dk(sJt dd j tdd tdd k(sJt ddddj tdtjk(sJtt ddt dd j t ddtt ddt ddk(sJtdtdzd z}tdtd z}t |d j t |d t |d k(sJt d|j t d|t d|k(sJy)Nc3^K|]%}tjj||u'ywrL)rrc intersectionris rOrz"test_intersect1..s(#1qzz&&q)Q.#+-c3^K|]%}|jtj|u'ywrL)r rrcr s rOrz"test_intersect1..s&#1q~~ajj)Q.#rr>rrIrDTFrbrrrrrzm, nrF)rrrdrer rr)rr-r'rvr(r?rrgr)rxr>rArBrrs rOtest_intersect1rs # Q[[!# ## # # Q[[!# ## # A :: " "1 % 33 3 >>!** % 33 3s A Aq> # #HQN 3x1~ EE E Aq> # #HQ4$8 9At   Aq$  ) )(1a. 9Aue$ %% % Aq$ % / /A ?Aud# $$ $ Aq> # #E(1a.(1a.$I J hq!nhq!n- .. . Q? $ $Yq!Q%7 8IaO KK K Q1  ' ' ! 51 EE E UF # - -i.> ?%   Q1a # - -ajj 9QZZ GG G Aq> # #IaO 4 !Q GG G Aq$ % / / ! = KK K !Q!Q 0 : :8Aq> J hq!nhq!n- .. . !Q!Q 0 : :8Aq> J hq!nhq!n- .. . !Q!Q 0 : :8Aq$PT;U V    !Q!Q 0 : :1:: F    !Q5!1 2 < 8Aq>ER SS S  !Q!Q!Q HaVXa^e< == =  !Q*HQNHQN KaVXa^e< == = 6 %DAq  ! i1ox1Q37G H!     ! il 3Yq\9Q<%@ AA A Q< ! !!'' *QWWilU; << < Aq> & &yA 79Q? JJ J Aq$ % 2 29Q< @AJJ NN N !Q!Q 0 = =hq!n M hq!nhq!n- .. . QtAwY]A Q$q'A Aq> & &x1~ 6(1a. HH H Aq> & &x1~ 6(1a. HH HrQc "tttfttjtjfttjtjfttjtjftjtjtjftjtjtjftjtjtjftjtjtjftjtjtjftjtjtjfg }d}|D]u\}}}||f||ffD]d\}}t ddgddgddgddgD]F\}}} } ||| } ||| } |||||| | } | j | | k(rFJfwy)Nc*t|tr|S|SrL)rfloat)a1a2s rOrPz2test_intersection_interval_float..sJr5$9brrQrIg@rbg@)r)rrrr=r)typsas_floatt1t2t3t1it2irrb1b2I1I2I3s rO test_intersection_interval_floatr$s 8X& 8==(--0 8>>8>>2 8>>8>>2  x}}5  6  6 8 7 8 DBH. BbB8, .HC"(!SAs8aX3x"P .BBBZBZR((2r*:;||B'2---  . ..rQcttdddtdddjsJt t dt dhk(sJt dd }ttd dt|d dvdusJttfd ttd dt jt jk(sJttt ttt |tt |k(sJtd d}t|dz|dzdd vsJdvsJttfdttt jt jdt jd}|jttt jt jdt jgk(sJtt j tt j"t jk(sJtt j$k(sJtdhdh|htdh|hk(sJy)NrDrIrbrFrr>TrFrrc dvSNrIrTrsrOrPz#test_intersection..% a1frQrIrI)rIrIrIctSrL)rr(srOrPz#test_intersection..0s d1grQ)r(r'r)rsetrrr:rirvrrcrdrg_argset frozenset ComplexesComplexInfinityrt)r>linerrs @rOtest_intersectionr2sYq!Q'!Q%HA === q6adAaD\ !! ! sAXa^Xa^4A Fu   9n% A 3qzz AA A "b)8RC+; <"a@P PP P Aq>DT1WdAg6A ?? A   9o&\!**ajj5I177]bcA 99 < AJJQV#WYZY`Y`"ab bb b  Yq/@/@%A Bajj PP P >Q^^ ++ + aS1# &,sQC*@ @@ @rQctd}tj}tdt}t |}t |||t ||k(sJt tddtddt |tk(sJy)NrBrrDrIrbr)rrrgr)rr'r(rv)rBrrcs rOtest_issue_9623r5>sms A ABA! A 1a LA$6 66 6 AA ! E QQ QrQctddjtdddk(sJtddjtdddk(sJy)NrrIrDFrbrT)r) is_disjointrTrQrOtest_is_disjointr8IsL Aq> % %hq!n 5 >> > Aq> % %hq!n 5 == =rQcJtdd}tddd}t|jdk(sJt|jtdusJt||jdk(sJt||jtdusJy)NrDrIrbr)r'r*__len__rrrs rOtest_ProductSet__len__r<Ns!QA!QA a= "a '' ' a= "!A$ .. . a  # # % ** * a  # # %QqT 11 1rQc ttjtjdzk(sJttjtjtjdzk(sJttjtjtjtjdzk(sJttjtjk7sJttjtjtjtjzk(sJttjtjtjtjtjztjzk7sJttjtjtjtjtjztjzjk(sJdttjvsJdttjvsJdttjtjvsJdttjtjvsJdtfttjtjvsJdttjtjtjvsJdtjdzvsJdtjtjztjzvsJdtjtjztjzvsJdtjtjztjzvsJdtjtjtjzzvsJtt d k(sJttjtj tj k(sJtd D]+}ttjf|z}d|z|vsJd|vr+Jtjtjztjztjtjtjzzk7sJtj}tj}t}d}||vsJ||vsJ||f||zvsJ||z||f}|vsJ||fzvsJ||zzvsJttd t5td tdDdddttd t dd}t dd}t||jtt t#|jt|jt cxk(r\t#t%t'tdt'tdt%t't dt't dk(sJJttfdttfdttdttjtj}|j)dtj*usJ|j)dtj,usJ|j)tt/t|dk(sJ|j)tj1tdtj,usJ|j)tdfj1tdtj*usJ|j)tt ft/ttjt/t tjzk(sJt3t.tt f|sJt/d|tj*usJy#1swYxYw)NrDrIrb)rDrHrDrIrb)rHrb)rD)rIrbrTrc(tjdzS)Nr)rrgrTrQrOrPz!test_ProductSet..sqww{rQc32K|]}t|ywrLr'rrxs rOrz"test_ProductSet..s2A9Q<2sctdSrL)r*rTrQrOrPz!test_ProductSet..s j.rQrc.jtSrL as_relationalr>S3srOrPz!test_ProductSet..sr//2rQc0jtdSrrErGsrOrPz!test_ProductSet..sr//15rQc\ttddjttSr)r*r)rFr>r?rTrQrOrPz!test_ProductSet..sz(1a.9GG1MrQFr)r*rrgflattenr r'rvrrcrr:rjr<rirFr>r?r7r8r2rrrr"subsr1) rRnS1S2rorpx3Z2rHs @rOtest_ProductSetrRWs agg !''Q, .. . aggqww '177a< 77 7 aggqww 0AGGqL @@ @ agg !'' )) ) aggqww '177QWW+< << < aggqww 0AGGagg4E4O OO O aggqww 0QWWqww5F5P4Y4Y4[ [[ [ Jqww' '' ' :agg& && & Jqww0 00 0 Z1 11 1 q6AGGQWW5 55 5  177AGGQWW= == = 1 $$ $ AGGagg-7 77 7 !''AGG+agg5 55 5 agg/!''9 99 9 !''QWWqww%67 77 7 <9R= (( ( aggqzz *ajj 88 8Ah !''b )byB{{ GGagg  (AGGqww7H,I II I B B B B 8O8 8O8 8rBw   bB bB 8O8 8rBw   7"r' !! ! :*+  !32q223 9./ 1aB 1aB B B   Q "2##A&(8(8(;< C2bAh1a)2bAh1a+AB CD CD C :23 :56 :MN AJJ +B ;;v !&& (( ( ;;t  '' ' ;;q>Xae< << < ;;q>  q! $ // / ;;1v  # #Aq )QVV 33 3 ;;1v (1ajj"9HQ rTrQrOtest_ProductSet_is_emptyrVsJ ajj!'' * 3 3u << < hq!nagg . 7 74 ?? ?rQctdd}td|j|dtddk(sJt|dj|dtjk(sJy)NrTrFrrI)rr)rLrrvrs rOtest_interval_subsrXsZsA Aq>  q! $A 66 6 Aq>  q! $ 22 2rQc"tddjtddk(sJtddddjtddk(sJttddjttddk(sJy)NrrDTF)r)to_mpir0typerTrQrOtest_interval_to_mpir\sy Aq> "c!Qi // / Aq$ & - - /3q!9 << < A%%' (DQO ;; ;rQcNttddz tjjtt dt dk(sJtt tjdjtt t ddk(sJtt tjjtt t dk(sJtdt jtt dt k(sJy) N @z0.171875z0.5TrrIz2.0)r)rHalfevalfr r>rr'rTrQrOtest_set_evalfrbs AbE"Haff % + + - j5<2) )) ) Aqvv$ / 5 5 78 5 ! !Q && & Aq> ! !Q && & Aq> ! !QU ** * !Q!Q 0 8 8A == = !Q!Q1a1C D L L     Q2q2#r * 2 2a 77 7 ::   "" " a_x2 .FAr?Xa_4L RC x1~ -D >>\11 8S 88 88 8 \ ! * *c 11 1 \ ! * *b 00 0 Yq!Q' ' 0 0A 55 5   T " + +r 11 1 TM " "b (( ( 9Q1% % . .# 55 5rQc  tddjtdddusJtddjtdddusJtddjtdddusJtddjtddddsJtddjtdddddusJtdjtddsJtddjtdddddusJtddtdzjtddddtddzsJtddjttddtdddusJtdd jttddtdddusJtddddjtdddusJtj jtddddusJtddjtj dusJtj jtj dusJt td tddddjtdddusJtj jtddddusJtjjtjsJtjjtjsJttjttJttjttjttdusJttjttjttdzdusJtddjtddd dusJtd djttt d tdtdusJt!d d}t#dddjtdddusJt#t ddzjtddddusJt#d dd jtddd dusJt#dtjtdddusJt#t djtddusJt#djtdd|Jt#||dzjt||dzdusJt#djtddddusJt%t'|d|z tjjtj(Jy)NrrDrITrbFrrrc@tjjdSr)rrvrrTrQrOrPz test_is_subset..sqzz33A6rQrr_rBr[rrrrfr)r)rr'r-rrvr:rjissubsetrdrcrer>r?rLrrr$r.rrgrBs rOtest_is_subsetrqs3 Aq> # #HQN 3t ;; ; Aq> # #HQN 3u << < Aq> # #IaO 4 == = Q? $ $Yq!Q%: ;; ; Q? $ $Yq!Q%: ;u DD D Q< ! !(1a. 11 1 Q? $ $XaD$%? @E II I QNYq\ ) 4 4Aud#i1o5 77 7 Aq> # #E(1a.(1a.$I Jd RR R Aq> # #E(1a.(1a.$I Je SS S Q1a * *8Aq> :d BB B ::   !Q 2 3t ;; ; Aq> # #AJJ /5 88 8 ::   +t 33 3 :67 Q1a ) )(1a. 9T AA A ::  yAq1 2d :: : ::   ++ + ;;  ,, , Q< ! !)A, / 77 7 Q< ! !)A,"3"3Aq"9 :d BB B Q< ! !)A,"3"3Aqs"; < EE E Aq> # #HQT$B Cu LL L B? $ $U8RC+% GG G F1acNAJJ / 9 9!'' B JJ JrQc&tddjtdddusJtddjtdddusJtjjt ddddusJt t dy)NrrDrITrbFc8tddjdSr)r)is_proper_subsetrTrQrOrPz'test_is_proper_subset..sx1~>>qArQ)r)rtrrvr'r:rjrTrQrOtest_is_proper_subsetrus} Aq> * *8Aq> :d BB B Aq> * *8Aq> :e CC C :: & &yAq'9 :d BB B :ABrQc ^tddjtdddk(sJtddjtddsJtddjtdddddk(sJtddjtdddddk(sJtdjtdddk(sJtddjtdddddk(sJtddtdzjtddddtddzdk(sJtddjttddtdddk(sJtddddjtdddk(sJtj jtddddk(sJtddjtj dk(sJtj jtj dk(sJt td tddjtj dk(sJtj jtj dk(sJy) NrrDrIFrbrrTc@tjjdSr)rrv is_supersetrTrQrOrPz"test_is_superset..+sqzz55a8rQ) r)rxr'r-rrvr:rj issupersetrTrQrOtest_is_supersetrzsM Aq> % %hq!n 5 >> > Aq> % %hq!n 55 5 Q? & &yAq!'< = FF F Q? & &yAq!'< = FF F Q< # #HQN 3u << < Q? & &x1dD'A Be KK K QNYq\ ) 6 6Aud#i1o5 7:? @@ @ Aq> % %eHQNHQN&K LPU UU U Q1a , ,Xa^ < EE E :: ! !)Aq!"4 5 >> > Aq> % %ajj 1T 99 9 :: ! !!** - 55 5 :89 Aq> $ $QZZ 0D 88 8 ::  , 44 4rQc&tddjtdddusJtddjtdddusJtdddjtjdusJt t dy)NrrDrIFrbTc8tddjdSr)r)is_proper_supersetrTrQrOrPz)test_is_proper_superset..7sx1~@@CrQ)r)r}r'rrvr:rjrTrQrOtest_is_proper_supersetr~2s} Aq> , ,Xa^ < EE E Aq> , ,Xa^ < DD D Q1  0 0 < DD D :CDrQc tddjdtjusJtddjdtjusJtddddjdtjusJtddddjdtjusJtddddjdtjusJtddddjdtjusJtddddjdtjusJtddddjdtjusJtddtddvdusJt dddjdtjusJt ddt djt dtjusJt tjttttdk(sJttd t tthjthttththdk(sJt tthjttjthtjusJt tthjttdzjthtjusJdd lmm}t |j t| k(sJt |jt|k(sJt jdtdk(sJttfd t#t#dt%dddz t%dd}t#t%dd t%ddt#t%dd t%ddz t#t%d d t%ddz}t |}t |}||z tj&k(sJddtj(tddg}t |t+fd|DsJt+fd|DsJt-tddtddjdtjusJt-tddtddjdtjusJt-tddt ddjdtjusJtj&jdtjusJt t/tdztzdz djtj(tjusJt/tdztdzzdzdtj0vsJt/tdztdzzdzdtj0vsJt-tddtdd jtt3t5tj6tktdkt5tdtktd kk(sJt9tdttddjtt5tdkttktj6tktdtkk(sJtj:jtj<tjk(sJy)NrrIrDrbTFr>rc,tttvSrL)r>r'r?rTrQrOrPztest_contains..Jsa9Q</rQrcdtvSrrArsrOrPztest_contains..Tsa9Q</rQ rrgc3&K|]}|v ywrLrTritemfsets rOrz test_contains.._s.tt|.rc3`K|]%}j|tju'ywrL)rrrrs rOrz test_contains..`s#?t}}T"aff,?s+.rr)r)rrrrr'rr?rhr>r2r:rirL sympy.abcrrrr rvrrr-r!rgr8r7Oner(r/r0)rrad1rad2s1s2itemsrrs @@rO test_containsr:s Aq> " "1 % // / Aq> " "1 % 00 0 Aq$ & / / 2agg == = Aq$ & / / 2aff << < Aq% & / / 2aff << < Aq% & / / 2agg == = Aq$ % . .q 1QWW << < Aq$ % . .q 1QWW << < QNhq!n , 66 6 Q1  & &q )QVV 33 3 Q6#; ' 0 0 = GG G Q< ! !! $1a%(@ @@ @ 9/0 aV  & &s +r1a&1#/N NN N aV  ! !!Q ' 1 11# 6!&& @@ @ aV  ! !!QqS ) 3 3QC 8AGG CC C Q< ! $1qb 11 1 Q<  #r!Qx // / Q<  #r!Qx // / 9/0 s1hq!n%)8Aq> :D x1~x1~ .Xa^XaQR^1T TWZ[cdegh[ikstuwxkyWz zD 4B 4B 7ajj  1::qx .E e D .. .. . ?? ?? ? !Q!Q 0 9 9! < FF F !Q!Q 0 9 9! < GG G !Q1a 1 : :1 = HH H ::  q !QWW ,, , VAqD1HqL!, - 6 6qzz Bagg MM M !Q$A+/1 % 00 0adQTkAoq)QWW444 !Q!Q 0 9 9! < 3quuz16 "C! 16$:; << < AA 7 @ @ C AFAFAEEQJ! 2 33 3 KK ! !!"3"3 4 ?? ?rQcntdtddjttj kdkk(sJt tfdtddddjttj kdkk(sJtdd}tdzj|dk(sJtd d tt tjttjktjkk(sJy) Nr>rrDc vSrLrT)rr>srOrPz(test_interval_symbolic..yr)rQTr4FrFrr) rr)rr7rZeror:rirrr)r4rr>s @@rOtest_interval_symbolicruss AAA ::a=C! Q!V4 44 4 9n%AtT"A ::a=C AE2 22 2sA Aq1u  & &q )U 22 2s$'A RC  % %a (C QAJJ-0 00 0rQc Ttdtdd}tdd}t||jt t t jkdkt t dkdkk(sJttfdj}|jk(sJ|jdtusJ|jdtusJ|jd tusJ|jd tusJ|jd tusJtddd d td tztddddzt!fdddt fDsJt!fddDsJy)Nr>rrDrIrbc vSrLrT)i3r>srOrPz%test_union_contains..s a2grQgrrg@g @Trrrrc3&K|]}|v ywrLrTrelUs rOrz&test_union_contains..s1rr{1rrc3&K|]}|v ywrLrTrs rOrz&test_union_contains..s,2rQw,r)rIrr)rr)r-rFr8r7rrr:rirrLrrrr'r)i1i2rrrr>s @@@rOtest_union_containsrsxs A !QB !QB r2B  A "S1a1f%=s1Q419aSTf?U"V VV V 9o& AA   # ## # 66!T?e ## # 66!S>T !! ! 66!S>U "" " 66!S>T !! ! 66!S>U "" "AtT"Xb"%55 "aA8NNA 1aRC[1 11 1 ,, ,, ,rQchtddjdusJtjdusJyr)r) is_numberr+rTrQrOtest_is_numberrs0 Aq> # #u ,, , 5??e ## #rQctddjdusJtt djdusJttddjdusJy)NrbrFTz-inf)r)is_left_unboundedrr rTrQrOtest_Interval_is_left_unboundedrsX Aq> + +u 44 4 RC  - - 55 5 E&M1 % 7 74 ?? ?rQctddjdusJtdtjdusJtdtdjdusJy)NrbrFTz+inf)r)is_right_unboundedrr rTrQrO test_Interval_is_right_unboundedrsU Aq> , , 55 5 Ar? - - 55 5 AuV} % 8 8D @@ @rQctd}tddddj|tt d|t |dk(sJtddddj|tt d|t |dk(sJtddddj|tt d|t |dk(sJtddddj|tt d|t |dk(sJtt ddj|tt t |t |dk(sJtt ddj|tt t |t |dk(sJtdt dj|tt d|t |t k(sJtdt dj|tt d|t |t k(sJtt t j|tt t |t |t k(sJtdd }td d }t||j|||kk(sJt||j|||kk(sJy) Nr>rrIFTrr_rrFr?)rr)rFr7r4r5rras rOtest_Interval_as_relationalrss A B5% ( 6 6q 9 Br1Ir!Qx  !! ! B4 ' 5 5a 8 Br1Ir!Qx  !! ! B5$ ' 5 5a 8 Br1Ir!Qx  !! ! B4 & 4 4Q 7 Br1Ir!Qx  !! ! RCu - ; ;A >#b"ajRTUVXYRZB[ [[ [ RCt , : :1 =RQZQSTUWXQYAZ ZZ Z Be , : :1 =RAYPRSTVXPYAZ ZZ Z Bd + 9 9! <Br1IrRSUWy@Y YY Y RC  * *1 -RQZAr1K KK KsAsA Aq> ' ' *qAv 66 6 Aq> ' ' *qAv 66 6rQc(td}td}tddj|tt |dt |dk(sJt|dj|tt ||t |dk(sJy)Nr>r?rDrIr{)rr'rFr8r2ras rOtest_Finite_as_relationalrsys As A Q? ( ( +r"Q(Bq!H/E EE E Q  ) )! ,2a8R2Y0G GG GrQc td}tddtdzj|t t t d|t |dt|dk(sJtddddtdzj|t td|t |dk(sJt |dk|dkDjj|t |t kD|tkt|dk(sJtjddtjddzj|t t|d|dk\|dkk(sJy)Nr>rrDrITrbr)rr)r'rFr8r7r4r2r5as_setrr3rrrXs rOtest_Union_as_relationalrsBs A QNYq\ ) 8 8 ; 3r!QxAq "Bq!H- .. . Q4 &1 5 D DQ G Bq!HbAh   a!eQU  " " $ 2 21 5 Q"WBAq* ++ + NN1a 8>>!Q#7 7 - c"Qq'1a4!Q$8 99 9rQc td}ttddtddj |t t t d|t |dt|dk(sJyNr>rrDrIFr)rr(r)r'rFr7r4r2rXs rOtest_Intersection_as_relationalrs`s A !Q1 )M!,3r!QxAq*Bq!H5 67 6rQc td}ttddtdd}|j |t t d|t |dt|dk(sJyr)rr%r)r'rFr7r4r3r>rms rOtest_Complement_as_relationalrs^s A hq!nilU CD   a  Bq!HbAh1a) ** *rQctd}ttddtdd}|j |d|k|dkzt |dzk(sJyr)rr%r)r'rFr3rs rO"test_Complement_as_relational_failrs]s A hq!nilU CD   a !VQ "Q( * ++ +rQc td}ttddtdd}|j |t t |dtd|t|dzk(sJyr)rr,r)r'rFr9r2r4rs rO&test_SymmetricDifference_as_relationalrsZs A x1~y|e LD   a C1a"Q(R1X2E$F FF FrQcRtjjtdtjusJtjj tj tjk(sJtjjtjk(sJy)Nr>)rrvrFrrrrtboundaryrTrQrO test_EmptySetrsh :: # #F3K 0AGG ;; ; ::   /1:: == = ::  !** ,, ,rQc td}tddd}tddd}t||}|j|}|j |r|j |sJ|j |sJ|tdk(sJ|j dk(r|j dk(sJ|j dk(r|j dk(sJt|ddj t|dk(sJt|ddj t|dk(sJttjtjk7sJttdddtdddk7sJtdtdddk7sJtd|d |d |dzsJ||kDd usJ||k\d usJ||kd usJ||kd usJ||kDr||kDsJ||k\r||k\sJ||k\r||ksJ||k\r||k\sJ||kDr||kDsJy) Nr>rDrIrbrrr>rHr{rF) rr'r-rrrrrrrrv)r>rrAorBAandBs rOtest_finite_basicrs!s A!QA!QA A;D KKNE ;;t T!22 2 ??1   IaL  55A:!%%1*$ $ 88q=TXX]* * Q1  ! !SAY .. . Q1  ! !SAY .. . QZZ AJJ .. . Yq!Q' (IaA,> >> > Y 9Q1#5 55 5 VQAvq!t 44 4 Ee   Fu   Ee   Fu   !8q 19" " 6a1f  :!u*$ $ u9U" "rQc d\}}tdd}tdddddd}tdddd}t||||z}d |vsJd|vsJ||fdzvsJd ||zjvsJd ||zvsJ|ddf|z|zjvsJ|dfdf|z|zvsJt|t|}}t dz||f||f||f||fhk(sJ||zj ||zsJ|j tt ttt tzttt dd d tdtd d ztt tztt ttt dd d tdtd d zzk(sJtd ddzj tdddzsJtdddzj td ddzrJtd ddzj tdddzrJtddtdzj |sJtzzdk(sJttjtjzdk(sJttjzdk(sJttfdy)N)HTrrDrIrbrrrr)rrr)rrTr{rrg?rc4ttddzS)NrrI)lenr))coinsrOrPz$test_product_basic..?sc$x1~"56rQ)r)r'rKrr,rrrr-rrrvr:ri) rr unit_lined6d4rHHTTrs @rOtest_product_basicrs DAqAI 1aAq! $B 1aA B Q?D  "F V   F?? q6TQY   FY.779 99 9 Vi/ // / q!9R002 22 2 FA;$)b. (( ( QZB tQw ?? ?b!1$//Q0BCC CQ"--hsB.?.BCC C R Yr] * 5 5f == = tDy~ ! ## # qzz!**$ % ** * qzz$ 1 $$ $ 967rQc tdd}tddtddtdd d |tjtd dtd td dt dfDsJj tjrJt fdfDsJtfdfDrJzzj tjrJy)Nr>TrFrrrrirDrIrfHamEggsc3ZK|]#}|jtj%ywrLrrrgrBs rOrztest_real..Ls=q{{177#=s)+c3zK|]2}fD]&}||zjtj(4ywrLr)rrrrrrr Js rOrztest_real..Ns?\aQPQSTVWYZO\qA  )\)\s8;c3bK|]&}|zjtj(ywrLr)rrrs rOrztest_real..Os$J!AE$$QWW-Js,/) rr)r'rPirrrgr)r>rrrrr rs @@@@@@rO test_realrBssAAARA!QAqtt$A"aA#A% A =aAq!_= == ={{177## # \Aq!Q?\ \\ \J1aAq7IJJJ JA $$QWW-- --rQc>tdd}tdd}tddtdzjdk(sJtddtdzjdk(sJtddt|zjt d|k(sJtddt|zjt d|k(sJtdd|jt d|k(sJtdd|jt d|k(sJtdd||jt d||k(sJtdd||jt d||k(sJtdd||tjtjjtjk(sJtdd||tjtjjtjk(sJtd d jt d d k(sJy) Nr>TrFr?rrDrIrrr) rr)r'rrrrrrrras rO test_supinfrTssAsA QNYq\ ) . .! 33 3 QNYq\ ) . .! 33 3 QNYq\ ) . .#a) ;; ; QNYq\ ) . .#a) ;; ; Q1  ! !SAY .. . Q1  ! !SAY .. . Q1a $ $Aq! 44 4 Q1a $ $Aq! 44 4 Q1aQ-?-? @ D D    Q1aQ-?-? @ D D    UF # ' '3uf+= == =rQctj}td}|j|tjusJ|j t dd|k(sJ|jt ddt ddk(sJ|jtjusJ|jtjk(sJ|jdtjusJy)Nr>rIrr) rrtrrFrrr)rrrrrvrrr>s rOtest_universalsetrgs As A ??1  '' ' 778Aq> "a '' ' ;;x1~ &(1a. 88 8 99 "" " :: ## # ::a=AFF "" "rQcjtdd}tddd}t||z||z||zk(sJy)NrrIrD)r)r'r-)r1pointss rO test_Union_of_ProductSets_sharesrss< Aq>D q!Q F dVm ,t ;; ;rQctddjtk(sJtdd}td|j|hk(sJy)NrrDr>TrF)r) free_symbolsr,rrXs rOtest_Interval_free_symbolsrysF Aq> & &#% // /sA Aq> & &1# -- -rQc tdd}tdd}t|d|ztddtddk(sJt|d|ztdddd tdddd k(sJt||dztdddd td d d dk(sJt||dztddtd d k(sJt||dztdddd td d d dk(sJt||dztddddtd d d dk(sJt||dz dztdd td dk(sJt|d |d zzd |d zzz d|dzzzd|zz td d tdd k(sJt||d|z ztt ttt dtdtzk(sJt|d|z d|dz dzz ztd ddd tt d dtd k(sJtdtddtddk(sJtt |||ztd dt t |||ztd dk(sJtt |tt|td dt t |tt|td dk(sJy)Nr>TrFrrIr_rDrFrrrbNZic d|zSr'rTrXs rOrPz%test_image_interval..s acrQ) rr.r)rr rr#rr)r>rs rOtest_image_intervalrssAsA AqsHRO ,Q ?? ? AqsHRD%8 9Qe$ %% % Aq!tXb!T59 :Aud# $$ $ Aq!tXb!_ -!Q ?? ? Aq!tXb!T59 :Aud# $$ $ Aq!tXb!T48 9Aud# $$ $ AAz8Aq> 2hq!n DD D AqAv1a4'"QT'1BqD8(1a. Ia   Aq1Q3w"b 1 2hsB6G 1b/7   AqsQ!axZ'!Qe)D E!QU+ ,, , M8B? 3xA FF F F1acNHQN 3 VAqs^Xa^ 4 55 5 F1c#a&k*HQN ; VAs3q6{+Xa^ < == =rQc tttdkfdtdzz tdkftdzdf}tdtdkfdtdkfd}tt|td dt td dtt dd t k(sJtt|tddtddk(sJy) NrrDrIrrbTr)rITr{)rr>r.r)r-r rr')rYf1s rOtest_image_piecewisers1a2g,1a4a 01a4,?A AqAv;AF Y 7B Aq(2q/ *eHR4DhxXY[]`bFc.d dd d Ar8Aq> *i1o == =rQc .tdd}tdd}t||dztddjt||tddjtt |dz|dzt |dz|dzk(sJy) Nr>TrFr?rIr_rr)rr.r)rrrras rOtest_image_IntersectionrssAsA Aq!tXb!_66x1~F G Aq> # #HSAq!t_c!Q$1o$N O PP PrQc ttdd}t|d|ztdddtdddk(sJy) Nr>TrFrIrDrbrr)rr.r'rXs rOtest_image_FiniteSetrs;sA AqsIaA. /9Q13E EE ErQc tdd}t||dztddtdddztdd td zk(sJy) Nr>TrFrIr_rrDrbrr)rr.r)r'rXs rOtest_image_UnionrsSsA Aq!tXb!_yAq/AA B a^il * ,, ,rQctdd}t|d|ztjtjk(sJy)Nr>TrFrI)rr.rrvrXs rOtest_image_EmptySetrs1sA AqsAJJ '1:: 55 5rQcttjvsJtt tj ttj usJyrL)r rrgr)rrrrTrQrOtest_issue_5724_7680rs: AGG   RC  % %a (AGG 33 3rQctdjtdk(sJtdttfDsJy)NrDc3K|]:}ttfD])}tdd||jt ddk(+<yw)rrDN)rrr)rr')rrrs rOrz test_boundary..sNLdE]L/91i4==1aPLPLsAA)r'rrrrrTrQrO test_boundaryrsF Q< IaL 00 0 L"E]L LL LrQc tddtddzjtddddk(sJtddddtddddzjtdddk(sJtddtdzjtdddk(sJttddtdd d jtdd k(sJttddtddd jtddk(sJttddddtdd ddd jtddd k(sJy) NrrDrIrbFTrrrer)r)rr'r-rTrQrOtest_boundary_UnionrsX QNXa^ + 5 51aA9N NN N aE4 ( aD% ()*2(i1a6H IJ I QNYq\ ) 3 3yAq7I II I !R(1b/E B K KB    !R(1a.5 A J JB   !Rt,"b$- ??GxB# $$ $rQczttddtdddjtddk(sJy)z2 Testing the boundary of unions is a hard problem rrreFrN)r-r)rr'rTrQrO#test_union_boundary_of_joining_setsrs< !R(2r"2U C L LB   rQctdddddz}|jtddtddztddtddzzk(sJtddddtddddz}||zjtddtddztddtddzztddtddzztddtddzzk(sJy)NrrDTrI)r)rr') open_square second_squares rOtest_boundary_ProductSetrs1at,1K   IaOhq!n$D$,QNYq!_$D%E FF FQ4.!Qd1KKM - ' 1 1!Q(1a.0!Q(1a.01A1a01A1a01 22 2rQcVtddtdz}|j|k(sJyr)r)r'r) line_in_r2s rOtest_boundary_ProductSet_liners*!Q)A,.J   * ,, ,rQctddddjdusJtddddjdusJtddddjdusJtdddjdusJyNrrDFTrIrb)r)is_openr'rTrQrO test_is_openr s| Aq% ' / /5 88 8 Aq$ & . .% 77 7 Aq$ % - - 55 5 Q1  % % .. .rQctddddjdusJtddddjdusJtdddjdusJyr)r) is_closedr'rTrQrOtest_is_closedr s] Aq% ' 1 1T 99 9 Aq$ & 0 0E 99 9 Q1  ' '4 // /rQcVtddddjtddddk(sJyNrrDFT)r)closurerTrQrO test_closurers, Aq% & . .(1a2N NN NrQcVtddddjtddddk(sJyr)r)interiorrTrQrO test_interiorrs, Aq% & / /8Aq$3M MM MrQc&ttdy)Nc.ttjvSrL)r>rrgrTrQrOrPz!test_issue_7841..sa177lrQ)r:rirTrQrOtest_issue_7841rs  9*+rQcttddtddsJttddtdddk(sJtdd}tdd}t||sJt||dk(sJt||z||zsJt||z||zdk(sJttttt htthsJtttt hj t ttthtjusJtttt htthj t ttjusJtttt hj t tdztthtjusJtttt htthj t tdztjusJttdhdhtddtjusJttdhtdhdhtjusJttdtdtjusJtttdtjusJtdd}ttt }ttt||t||sJy)NrrDrIFrT) r2r)r'r1r>r?rLrrrr*)rrrrs rOtest_Eqr ss hq!nhq!n -- - hq!nhq!n - 66 6 1aB 1aB b":: b":   beRU   beRU u $$ $ RAq6*IqcN ;; ; iA$$Q*IqcN ;qvv EE E iAA3 0 5 5a ;qvv EE E iA$$Q!,in = HH H iAA3 0 5 5a1 = HH H j!qc"HQN 3qww >> > j!oz1#s3 4 ?? ? imYq\ *agg 55 5 jlIaL )QWW 44 4 !QB !QB RB+ZB-? @@ @rQc tddddddtddddd }tdd t|d jd usJtd jJtt|d tddddddd k(sJt t fd ttddddddtddddd tddddddd k(sJttdddtddddtdk(sJtdddddtddddz tdddk(sJt tdtdtdt tdtdtdz tt tdtdtdt tdtdtdz t tdtdtdt tdtdtdz k(sJtddtddz ttddtddz tddtddz k(sJy)NrrDrIrbrrrrrFrTc,ttdSr)r'r,rsrOrPz*test_SymmetricDifference..3s .q!eDErQ) r'r)r,rr:rir+rr-rrrs @@rOtest_SymmetricDifferencer)s{!Q1a#A!Q1b!ABA q!e 4 @ @D HH H q!e 4 @ @ HH H )!Q? @!Q1aB' (( ( 9EG yAq!Q: aAq" % '*3Aq!Q1b*I JJ J yAq19Q1a3H I|   Q1a #i1a&; ; aA    qtQqT1Q4 3qtQqT1Q4#8 8E#adAaDRSTURVBWZ]^_`a^bdefgdhjklmjnZoBo !adAaD !C!adAaD$9 9=; ;; ; Aq>HQN *eHQN QN5$QNXa^;/= == =rQc ddlm}tdd}t||j t j tt j t||k(sJy)Nr)logrTrF)&sympy.functions.elementary.exponentialrrr'rrrgr()rrs rOtest_issue_9536r AsN:sA SV  & &qww /<SVWXSYIZ3[ [[ [rQc ~td}t|}td|}ttj|ttj|dk(sJtt dd|tt dd|dk(sJtt dd|tt t ddddt dddd|k(sJt|tjt|tjdk(sJt|t ddt|t dddk(sJy)NrBrIFrrDrbT)rr'r%rrgr)r-)rBrrs rOtest_issue_9637r"Gs s A! A!QA aggq !ZU%K KK K hq!na (Jx1~qSX,Y YY Y hq!na (5!Qt4hq!T56QRTUV WW W a !Z177U%K KK K a!Q (Jq(1a.SX,Y YY YrQc Bttttdttttddk(sJttddttttddttdttdk(sJy)NrDFrrIrb)r%r'r?r>rTrQrOtest_issue_9808r$Sss ilIaL 1Z ! iXYlej5k kk k i1a()Aq!Q*? @9Q<1> ?? ?rQcttt ttdtt tk(sJtt tj dt j usJyr)r-r)rr'rrrrTrQrOtest_issue_9956r&ZsS 2#r"IaL 1Xrc25F FF F RC  % %a (AFF 22 2rQc tdt}tj}t gd}t ||t tt ttt |t tk(sJt t dttt ttd|t |t ttk(sJt t tttt tt|t t tthttth|k(sJt t ttdt ttt|t t dttt ttt|dk(sJt t ttdt ttdd|t t dtt|k(sJt |t |dtt d|tt |t tk(sJt t ttttt ttttd|t |t ttttk(sJt t tdzdttt tdzdtt|t |t tdzttk(sJy)Nr)rrrrDrIrbFr) r)rrrgr r(r'rArBr>r@rr)rrEmats rOtest_issue_Symbol_interr)_sPBA A  C 1ilIaO <Q ! % && &  !Q*IaA,> BQ !Q( )) )  !Q*IaOQ ?\1a&1a)4a8 99 9  !Q*IaA,> BYq!Q'1a);QO PP P  !Q*IaAq,A1 EYq!Q'+ ,, , 9S!Q/1c11E FQ ! % && &  #a&#a&19SVSVQ3OQR SQ #a&#a&12 33 3  !Q$3q62IadAs1v4NPQ RQ !Q$A/0 11 1rQc.tjdzsJy)Nr)rrerTrQrOtest_issue_11827r+us ;;>>rQc tdztdzdz z }tt|tjt t t dt dt ddk(sJtt|t ddt t dk(sJtt|t ddt t t dt tdd t k(sJy) NrIrrrDTr_rbrr)r>r.rrgr-r)rr rYs rOtest_issue_10113r.ys 1adQhA Aq!'' "eHbS!,Y&Z ZZ Z Aq(2q/ *hsA.> >> > Aq(2q/ *eHbS!4DhxXY[\~_aFb.c cc crQcttdtdd}tt t j t||gk(sJy)Ncbtttjt t SrL)rr(rrgr'r>rTrQrOrPz"test_issue_10248..s4 QWWil CDrQrTrF)r:rirrr(rrgr')rs rOtest_issue_10248r1sB D sA  QWWil3 4 ;; ;rQc tddtddz}ttj|ttjt tddtdddk(sJttj |ttj t tddtdddk(sJy)NrrDrIrbFr)r)r%rrtr-rdrs rOtest_issue_9447r3sA!Q'A anna (J NNE(1a.(1a.AE-S SS S ajj! $ JJhq!nhq!n=)O OO OrQctddk(dusJtddk7dusJttdttdttdttdy) NrIrbFTctddkSNrIrbrArTrQrOrPz"test_issue_10337..ilQ.rQctddkSr6rArTrQrOrPz"test_issue_10337..ila/rQctddkDSr6rArTrQrOrPz"test_issue_10337..r7rQctddk\Sr6rArTrQrOrPz"test_issue_10337..r9rQ)r'r:rirTrQrOtest_issue_10337r<s\ aLA % '' ' aLA $ && & 9./ 9/0 9./ 9/0rQcttdtddtjtj tj tjtjg}tdd}|D]}||vrJtdd}tdd }|dzt||d zvsJ|t||d zvsJtddttddtddvsJtt tjttjusJtt tjt tjusJy) NrDrIrrr>TrFnrFrr) rvr'r)rr0rrNaNrrrrr)badintervalrr>r>s rOtest_issue_10326rBs2! A      C1~H !   ! sA E *B q5HQA& && & XaQ' '' ' Aq>Yx1~x1~F FF F RC  % %b )QWW 44 4 RC  % %rc *agg 55 5rQctj}tdd}t|t}tj }||z||zk(sJ||z||zk(sJ||z||zk(sJy)NrTrF)rrtrr)rrg)rr inf_intervalRs rOtest_issue_2799rFso AsAAr?L A | |a/ // / q5AE>> | |a/ // /rQc2tt djtt dddk(sJtdtjtdtddk(sJtt tjtt tk(sJy)NrTF)r)rrrTrQrOtest_issue_9706rHsw RC  # #xQe'D DD D Ar? " "hq"eT&B BB B RC  $ $"b(9 99 9rQc ttt ttt}ttt ttt }tt tttz|k(sJtttt tz|k(sJtt ttt z|k(sJtt tt tz|k(sJyrL)r-r)rr')reals_plus_infinityreals_plus_negativeinfinitys rOtest_issue_8257rLs"b 19R=A"'"b(99bS>"J RC y} ,0C CC C R=8RC, ,0C CC C RC y"~ -1L LL L bS>HbS"- -1L LL LrQctjtjz tk(sJtjtjz tk(sJyrL)rrcrvrgrTrQrOtest_issue_10931rNs8 :: "h .. . :: 8 ++ +rQcfttt ttt d}ttt t j |k(sJtt j ttd}tttt j |k(sJyr)r(r)rr'r>rrg)solns rOtest_issue_11174rQsq "b)9aR=5 ID  1" qww /4 77 7 1 >D  ! agg .$ 66 6rQclttttttzdz dz tdz zt j jdtdttttttzdz dz tdz zt j k(sJy)NrIrDr) r#rrBrrrrcrr"rTrQrOtest_issue_18505rSs F1d2a46A:1#456 C L LQ O Q41Q RT0A+B!CQZZP Q RR RrQc ttt tttttk(sJtjtt ttdtgttk(sJtjtt tttgttk(sJtjtddtt tddtgtjtddttddtt gcxk(rettddttddtt cxk(r2ttddttdtt k(sJJtdtzt z tdztdtdtzt z zcxk(r2ttdtzt z tddk(sJJtdttztttdzcxk(r(ttdttdk(sJJtthttt hzttthttt hdk(sJy)NrrIrbrDFr)r(r'rr>_handle_finite_setsr?rTrQrOtest_finite_set_intersectionrVsT  2#q)9Q< 8IaL HH H  + +YsA-> !Q,P QU^_`Ua aa a  + +YsA-> ! ,M NR[\]R^ ^^ ^  + +Yq!Q-BIaQRTUDV,W X(()Aq!*S)TU =Yq!Q'1aA)>? = Yq!Q'1a);< == == = QqSU il *! y1Q'' EYqs1u%y|eD EE EE E Q<)A, &)A,1*E AYq\9Q<%@ AA AA A aS>Iq!f- -Ys^Y1v%6G HH HrQctdtdgttfdttfdttfdttfdttfdttfdtt tk(sJt t tk(sJtdhdhtddk(sJt ddhdd htdk(sJy) NrDrIctSrLrrsrOrPz5test_union_intersection_constructor..s eDkrQctSrLr(rYsrOrPz5test_union_intersection_constructor..s l40rQc,ttSrL)r-tuplerYsrOrPz5test_union_intersection_constructor..seE$K0rQc,ttSrL)r(r]rYsrOrPz5test_union_intersection_constructor..sl5;7rQc(tdDS)Nc3 K|]}|ywrLrTr s rOrzHtest_union_intersection_constructor....s#4!A#4 rrYsrOrPz5test_union_intersection_constructor..se#4t#44rQc(tdDS)Nc3 K|]}|ywrLrTr s rOrzHtest_union_intersection_constructor....s*;1*;rar[rYsrOrPz5test_union_intersection_constructor..sl*;d*;;rQrb)r'r: Exceptionr-r,r(rYs@rO#test_union_intersection_constructorres aL)A, 'D 9)* 901 901 978 945 9;< T y$/ // / D "i&6 66 6 !qc?i1o -- - AA '9Q< 77 7rQctttjt dtjdtvsJyr)rr-r)rrrTrQrOtest_Union_containsrgs8 e rc1x}}Q35 55 5rQcttttftjj tjdzdusJy)NrIT)r.r>rrgrrTrQrOtest_issue_16878bri s6 A1vqww ' 1 1!''1* = EE ErQc :ttdddtdddtdddjttdddtdddzk(sJtt ddt ddjttt ddtdzt ddtdzk(sJtt ddt ddjttt ddtdzt ddtdzk(sJtt ddt j t j jtt ddtdzk(sJtt ddjtt ddtdzk(sJtt j t ddt j jtt ddtdzk(sJtt t tjtt t ttdzk(sJtt j jtt j k(sJtjtt j k(sJttdtd }td }td }tt|t||jtt|tdzt||tdzzk(sJy) NrDrIrbrrrrc*ttdS)NrB)r&rrTrQrOrPz$test_DisjointUnion..smF3K8rQr>r?r@) r&r'rewriter-r)rrvrr:rir)r>r?r@s rOtest_DisjointUnionrmsS 1a+Yq!Q-?1aQRAS T \ \]b chqrsuvxyhz~GHIKLNO~PiP QQ Q !Q!Q 8 @ @ G5QYZ[]^Q_bklmbnQnpxyz|}p~BKLMBNqNLO OO O !Q!Q 8 @ @ G5QYZ[]^Q_bklmbnQnpxyz|}p~BKLMBNqNLO OO O "a!**ajj A I I% PT\]_abTcfopqfrTr rr r "a ) 1 1% 8HROiXYlOR[\]R^>^ ^^ ^  $ , ,U 3qzz AA A ? " "5 )QZZ 77 7 989s As As A 1yA 7 ? ? F9UVr?rTrQrOtest_DisjointUnion_is_iterablerq*s QZZ = I IT QQ Q QWW - 9 9U BB B 1a+QZZ1a I U UY] ]] ] QZZ 0 < < EE ErQc dttdddtdddtdddvsJdttdddtdddtdddvsJdttdddtdddtdddvsJdttdddtdddtdddvsJdttdddtdddtdddvsJd ttdddtdddtdddvsJd ttdddtdddtdddvsJd ttdddtdddtdddvsJd ttdddtdddtdddvsJd ttdddtdddtdddvsJdttdvsJdttdddtdddtdddvsJtdftttttt j ttvsJtdftttttt j ttvsJtdftttttt j ttvsJtdftttttt j ttvsJdttddtddvsJdttddtddvsJdttddtddvsJdttddtddvsJy)NrrrDrI)rrD)rrIrrJrH)rIrrIrDr*)rrDrI)rrr)rr)rr)rrD)rr)rrD)r&r'r>r?r@rrvr)rTrQrOtest_DisjointUnion_containsrt0s ]9Q1#5yAq7I9UVXY[\K]^ ^^ ^ ]9Q1#5yAq7I9UVXY[\K]^ ^^ ^ ]9Q1#5yAq7I9UVXY[\K]^ ^^ ^ ]9Q1#5yAq7I9UVXY[\K]^ ^^ ^ ]9Q1#5yAq7I9UVXY[\K]^ ^^ ^ ]9Q1#5yAq7I9UVXY[\K]^ ^^ ^ ]9Q1#5yAq7I9UVXY[\K]^ ^^ ^ ]9Q1#5yAq7I9UVXY[\K]^ ^^ ^ ]9Q1#5yAq7I9UVXY[\K]^ ^^ ^ M)Aq!*PR[\]_`bcRde ee e =38 88 8 yAq'99Q1;MyYZ\]_`Oab bb b q6]9Q1#5qzz9Q<P PP P q6]9Q1#5qzz9Q<P PP P q6]9Q1#5qzz9Q<P PP P q6]9Q1#5qzz9Q<P PP P }Xa^Xa^D DD D }Xa^Xa^D DD D =!Q!QH HH H }Xa^Xa^D DD DrQcttddddtttt}t |tdftdftdfg}gd}t }||vsJ|j|t }||vsJ|j|t }||vsJ|j|t }||vsJ|j|t }||vsJ|j|t }||vsJ|j|t }||vsJ|j|ttfdttdy) NrbrrdrrD))rbr)rr)rdr)rrctSrL)next)itsrOrPz)test_DisjointUnion_iter..`s $r(rQc\tttddtjSr)iterr&r)rrvrTrQrOrPz)test_DisjointUnion_iter..bstM(1a.!**$MNrQ) r&r'r>r?r@rzrwremover: StopIterationrj)rL1L2nxtrxs @rOtest_DisjointUnion_iterrFs?i1a+Yq!Q-?@A aB a&1a&1a& !B )B r(C "99IIcN r(C "99IIcN r(C "99IIcN r(C "99IIcN r(C "99IIcN r(C "99IIcN r(C "99IIcN =*+ :NOrQc Ztttddddtttt dk(sJttt jt jtttt t jdk(sJttdy)Nrbrrdrc\tttddtjSr)rr&r)rrvrTrQrOrPz(test_DisjointUnion_len..gss=!Q#LMrQ) rr&r'r>r?r@rrvr:rjrTrQrOtest_DisjointUnion_lenrdso }Yq!Q2IaA4FG HA MM M }QZZYq!Q5GT UYZ ZZ Z :MNrQc rtttddgttddg}tt}t t ||}|j|usJttddttddgjt t t|usJyNrDrI) r*r'r rrr/rkindr))rmkks rOtest_SetKind_ProductSetris9VQF^,i1v.GHA J B "b!"A 66Q;; hq!ni1v&? @ E EQZ[egiQjIk kk krQcRtddjttusJyr)r)rr/rrTrQrOtest_SetKind_Intervalrps! Aq>  '*"5 55 5rQctjjttusJt jtusJyrL)rrtrr/r rvrTrQrO"test_SetKind_EmptySet_UniversalSetrss3 >>  '-"8 88 8 ==GI %% %rQctdtddgjttusJtddjtt usJyr)r'r rr/r rrTrQrOtest_SetKind_FiniteSetrwsI Q1v ' , , 0F FF F Q?  7:#6 66 6rQctttddgtddjt t usJttddtddjt tusJy)NrDrIrd)r-r'r r)rr/r rrTrQrOtest_SetKind_Unionsr{sa 61a&>*HQN ; @ @GMDZ ZZ Z !Q!Q 0 5 59L LL LrQctddd}tdd}t||jt t usJy)NrDrIrbrr)r'r)r&rr/rr;s rOtest_SetKind_DisjointUnionrs;!QAAA A  # #wz': :: :rQcjd}|dhtjttusJ|t ddtjttusJ|dht j jttusJ|t ddt ddtdjttusJd}|dht j jttusJ|dhtjtusJd}|t j hdjttusJ|hd tjttusJ|thd jtusJy) Nct|ddiSNrFrargss rOrPz-test_SetKind_evaluate_False..seT2E2rQrDrIrrct|ddiSrr[rs rOrPz-test_SetKind_evaluate_False..slD959rQct|ddiSr)r%rs rOrPz-test_SetKind_evaluate_False..sj$77rQ>rDrIrr>rDrIrbrr) rvrr/rr)rrtr r')rr rs rOtest_SetKind_evaluate_Falsers_2A aS(  GJ$7 77 7 Xa^X & + +wz/B BB B aS!.. ! & &'-*@ @@ @ Xa^Xa^ aL $'*"5 66 69A aS!.. ! & &'**= == = aS(  GI -- -7A Q^^\ * / /7=3I II I _h ' , , 0C CC C X ' , , 99 9rQcRttttdztdd}|t dz j t tusJ|tddzj t tusJ|t dzj t tusJy)NrIrDrrb)r#rrBr)r'rr/rr-s rOtest_SetKind_ImageSet_Specialrs16"HQN3A !  " "gj&9 99 9 R & &'**= == = "  # #wz': :: :rQcttddtd}d|vsJd|vsJtdtddrJtd|vsJtdd}||vsJ|j|sJ|j|rJd|vsJttddtddd}|j|sJ|j|sJy)NrDrIr)r'r2rors rOtest_issue_20089rs)Aq/9Q<0A A:: a<<!Yq!_%% % Q<1  !QA 6M6 ::a==zz!}  6M6)Aq/9Q<A6A ::a== ::a==rQctdd}t||}tdddd}|j|dusJtd}|j|dusJt||j t j usJt||j t jusJtdhthj tdhthk(sJy) NrDrIrJrHrsr*TF) r'r*rr2simplifyrrrr>)rrr4ds rOtest_issue_19378rs!QA1aA&&&&1A ;;q>T !! !! A ;;q>U "" " a8   !&& (( ( a8   !'' )) ) qcA3< "b!qcl 22 2rQc 2td}ttt|tdtsJttt|t ddtsJtttdt d|tsJy)NrBrfrD)rrr(r$r)rps rOtest_intersection_symbolicrsms A l58U3Z8, GG G l58Xa-=> MM M l5:x1~> MM MrQc 4tddd}ttd|tdddttd|tdddk(sJttd|tdddttd|tdddk(sJy) NrBT)r\rrrir)rr(r$r)rps rO"test_intersection_symbolic_failingrssD40A b! eAsA&6 7< b! eBQ'<) )) ) Qq#q)9 :lQr3*?, ,, ,rQcztdz }t|jdttddk(sJy)Ng-DT! @rIz3.23108914886517e-15)rr'rar rXs rOtest_issue_20379rs7 A Q<  a Ie4JA.N$O OO OrQctdtddztddzz}|jdhk(sJyr)r'rrrrs rOtest_finiteset_simplifyrs;!SVQYQ*+A 1::rD)rr/rrr3rrrs rOtest_issue_14336rsQ As AR1X__& ''AQVV]]_ %%ArQctdd\}}}td|t|dz}tdd}|j|dk(sJy)Nzx, y, zTrFrDrI)rr)r)r>r?r@rrs rOtest_issue_9855rsLid+GAq! !Q(1a. (B !QB << t ## #rQN)sympy.concrete.summationsrsympy.core.addrsympy.core.containersrsympy.core.functionrsympy.core.kindrr sympy.core.numbersr r r r rrrsympy.core.powerrsympy.core.singletonrsympy.core.symbolrrsympy.core.sympifyr(sympy.functions.elementary.miscellaneousrrr$sympy.functions.elementary.piecewiser(sympy.functions.elementary.trigonometricrrsympy.logic.boolalgrrsympy.matrices.kindrsympy.matrices.denser sympy.polys.rootoftoolsr!sympy.sets.containsr"sympy.sets.fancysetsr#r$sympy.sets.setsr%r&r'r(r)r*r+r,r-r.r/mpmathr0sympy.core.exprr1sympy.core.relationalr2r3r4r5r6 sympy.logicr7r8r9sympy.testing.pytestr:r;r<sympy.utilities.iterablesr=rr>r?r@rArBrvrqryr}rrrrrrrrrrr rr$r2r5r8r<rRrTrVrXr\rbrlrqrurzr~rrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrr r rrrrrr r"r$r&r)r+r.r1r3r<rBrFrHrLrNrQrSrVrergrirmrorqrtrrrrrrrrrrrrrrrrrrrTrQrOrsH)+&5EEE "/&EE:?-*'*(2[[[[%::$$FF,## ::$)N'X6!!FH8=6I1X;? &<.b"-J.IbCIL.8 AFR> 2I*X= @ 3< A68/KbC54E8@v 0-($ @ A 72H 97*++G - #D$8N.$>& #< .=>>PPF , 6 4 L $   2- /0 ON,A<=0\ Z?3 1,d<O1600: M, 7R H08&5 FF K"K F E,P<O l6&7M; :;  3N,,P &$rQ