Exercise algebra.inequalities.quadratic
Description
solve a quadratic inequation
Derivation
x^2+3*x-4 == 0
⇒ algebra.equations.quadratic.nice-factors(x-1)*(x+4) == 0
⇒ algebra.equations.quadratic.product-zerox == 1 or x == -4
Description
solve a quadratic inequation