U
    ZÊ¹j�  ã                   @   sT   d dl mZmZ d dlmZmZ d dlmZmZ dd„ Z	dd„ Z
dd	„ Zd
d„ ZdS )é    )ÚaskÚQ)ÚassumingÚglobal_assumptions)ÚxÚyc                	   C   sB   t t t¡ƒ� tt t¡ƒs"t‚W 5 Q R X tt t¡ƒr>t‚d S ©N)r   r   Úintegerr   r   ÚAssertionError© r   r   úc/var/www/html/bwave/python/venv/lib/python3.8/site-packages/sympy/assumptions/tests/test_context.pyÚtest_assuming   s    r   c                
   C   sì   t t t¡ƒrt‚t t t¡ƒr$t‚tt t¡ƒ�Œ t t t¡ƒsFt‚t t t¡ƒrXt‚tt t¡ƒ�* t t t¡ƒszt‚t t t¡ƒsŒt‚W 5 Q R X t t t¡ƒs¨t‚t t t¡ƒrºt‚W 5 Q R X t t t¡ƒrÖt‚t t t¡ƒrèt‚d S r   )r   r   r	   r   r
   r   r   r   r   r   r   Útest_assuming_nested
   s    r   c                	   C   sR   z&t t t¡ƒ� dd  W 5 Q R X W n tk
r:   Y nX tt t¡ƒrNt‚d S )Né   r   )r   r   r	   r   ÚZeroDivisionErrorr   r
   r   r   r   r   Útest_finally   s    r   c                	   C   st   t  t t¡¡ tƒ �: tt t¡ƒs*t‚t  t t¡¡ tt t¡ƒrLt‚W 5 Q R X tt t¡ƒsht‚t  	¡  d S r   )
r   Úaddr   r	   r   r   r   r
   ÚremoveÚclearr   r   r   r   Útest_remove_safe    s    r   N)Zsympy.assumptionsr   r   Zsympy.assumptions.assumer   r   Z	sympy.abcr   r   r   r   r   r   r   r   r   r   Ú<module>   s   