o
    FZŽh&  ã                   @   s`   d Z ddlmZmZmZmZmZ ddlmZmZm	Z	m
Z
 ddlmZ ddlmZmZ g d¢ZdS )zA
A module to implement logical predicates and assumption system.
é   )ÚAppliedPredicateÚ	PredicateÚAssumptionsContextÚassumingÚglobal_assumptions)ÚQÚaskÚregister_handlerÚremove_handler)Úrefine)ÚBinaryRelationÚAppliedBinaryRelation)r   r   r   r   r   r   r   r	   r
   r   r   r   N)Ú__doc__Zassumer   r   r   r   r   r   r   r	   r
   r   Zrelationr   r   Ú__all__© r   r   úI/var/www/auris/lib/python3.10/site-packages/sympy/assumptions/__init__.pyÚ<module>   s    