
    g.                     P    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d	S )
zO
rename this to test_assumptions.py when the old assumptions system is deleted
    )xy)global_assumptions)Q)prettyc                  P   t          j        t                    t          j        t                    k    sJ t          j        t                    t          j        t                     k    sJ t          j        t                     t          j        t                     k    sJ dS )zTest for equalityN)r   positiver        f/var/www/html/ai-engine/env/lib/python3.11/site-packages/sympy/assumptions/tests/test_assumptions_2.py
test_equalr   
   sq    :a==AJqMM)))):a==QZ]]N****JqMM>ajmm^++++++r   c                      t          t          j        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   test_prettyr      s]    !*Q--  O3333	
QY! !$=> > > > > >r   c                     t          j        t          dk               t          dk    t           v sJ t          j        t          dk               t          dk    t           vsJ t          j        t          dk    t          dk               t          dk    t           v sJ t          dk    t           v sJ t          j                     t          dk    t           vsJ t          dk    t           vsJ dS )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 7 7 7 7 7 # # # # # # ! ! ! ! ! !, , ,> > >- - - - -r   