Tools for solving inequalities and systems of inequalities.
Reduces a system of inequalities or equations.
>>> 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
solve algebraic equations