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

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