
    wg2                         d dl mZ d dlmZ d dlmZ d dlmZ d dlm	Z	 d dl
mZmZ d dlmZmZmZmZ  e	d      \  ZZZd	 Zd
 Zd Zd Zy)    )Q)Basic)Expr)Mul)symbols)AndOr)ClassFactRegistryallargsanyargexactlyoneargzx y zc                  P   t               } | j                  t              d        }| j                  t              d        }| t
           t               t               fk(  sJ | t           t               t        |h      fk(  sJ | t           t        |h      t        |h      fk(  sJ y )Nc                      y N exprs    m/home/mcse/projects/flask/flask-venv/lib/python3.12/site-packages/sympy/assumptions/tests/test_sathandlers.pyfact1z*test_class_handler_registry.<locals>.fact1           c                      y r   r   r   s    r   fact2z*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                  `   t        t        t        j                  t              t        t        z        t        t        j                  t              t        j                  t                    k(  sJ t        t        t        j                  t              t        j                  t              z  t        t        z        t        t        j                  t              t        j                  t              z  t        j                  t              t        j                  t              z        k(  sJ y 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                  `   t        t        t        j                  t              t        t        z        t        t        j                  t              t        j                  t                    k(  sJ t        t        t        j                  t              t        j                  t              z  t        t        z        t        t        j                  t              t        j                  t              z  t        j                  t              t        j                  t              z        k(  sJ y 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            	         t        t        t        j                  t              t        t        z        t        t        j                  t              t        j                  t               z  t        j                  t              t        j                  t               z        k(  sJ t        t        t        j                  t              t        t        z  t        z        t        t        j                  t              t        j                  t               z  t        j                  t               z  t        j                  t              t        j                  t               z  t        j                  t               z  t        j                  t              t        j                  t               z  t        j                  t               z        k(  sJ t        t        t        j                  t              t        j                  t              z  t        t        z        t        t        j                  t              t        j                  t              z  t        j                  t              t        j                  t              z   z  t        j                  t              t        j                  t              z  t        j                  t              t        j                  t              z   z        k(  sJ y 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>r2      sJ    # "    % )  '
1aP 
I	*r   