o
    *ήcN                     @   s   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	d
 Zdd Zdd Zdd Zdd Zdd ZdS )    )	unchanged)oo)Eq)S)SymbolContains)	FiniteSetInterval)raisesc                  C   sj   t tdd  tdtjtju sJ tdtjtju sJ tddd} t| tjt| tjdd	ks3J d S )
Nc                   S   s   t tjdS )N   )r   r   Integers r   r   E/tmp/pip-target-vg8gfxp4/lib/python/sympy/sets/tests/test_contains.py<lambda>   s    z%test_contains_basic.<locals>.<lambda>   iT)integerF)evaluate)	r   	TypeErrorr   r   r   trueNaturalsfalser   )r   r   r   r   test_contains_basic
   s
   $r   c                  C   s   t d} tt| tddsJ tdd| tj| k| dk@ ks"J t| tdtjks.J t| tddtjks;J t| tj	tjksFJ d S )Nxr   r   )
r   r   r   r
   containsr   Zeror	   r   r   )r   r   r   r   test_issue_6194   s   &r   c                   C   s:   t ttt tdksJ t t tt tdksJ d S )NF)r   r   r
   r   r   r   r   test_issue_10326   s    r   c                  C   s@   t d} t d}t d}t| t|t|dj||hksJ d S )Nr   yzT)r   r   r	   r   binary_symbols)r   r    r!   r   r   r   test_binary_symbols!   s   r#   c                      s(   t d t dtt fdd d S )Nr   r    c                      s   t  t S )N)r   r	   as_setr   r   r    r   r   r   .   s   ztest_as_set.<locals>.<lambda>)r   r   NotImplementedErrorr   r   r%   r   test_as_set)   s   r'   c                   C   s   t tdd  d S )Nc                   S   s
   t dd S )Nr   r   r   r   r   r   r   3   s   
 z!test_type_error.<locals>.<lambda>)r   r   r   r   r   r   test_type_error1   s   r(   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'   r(   r   r   r   r   <module>   s    		