a
    kh2                     @   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sBJ | t t t|hfks^J | t t|ht|hfks~J d S )Nc                 S   s   d S N exprr   r   V/var/www/auris/lib/python3.9/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)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s0J 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   c                   C   s   t ttttt tttttks0J 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   sL  t ttttt ttttt @ tttt @ ksHJ 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sJ 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sHJ d S 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   