o
    ݹi2                     @   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   e/home/ubuntu/veenaModal/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sJ 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    