Exercise algebra.inequalities.quadratic

Description
solve a quadratic inequation

Derivation

x^2-7*x == 0

⇒ algebra.equations.quadratic.common-factor

x*(x-7) == 0

⇒ algebra.equations.quadratic.product-zero

x == 0 or x == 7