Exercise algebra.inequalities.quadratic
Description
solve a quadratic inequation
Derivation
x^2-3/2*x-7 == 0
⇒ algebra.equations.quadratic.simpler-poly2*x^2-3*x-14 == 0
⇒ algebra.equations.quadratic.abc, clipboard=[D == 121, a == 2, b == -3, c == -14]x == 7/2 or x == -2