class sympy.assumptions.handlers.common.AskCommutativeHandler[source]

Handler for key ‘commutative’

static Symbol(expr, assumptions)[source]

Objects are expected to be commutative unless otherwise stated

class sympy.assumptions.handlers.common.AskHandler[source]

Base class that all Ask Handlers must inherit

class sympy.assumptions.handlers.common.CommonHandler[source]

Defines some useful methods common to most Handlers

class sympy.assumptions.handlers.common.TautologicalHandler[source]

Wrapper allowing to query the truth value of a boolean expression.

sympy.assumptions.handlers.common.test_closed_group(expr, assumptions, key)[source]

Test for membership in a group with respect to the current operation