Inequality Solvers

Tools for solving inequalities and systems of inequalities.

diofant.solvers.inequalities.reduce_inequalities(inequalities, symbols=[])[source]

Reduces a system of inequalities or equations.

Examples

>>> x = Symbol('x', real=True)
>>> y = Symbol('y', real=True)
>>> reduce_inequalities(0 <= x + 3, [])
-3 <= x
>>> reduce_inequalities(0 <= x + y*2 - 1, [x])
-2*y + 1 <= x

See also

diofant.solvers.solvers.solve()
solve algebraic equations