U
    Ç-e.  ã                   @   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t‚t  t¡t  t¡ ks2t‚t  t¡ t  t¡ ksNt‚dS )zTest for equalityN)r   Úpositiver   ÚAssertionError© r	   r	   úk/var/www/html/Darija-Ai-Train/env/lib/python3.8/site-packages/sympy/assumptions/tests/test_assumptions_2.pyÚ
test_equal
   s    r   c                   C   s2   t t t¡ƒdkst‚t tjtjhƒdks.t‚d S )NzQ.positive(x)z{Q.integer, Q.positive})r   r   r   r   r   Úintegerr	   r	   r	   r
   Útest_pretty   s    
ÿÿr   c                   C   sœ   t  tdk¡ tdkt kst‚t  tdk¡ tdkt ks<t‚t  tdktdk¡ tdkt ks`t‚tdkt kspt‚t  ¡  tdkt ksˆt‚tdkt ks˜t‚dS )zTest for global assumptionsr   N)r   Úaddr   r   Ú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   