
    sg                         d dl mZ d dlmZ d dlmZ d dlmZ d dlm	Z	 d dl
mZ d dlmZmZ d dlmZ d	 Zd
 Zd Zd Zd Zd Zy)    )	unchanged)oo)Eq)S)SymbolContains)	FiniteSetInterval)raisesc                  b   t        t        d        t        dt        j                        t        j
                  u sJ t        dt        j                        t        j                  u sJ t        dd      } t        | t        j                        t        | t        j                  d      k(  sJ y )	Nc                  6    t        t        j                  d      S )N   )r	   r   Integers     Q/var/www/html/venv/lib/python3.12/site-packages/sympy/sets/tests/test_contains.py<lambda>z%test_contains_basic.<locals>.<lambda>   s    hqzz15 r      iT)integerF)evaluate)	r   	TypeErrorr	   r   r   trueNaturalsfalser   )r   s    r   test_contains_basicr      sy    
956Aqzz"aff,,,B

#qww...sD!AAqzz"hq!**u&MMMMr   c                     t        d      } t        t        | t        dd            sJ t        dd      j	                  |       t
        j                  | k  | dk  z  k(  sJ t        | t        d            t
        j                  k7  sJ t        | t        dd            t
        j                  k7  sJ t        | t
        j                        t
        j                  k7  sJ y )Nxr   r   )
r   r   r	   r   containsr   Zeror
   r   r   )r    s    r   test_issue_6194r#      s    sAXq(1a.111Aq>""1%!&&A+!q&)AAAAAy|$///Ax1~&!''111Aqzz"agg---r   c                      t        t        t        t         t                    dk(  sJ t        t         t        t         t                    dk(  sJ y )NF)r	   r   r   r   r   r   test_issue_10326r%      s@    B"b)*e333RC2#r*+u444r   c            
          t        d      } t        d      }t        d      }t        | t        |t        |d                  j                  ||hk(  sJ y )Nr    yzT)r   r	   r
   r   binary_symbols)r    r'   r(   s      r   test_binary_symbolsr*   "   sP    sAsAsAAyBq$K0 

.QF# # #r   c                  ~   t        d      } t        d      }t        | t        |            j                         t        |      k(  sJ t        | t        j
                        j                         t        j
                  k(  sJ t        | t        j                        j                         t        j                  k(  sJ y )Nr    r'   )r   r	   r
   as_setr   r   Reals)r    r'   s     r   test_as_setr.   *   s    sAsAAy|$++-1===Aqzz"))+qzz999Aqww&&(AGG333r   c                  &    t        t        d        y )Nc                      t        dd       S )Nr   r   r   r   r   r   z!test_type_error.<locals>.<lambda>4   s    hq$/ r   )r   r   r   r   r   test_type_errorr1   2   s    
9/0r   N)sympy.core.exprr   sympy.core.numbersr   sympy.core.relationalr   sympy.core.singletonr   sympy.core.symbolr   sympy.sets.containsr	   sympy.sets.setsr
   r   sympy.testing.pytestr   r   r#   r%   r*   r.   r1   r   r   r   <module>r:      s<    % ! $ " $ ( 1 'N.5
#41r   