
    \h.                     N    S r SSKJrJr  SSKJr  SSKJr  SSKJ	r	  S r
S rS rg	)
zO
rename this to test_assumptions.py when the old assumptions system is deleted
    )xy)global_assumptions)Q)prettyc                  Z   [         R                  " [        5      [         R                  " [        5      :X  d   e[         R                  " [        5      [         R                  " [        5      ) :w  d   e[         R                  " [        5      ) [         R                  " [        5      ) :X  d   eg)zTest for equalityN)r   positiver        b/var/www/auris/envauris/lib/python3.13/site-packages/sympy/assumptions/tests/test_assumptions_2.py
test_equalr   
   sb    ::a=AJJqM)))::a=QZZ]N***JJqM>ajjm^+++r   c                      [        [        R                  " [        5      5      S:X  d   e[        [        R                  [        R                  15      S:X  d   eg )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                     [         R                  " [        S:  5        [        S:  [         ;   d   e[         R                  " [        S:  5        [        S:  [         ;  d   e[         R                  " [        S:  [        S:  5        [        S:  [         ;   d   e[        S:  [         ;   d   e[         R
                  " 5         [        S:  [         ;  d   e[        S:  [         ;  d   eg)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   