o à8Vaøã@s¨dZddlmZddlmZmZmZmZmZm Z ddl m Z gd¢Z Gdd„de ƒZ Gd d „d e ƒZGd d „d e ƒZGd d„de ƒZGdd„de ƒZGdd„de ƒZdS)a4 Module for mathematical equality [1] and inequalities [2]. The purpose of this module is to provide the instances which represent the binary predicates in order to combine the relationals into logical inference system. Objects such as ``Q.eq``, ``Q.lt`` should remain internal to assumptions module, and user must use the classes such as :obj:`~.Eq()`, :obj:`~.Lt()` instead to construct the relational expressions. References ========== .. [1] https://en.wikipedia.org/wiki/Equality_(mathematics) .. [2] https://en.wikipedia.org/wiki/Inequality_(mathematics) é)ÚQ)Úis_eqÚis_neqÚis_gtÚis_geÚis_ltÚis_leé)ÚBinaryRelation)ÚEqualityPredicateÚUnequalityPredicateÚStrictGreaterThanPredicateÚGreaterThanPredicateÚStrictLessThanPredicateÚLessThanPredicatec@s6eZdZdZdZdZdZdZedd„ƒZ d dd„Z dS) r aW Binary predicate for $=$. The purpose of this class is to provide the instance which represent the equality predicate in order to allow the logical inference. This class must remain internal to assumptions module and user must use :obj:`~.Eq()` instead to construct the equality expression. Evaluating this predicate to ``True`` or ``False`` is done by :func:`~.core.relational.is_eq()` Examples ======== >>> from sympy import ask, Q >>> Q.eq(0, 0) Q.eq(0, 0) >>> ask(_) True See Also ======== sympy.core.relational.Eq TÚeqNcCótjS©N)rÚne©Úself©rúE/usr/lib/python3/dist-packages/sympy/assumptions/relation/equality.pyÚnegated:ózEqualityPredicate.negatedcCó|dkrd}tg|¢|‘RŽS©NT)r©rÚargsZ assumptionsrrrÚeval>ózEqualityPredicate.eval©T© Ú__name__Ú __module__Ú __qualname__Ú__doc__Ú is_reflexiveÚ is_symmetricÚnameÚhandlerÚpropertyrrrrrrr ó r c@s6eZdZdZdZdZdZdZedd„ƒZ d dd „Z dS) r a` Binary predicate for $\neq$. The purpose of this class is to provide the instance which represent the inequation predicate in order to allow the logical inference. This class must remain internal to assumptions module and user must use :obj:`~.Ne()` instead to construct the inequation expression. Evaluating this predicate to ``True`` or ``False`` is done by :func:`~.core.relational.is_neq()` Examples ======== >>> from sympy import ask, Q >>> Q.ne(0, 0) Q.ne(0, 0) >>> ask(_) False See Also ======== sympy.core.relational.Ne FTrNcCrr)rrrrrrrfrzUnequalityPredicate.negatedcCrr)rrrrrrjr zUnequalityPredicate.evalr!r"rrrrr Er,r c@óBeZdZdZdZdZdZdZedd„ƒZ edd„ƒZ d d d „Z dS) r aS Binary predicate for $>$. The purpose of this class is to provide the instance which represent the ">" predicate in order to allow the logical inference. This class must remain internal to assumptions module and user must use :obj:`~.Gt()` instead to construct the equality expression. Evaluating this predicate to ``True`` or ``False`` is done by :func:`~.core.relational.is_gt()` Examples ======== >>> from sympy import ask, Q >>> Q.gt(0, 0) Q.gt(0, 0) >>> ask(_) False See Also ======== sympy.core.relational.Gt FÚgtNcCrr©rÚltrrrrÚreversed’rz#StrictGreaterThanPredicate.reversedcCrr©rÚlerrrrr–rz"StrictGreaterThanPredicate.negatedTcCrr)rrrrrršr zStrictGreaterThanPredicate.evalr!© r#r$r%r&r'r(r)r*r+r1rrrrrrr qó  r c@óBeZdZdZdZdZdZdZedd„ƒZ edd „ƒZ d d d „Z dS) raT Binary predicate for $>=$. The purpose of this class is to provide the instance which represent the ">=" predicate in order to allow the logical inference. This class must remain internal to assumptions module and user must use :obj:`~.Ge()` instead to construct the equality expression. Evaluating this predicate to ``True`` or ``False`` is done by :func:`~.core.relational.is_ge()` Examples ======== >>> from sympy import ask, Q >>> Q.ge(0, 0) Q.ge(0, 0) >>> ask(_) True See Also ======== sympy.core.relational.Ge TFÚgeNcCrrr2rrrrr1ÂrzGreaterThanPredicate.reversedcCrrr/rrrrrÆrzGreaterThanPredicate.negatedcCrr)rrrrrrÊr zGreaterThanPredicate.evalr!r4rrrrr¡r5rc@r-) raS Binary predicate for $<$. The purpose of this class is to provide the instance which represent the "<" predicate in order to allow the logical inference. This class must remain internal to assumptions module and user must use :obj:`~.Lt()` instead to construct the equality expression. Evaluating this predicate to ``True`` or ``False`` is done by :func:`~.core.relational.is_lt()` Examples ======== >>> from sympy import ask, Q >>> Q.lt(0, 0) Q.lt(0, 0) >>> ask(_) False See Also ======== sympy.core.relational.Lt Fr0NcCrr©rr.rrrrr1òrz StrictLessThanPredicate.reversedcCrr©rr7rrrrrörzStrictLessThanPredicate.negatedTcCrr)rrrrrrúr zStrictLessThanPredicate.evalr!r4rrrrrÑr5rc@r6) raT Binary predicate for $<=$. The purpose of this class is to provide the instance which represent the "<=" predicate in order to allow the logical inference. This class must remain internal to assumptions module and user must use :obj:`~.Le()` instead to construct the equality expression. Evaluating this predicate to ``True`` or ``False`` is done by :func:`~.core.relational.is_le()` Examples ======== >>> from sympy import ask, Q >>> Q.le(0, 0) Q.le(0, 0) >>> ask(_) True See Also ======== sympy.core.relational.Le TFr3NcCrrr9rrrrr1"rzLessThanPredicate.reversedcCrrr8rrrrr&rzLessThanPredicate.negatedcCrr)rrrrrr*r zLessThanPredicate.evalr!r4rrrrrr5rN)r&Zsympy.assumptionsrZsympy.core.relationalrrrrrrZbinrelr Ú__all__r r r rrrrrrrÚs   ,,000