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
See also
diofant.solvers.solvers.solve
solve algebraic equations