Exercise

Exercise algebra.inequalities.quadratic

Description
solve a quadratic inequation

Rules for algebra.inequalities.quadratic

Rule name	Args	Used	Siblings	Rewrite rule
`algebra.equations.coverup.negate`	0	yes
`algebra.equations.coverup.numerator`	0	yes
`algebra.equations.coverup.onevar.minus-left`	0	yes
`algebra.equations.coverup.onevar.minus-right`	0	yes
`algebra.equations.coverup.onevar.plus`	0	yes
`algebra.equations.coverup.power`	0	yes
`algebra.equations.coverup.times`	0	yes
`algebra.equations.linear.distr-times`	0	yes
`algebra.equations.linear.flip`	0	yes		a = b ⇒ b = a
`algebra.equations.linear.merge`	0	yes
`algebra.equations.quadratic.abc`	0	yes
`algebra.equations.quadratic.approx`	0	yes
`algebra.equations.quadratic.cancel`	0	yes
`algebra.equations.quadratic.common-factor`	0	yes
`algebra.equations.quadratic.distr-div`	0	yes
`algebra.equations.quadratic.distr-square`	0	yes		(a+b)^2 ⇒ ((a^2)+((2·a)·b))+(b^2) (a-b)^2 ⇒ ((a^2)-((2·a)·b))+(b^2) (a+b)·(a-b) ⇒ (a^2)-(b^2) (a-b)·(a+b) ⇒ (a^2)-(b^2)
`algebra.equations.quadratic.left-square`	0	yes
`algebra.equations.quadratic.move-left`	0	yes
`algebra.equations.quadratic.nice-factors`	0	yes
`algebra.equations.quadratic.no-lin`	0	yes
`algebra.equations.quadratic.prepare-split`	0	yes
`algebra.equations.quadratic.product-zero`	0	yes
`algebra.equations.quadratic.same-con-factor`	0	yes
`algebra.equations.quadratic.same-factor`	0	yes
`algebra.equations.quadratic.scale`	0	yes
`algebra.equations.quadratic.simpler-poly`	0	yes
`algebra.equations.quadratic.simpler-sqrt`	0	yes
`algebra.equations.quadratic.square-both`	0	yes		(a^2) = (b^2) ⇒ (a = b) ∨ (a = (-b))
`algebra.inequalities.give-solution`	0	yes
`algebra.inequalities.to-equation`	0	yes
`algebra.inequalities.trivial`	0	yes

Buggy rules for algebra.inequalities.quadratic

Rule name

Args

Used

Siblings

Rewrite rule