AskHandlers related to order relations: positive, negative, etc.
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
Positive + Positive -> Positive, Negative + Negative -> Negative
Real ** Even -> NonNegative Real ** Odd -> same_as_base NonNegative ** Positive -> NonNegative
Handler for key ‘zero’ Test that an expression is not identically zero
Handler for key ‘positive’ Test that an expression is greater (strict) than zero