
    wg.                     N    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 Z
d Zd Zy	)
zO
rename this to test_assumptions.py when the old assumptions system is deleted
    )xy)global_assumptions)Q)prettyc                  H   t        j                  t              t        j                  t              k(  sJ t        j                  t              t        j                  t               k7  sJ t        j                  t               t        j                  t               k(  sJ y)zTest for equalityN)r   positiver        o/home/mcse/projects/flask/flask-venv/lib/python3.12/site-packages/sympy/assumptions/tests/test_assumptions_2.py
test_equalr   
   sb    ::a=AJJqM)))::a=QZZ]N***JJqM>ajjm^+++r   c                      t        t        j                  t                    dk(  sJ t        t        j                  t        j                  h      dk(  sJ y )NzQ.positive(x)z{Q.integer, Q.positive})r   r   r	   r   integerr
   r   r   test_prettyr      sG    !**Q- O333	
QYY!$=> > >r   c                     t        j                  t        dkD         t        dkD  t         v sJ t        j                  t        dkD         t        dkD  t         vsJ t        j                  t        dkD  t        dkD         t        dkD  t         v sJ t        dkD  t         v sJ t        j
                          t        dkD  t         vsJ t        dkD  t         vsJ y)zTest for global assumptionsr   N)r   addr   remover   clearr
   r   r   test_globalr      s    1q5!E((((a!e$A,,,,1q5!a%(E((((E((((A,,,,A,,,,r   N)__doc__	sympy.abcr   r   sympy.assumptions.assumer   sympy.assumptions.askr   sympy.printingr   r   r   r   r
   r   r   <module>r      s'     7 # !,>-r   