\h&`SrSSKJrJrJrJrJr SSKJrJrJ r J r SSK J r SSK J r Jr /SQrg)zA A module to implement logical predicates and assumption system. )AppliedPredicate PredicateAssumptionsContextassumingglobal_assumptions)Qaskregister_handlerremove_handler)refine)BinaryRelationAppliedBinaryRelation) rrrrrrr r r r r rN)__doc__assumerrrrrr rr r r relationr r__all__R/var/www/auris/envauris/lib/python3.13/site-packages/sympy/assumptions/__init__.pyrs):9; r