U
    ZÊ¹j‡  ã                   @   s\   d dl mZ d dlmZmZmZ d dlmZ d dlm	Z	 dd„ Z
dd„ Zd	d
„ Zdd„ ZdS )é    )ÚQ)ÚAssumptionsWrapperÚis_infiniteÚis_extended_real)ÚSymbol)Ú_assume_definedc                  C   s&   t D ]} d| › �}tt|ƒst‚qd S )NZ	_eval_is_)r   Úhasattrr   ÚAssertionError)ZfactÚmethod_name© r   úc/var/www/html/bwave/python/venv/lib/python3.8/site-packages/sympy/assumptions/tests/test_wrapper.pyÚtest_all_predicates   s    
r   c                  C   sN   t ddd�} t dƒ}t| ƒjs"t‚t|ƒjd ks4t‚t|t |¡ƒjsJt‚d S )NÚxT)ÚpositiveÚy)r   r   Zis_positiver	   r   r   )r   r   r   r   r   Útest_AssumptionsWrapper   s
    r   c                  C   s`   t ddd�} t ddd�}t dƒ}t| ƒs,t‚t|ƒr8t‚t|ƒd ksHt‚t|t |¡ƒs\t‚d S )Nr   T)Úinfiniter   FÚz)r   r   r	   r   r   ©r   r   r   r   r   r   Útest_is_infinite   s    r   c                  C   s`   t ddd�} t ddd�}t dƒ}t| ƒs,t‚t|ƒr8t‚t|ƒd ksHt‚t|t |¡ƒs\t‚d S )Nr   T)Úextended_realr   Fr   )r   r   r	   r   r   r   r   r   r   Útest_is_extended_real    s    r   N)Zsympy.assumptions.askr   Zsympy.assumptions.wrapperr   r   r   Zsympy.core.symbolr   Zsympy.core.assumptionsr   r   r   r   r   r   r   r   r   Ú<module>   s   
