Order

AskHandlers related to order relations: positive, negative, etc.

class sympy.assumptions.handlers.order.AskNegativeHandler

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

static Add(expr, assumptions)

Positive + Positive -> Positive, Negative + Negative -> Negative

static Pow(expr, assumptions)

Real ** Even -> NonNegative Real ** Odd -> same_as_base NonNegative ** Positive -> NonNegative

class sympy.assumptions.handlers.order.AskNonZeroHandler

Handler for key ‘zero’ Test that an expression is not identically zero

class sympy.assumptions.handlers.order.AskPositiveHandler

Handler for key ‘positive’ Test that an expression is greater (strict) than zero