o
    ÜÓh2  ć                   @   s   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	d
 Zdd Zdd Zdd ZdS )é    )ŚQ)ŚBasic)ŚExpr)ŚMul)Śsymbols)ŚAndŚOr)ŚClassFactRegistryŚallargsŚanyargŚexactlyoneargzx y zc                  C   s   t  } |  t”dd }|  t”d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 d S )Nc                 S   ó   d S ©N© ©Śexprr   r   ś^/var/www/html/ai/venv/lib/python3.10/site-packages/sympy/assumptions/tests/test_sathandlers.pyŚfact1   ó   z*test_class_handler_registry.<locals>.fact1c                 S   r   r   r   r   r   r   r   Śfact2   r   z*test_class_handler_registry.<locals>.fact2)r	   Śregisterr   Śmultiregisterr   r   Ś	frozenset)Śmy_handler_registryr   r   r   r   r   Śtest_class_handler_registry   s   

$r   c                   C   s   t tt t”tt tt t”t t”ksJ t tt t”t t”B tt tt t”t t”B t t”t t”B ks?J d S r   )r
   Śxr   ŚzeroŚyr   ŚpositiveŚnegativer   r   r   r   Śtest_allargs   s   0Rr    c                   C   s   t tt t”tt tt t”t t”ksJ t tt t”t t”@ tt tt t”t t”@ t t”t t”@ ks?J d S r   )r   r   r   r   r   r   r   r   r   r   r   r   Śtest_anyarg#   s   0(’r!   c                   C   sJ  t tt t”tt tt t”t t” @ t t”t t” @ ks$J t tt t”tt t tt t”t t” @ t t” @ t t”t t” @ t t” @ t t”t t” @ t t” @ ksfJ t tt t”t t”B tt tt t”t t”B t t”t t”B  @ t t”t t”B t t”t t”B  @ ks£J d S r   )	r   r   r   r   r   r   Śzr   r   r   r   r   r   Śtest_exactlyonearg)   s*   ,’*
’
’ ’’’’’’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   r   Ś<module>   s    