Exercise algebra.manipulation.polynomial.expand
Description
expand an expression to polynomial normal form
Rules for algebra.manipulation.polynomial.expand
Rule name | Args | Used | Siblings | Rewrite rule |
algebra.equations.linear.distr-times | 0 | yes | ||
algebra.equations.linear.merge | 0 | yes | ||
algebra.equations.linear.no-div-con | 0 | yes | ||
algebra.equations.polynomial.def-power-nat | 0 | yes | ||
algebra.equations.polynomial.fraction-product | 0 | yes | ||
algebra.equations.polynomial.norm-poly | 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) |
Buggy rules for algebra.manipulation.polynomial.expand
Rule name | Args | Used | Siblings | Rewrite rule |
algebra.equations.buggy.distr-times-denom | 0 | no | algebra.equations.linear.distr-times | |
algebra.equations.buggy.distr-times-plus | 0 | no | algebra.equations.linear.distr-times | |
algebra.equations.buggy.distr-times-plus-forget | 0 | no | algebra.equations.linear.distr-times | |
algebra.equations.buggy.distr-times-plus-sign | 0 | no | algebra.equations.linear.distr-times | |
algebra.equations.buggy.distr-times-too-many | 0 | no | algebra.equations.linear.distr-times | |
algebra.equations.buggy.minus-minus | 0 | no | ||
algebra.equations.buggy.priority-times | 0 | no |