§
    OŠtj.  ã                   ó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   © ó    úh/var/www/html/CA-Chatbot/venv/lib/python3.11/site-packages/sympy/assumptions/tests/test_assumptions_2.pyÚ
test_equalr   
   sq   € åŒ:•a‰=Œ=�AœJ¥q™MœMÒ)Ð)Ð)Ð)ÝŒ:•a‰=Œ=�QœZ­™]œ]˜NÒ*Ð*Ð*Ð*ÝŒJ•q‰MŒMˆ>�aœj­™mœm˜^Ò+Ð+Ð+Ð+Ð+Ð+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ÝÝ	
Œ•Q”YÐñ!ô !Ø$=ò>ð >ð >ð >ð >ð >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à   € åÔ�1˜qš5Ñ!Ô!Ð!Ý�ŠEÕ(Ð(Ð(Ð(Ð(ÝÔ�a !šeÑ$Ô$Ð$Ý�A’Õ,Ð,Ð,Ð,Ð,åÔ�1˜qš5¥! 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   