o +< iã@sðddlmZddlmZddlmZmZddlmZm Z m Z m Z m Z m Z mZmZddlmZmZmZmZmZmZddlmZedƒZe ee¡dd „ƒZe ee¡d d „ƒZe ee¡d d „ƒZe ee¡d d „ƒZe ee¡d d „ƒZe ee¡dd „ƒZe ee ¡dd „ƒZe ee ¡dd „ƒZe ee ¡dd „ƒZe ee ¡dd „ƒZe e e ¡dd „ƒZe e e ¡dd „ƒZe e e ¡dd „ƒZe e e¡dd „ƒZe e e ¡dd „ƒZe e e ¡dd „ƒZe e e ¡dd „ƒZe e e ¡dd „ƒZdS)é)ÚS)Úsympify)ÚMinÚMax)ÚEmptySetÚ FiniteSetÚ IntersectionÚIntervalÚ ProductSetÚSetÚUnionÚ UniversalSet)Ú ComplexRegionÚNaturalsÚ Naturals0ÚIntegersÚ RationalsÚReals)Ú DispatcherÚ union_setscCó|S©N©©ÚaÚbrrúT/home/app/PyTorch/.pytorch/lib/python3.10/site-packages/sympy/sets/handlers/union.pyÚ_órcCrrrrrrrrrcCrrrrrrrrrcCrrrrrrrrrcCrrrrrrrrrcCrrrrrrrr"rcCs&t||ƒ}||kr |S||kr|SdSr)r)rrZ intersectrrrr&s ÿcCs`| tj¡r t |¡}|jr.|js|jstt|j|jƒƒS|jr.|jr.tt|j|jƒddSdS)NT)Úpolar) Ú is_subsetrrrZ from_realZis_ComplexRegionrr Úsetsrrrrr.s    cCs|Srrrrrrr=rcCrrrrrrrrBrcCsx| |¡r|St|jƒt|jƒkrdSt|jƒdkr:|j\}}|j\}}||kr/|t||ƒS||kr:t||ƒ|SdS)Né)r Úlenr!r )rrZa1Za2Úb1Úb2rrrrFs   cCs| |¡r|SdSr)r rrrrrUs cCs¸| |¡rZt|j|jƒ}t|j|jƒ}||ks#||kr%||vr%||vr%dSt|j|jƒ}t|j|jƒ}|j|ks;|joB|j|kpB|j}|j|ksK|joR|j|kpR|j}t||||ƒSdSr)Z_is_comparablerÚendrÚstartÚ left_openÚ right_openr )rrr&r'r(r)rrrr[s ÿÿñcCstjSr)rr rrrrrnscCsŽ|jot| |j¡ƒtjuo|jj}|jo#t| |j¡ƒtjuo#|jj}|s(|rE|jo/|j|v}|jo7|j|v}t |j|j||ƒ}||hSdSr) r(rÚcontainsr'rÚtrueÚ is_finiter)r&r )rrZopen_left_in_b_and_finiteZopen_right_in_b_and_finiteZ open_leftZ open_rightZnew_arrrrrs ÿþÿþcCst|j|jBŽSr)rZ _elementsrrrrr…scs4t‡fdd„|Dƒƒrt‡fdd„|DƒŽˆhSdS)Nc3s|] }ˆ |¡dkVqdS)TN©r*©Ú.0Úx©rrrÚ Œs€z_..csg|] }ˆ |¡dkr|‘qS)Tr-r.r1rrÚ Žsz_..)Úanyrrrr1rr‰sÿcCsdSrrrrrrr‘rN)Zsympy.core.singletonrZsympy.core.sympifyrZ(sympy.functions.elementary.miscellaneousrrZsympy.sets.setsrrrr r r r r Zsympy.sets.fancysetsrrrrrrZsympy.multipledispatchrrÚregisterrrrrrÚsV (