o
    h.                     @   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   `/var/www/html/ai/venv/lib/python3.10/site-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   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__	sympy.abcr   r   sympy.assumptions.assumer   sympy.assumptions.askr   sympy.printingr   r
   r   r   r   r   r   r	   <module>   s    