U
    ZÊ¹j2  ã                   @   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sBt‚| t tƒ t|hƒfks^t‚| t t|hƒt|hƒfks~t‚d S )Nc                 S   s   d S ©N© ©Úexprr   r   úg/var/www/html/bwave/python/venv/lib/python3.8/site-packages/sympy/assumptions/tests/test_sathandlers.pyÚfact1   s    z*test_class_handler_registry.<locals>.fact1c                 S   s   d S r   r   r   r   r   r   Úfact2   s    z*test_class_handler_registry.<locals>.fact2)r	   Úregisterr   Zmultiregisterr   r   Ú	frozensetÚAssertionError)Z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s0t‚t tt t¡t t¡B tt ƒtt t¡t t¡B t t¡t t¡B ƒks~t‚d S r   )	r
   Úxr   ÚzeroÚyr   r   ÚpositiveÚnegativer   r   r   r   Útest_allargs   s    0r   c                   C   s‚   t tt t¡tt ƒtt t¡t t¡ƒks0t‚t tt t¡t t¡@ tt ƒtt t¡t t¡@ t t¡t t¡@ ƒks~t‚d S r   )	r   r   r   r   r   r   r   r   r   r   r   r   r   Útest_anyarg#   s    0(ÿr   c                   C   sL  t tt t¡tt ƒtt t¡t t¡ @ t t¡t t¡ @ ƒksHt‚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sÌt‚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�sHt‚d S r   )
r   r   r   r   r   r   r   Úzr   r   r   r   r   r   Útest_exactlyonearg)   s*    ,ÿ*
ÿ
ÿ ÿÿÿÿÿÿr    N)Zsympy.assumptions.askr   Zsympy.core.basicr   Zsympy.core.exprr   Zsympy.core.mulr   Zsympy.core.symbolr   Zsympy.logic.boolalgr   r   Zsympy.assumptions.sathandlersr	   r
   r   r   r   r   r   r   r   r   r    r   r   r   r   Ú<module>   s   