o
    à8Va.  ã                   @   sT   d Z ddlmZmZ ddlmZ ddlmZ ddlm	Z	 dd„ Z
dd	„ Zd
d„ ZdS )zO
rename this to test_assumptions.py when the old assumptions system is deleted
é    )ÚxÚy)Úglobal_assumptions)ÚQ)Úprettyc                   C   sR   t  t¡t  t¡ksJ ‚t  t¡t  t¡ ksJ ‚t  t¡ t  t¡ ks'J ‚dS )zTest for equalityN)r   Úpositiver   © r   r   úL/usr/lib/python3/dist-packages/sympy/assumptions/tests/test_assumptions_2.pyÚ
test_equal
   s    r
   c                   C   s2   t t t¡ƒdksJ ‚t tjtjhƒdksJ ‚d S )NzQ.positive(x)z{Q.integer, Q.positive})r   r   r   r   Zintegerr   r   r   r	   Útest_pretty   s   
ÿÿr   c                   C   sœ   t  tdk¡ tdkt v sJ ‚t  tdk¡ tdkt vsJ ‚t  tdktdk¡ tdkt v s0J ‚tdkt v s8J ‚t  ¡  tdkt vsDJ ‚tdkt vsLJ ‚dS )zTest for global assumptionsr   N)r   Úaddr   Úremover   Úclearr   r   r   r	   Útest_global   s   r   N)Ú__doc__Z	sympy.abcr   r   Zsympy.assumptions.assumer   Zsympy.assumptions.askr   Zsympy.printingr   r
   r   r   r   r   r   r	   Ú<module>   s    