
    \h2                         S SK Jr  S SKJr  S SKJr  S SKJr  S SKJ	r	  S SK
JrJr  S SKJrJrJrJr  \	" S5      u  rrrS	 rS
 rS rS rg)    )Q)Basic)Expr)Mul)symbols)AndOr)ClassFactRegistryallargsanyargexactlyoneargzx y zc                  V   [        5       n U R                  [        5      S 5       nU R                  [        5      S 5       nU [
           [        5       [        5       4:X  d   eU [           [        5       [        U15      4:X  d   eU [           [        U15      [        U15      4:X  d   eg )Nc                     g N exprs    `/var/www/auris/envauris/lib/python3.13/site-packages/sympy/assumptions/tests/test_sathandlers.pyfact1*test_class_handler_registry.<locals>.fact1           c                     g r   r   r   s    r   fact2*test_class_handler_registry.<locals>.fact2   r   r   )r
   registerr   multiregisterr   r   	frozenset)my_handler_registryr   r   s      r   test_class_handler_registryr       s    +- !!#& '&&t, - u%)+y{)CCCCt$i6H(IIIIs#	5'(:Iug<N'OOOOr   c                  v   [        [        [        R                  " [        5      [        [        -  5      [        [        R                  " [        5      [        R                  " [        5      5      :X  d   e[        [        [        R                  " [        5      [        R                  " [        5      -  [        [        -  5      [        [        R                  " [        5      [        R                  " [        5      -  [        R                  " [        5      [        R                  " [        5      -  5      :X  d   eg r   )r   xr   zeroyr   positivenegativer   r   r   test_allargsr'      s    1affQi1%QVVAYq	)BBBB1ajjmajjm3QqS9SAQRQ[Q[\]Q^A^`a`j`jkl`mpqpzpz{|p}`}=~~~~r   c                  v   [        [        [        R                  " [        5      [        [        -  5      [        [        R                  " [        5      [        R                  " [        5      5      :X  d   e[        [        [        R                  " [        5      [        R                  " [        5      -  [        [        -  5      [        [        R                  " [        5      [        R                  " [        5      -  [        R                  " [        5      [        R                  " [        5      -  5      :X  d   eg r   )r   r"   r   r#   r$   r	   r%   r&   r   r   r   test_anyargr)   #   s    !QVVAY!$166!9affQi(@@@@!QZZ]QZZ]2AaC8
1::a=1::a=(!**Q-!**Q-*GHI I Ir   c            	      :   [        [        [        R                  " [        5      [        [        -  5      [        [        R                  " [        5      [        R                  " [        5      ) -  [        R                  " [        5      [        R                  " [        5      ) -  5      :X  d   e[        [        [        R                  " [        5      [        [        -  [        -  5      [        [        R                  " [        5      [        R                  " [        5      ) -  [        R                  " [        5      ) -  [        R                  " [        5      [        R                  " [        5      ) -  [        R                  " [        5      ) -  [        R                  " [        5      [        R                  " [        5      ) -  [        R                  " [        5      ) -  5      :X  d   e[        [        [        R                  " [        5      [        R                  " [        5      -  [        [        -  5      [        [        R                  " [        5      [        R                  " [        5      -  [        R                  " [        5      [        R                  " [        5      -  ) -  [        R                  " [        5      [        R                  " [        5      -  [        R                  " [        5      [        R                  " [        5      -  ) -  5      :X  d   eg r   )	r   r"   r   r#   r$   r	   zr%   r&   r   r   r   test_exactlyoneargr,   )   s   AFF1Iqs+
166!9q	z!166!9q	z#9:; ; ;AFF1Iqs1u-
166!9q	z!QVVAYJ.q	66!9*1q	z1"#$66!9q	z#9QVVAYJ#F	HH H H AJJqMAJJqM91Q3?
AJJqMAJJqM)
**Q-!**Q-
'()+,::a=1::a=+H
**Q-!**Q-
'(+)	** * *r   N)sympy.assumptions.askr   sympy.core.basicr   sympy.core.exprr   sympy.core.mulr   sympy.core.symbolr   sympy.logic.boolalgr   r	   sympy.assumptions.sathandlersr
   r   r   r   r"   r$   r+   r    r'   r)   r,   r   r   r   <module>r4      sJ    # "    % )  '
1aP 
I	*r   