Exercise

Exercise algebra.manipulation.exponents.nonnegative

Description
write with a non-negative exponent

Rules for algebra.manipulation.exponents.nonnegative

Rule name	Args	Used	Siblings	Rewrite rule
`algebra.manipulation.exponents.add-exponents`	0	yes
`algebra.manipulation.exponents.calc-power.minus`	0	yes
`algebra.manipulation.exponents.calc-power.plus`	0	yes
`algebra.manipulation.exponents.distr-power`	0	yes
`algebra.manipulation.exponents.distr-power-div`	0	yes
`algebra.manipulation.exponents.mul-exponents`	0	yes
`algebra.manipulation.exponents.power-zero`	0	yes
`algebra.manipulation.exponents.reciprocal-inverse`	0	yes
`algebra.manipulation.exponents.sub-exponents`	0	yes
`algebra.manipulation.exponents.write-as-root`	0	yes

Buggy rules for algebra.manipulation.exponents.nonnegative

Rule name

Args

Used

Siblings

Rewrite rule