Ë
    7^(h.  ã                   ó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   © ó    úh/var/www/skyplay_api_hub/venv/lib/python3.12/site-packages/sympy/assumptions/tests/test_assumptions_2.pyÚ
test_equalr   
   sb   € ä�:‰:”a‹=œAŸJ™J¤q›MÒ)Ð)Ð)Ü�:‰:”a‹=œQŸZ™Z¬›]˜NÒ*Ð*Ð*Ü�J‰J”q‹Mˆ>œaŸj™j¬›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ÜÜ	
�‰”Q—Y‘YÐó!Ø$=ò>ð >ñ >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¼   € ä×Ñœ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Ý #Ý !ò,ò>ó-r   