U
    ;qLe&  ã                   @   st   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 dddd	d
dddddddg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ÚAppliedBinaryRelationr   r   r   r   r   r   r   r	   r
   r   r   r   N)Ú__doc__Úassumer   r   r   r   r   r   r   r	   r
   r   Úrelationr   r   Ú__all__© r   r   úq/home/p21-0144/sympy/latex2sympy2solve-back-end/sympyEq/lib/python3.8/site-packages/sympy/assumptions/__init__.pyÚ<module>   s"           ü