Order¶
AskHandlers related to order relations: positive, negative, etc.
-
class
sympy.assumptions.handlers.order.
AskNegativeHandler
[source]¶ This is called by ask() when key=’negative’
Test that an expression is less (strict) than zero.
Examples
>>> from sympy import ask, Q, pi >>> ask(Q.negative(pi+1)) # this calls AskNegativeHandler.Add False >>> ask(Q.negative(pi**2)) # this calls AskNegativeHandler.Pow False
-
class
sympy.assumptions.handlers.order.
AskNonZeroHandler
[source]¶ Handler for key ‘zero’ Test that an expression is not identically zero