Exercise

Exercise algebra.manipulation.exponential.equation

Description
solve exponential equation algebraically

Rules for algebra.manipulation.exponential.equation

Rule name	Args	Used	Siblings	Rewrite rule
`algebra.equations.coverup.denominator`	0	yes
`algebra.equations.coverup.minus-left`	0	yes
`algebra.equations.coverup.minus-right`	0	yes
`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.plus`	0	yes
`algebra.equations.coverup.sqrt`	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.linear.norm-mixed`	0	yes
`algebra.equations.linear.norm-rational`	0	yes
`algebra.equations.linear.remove-div`	1	yes
`algebra.equations.linear.var-left`	1	yes
`algebra.manipulation.exponents.add-exponents`	0	yes
`algebra.manipulation.exponents.equation.equals-one`	0	yes
`algebra.manipulation.exponents.equation.same-base`	0	yes
`algebra.manipulation.exponents.factor-as-power`	0	yes
`algebra.manipulation.exponents.mul-exponents`	0	yes
`algebra.manipulation.exponents.reciprocal`	0	yes
`algebra.manipulation.exponents.simple-add-exponents`	0	yes
`algebra.manipulation.exponents.sub-exponents`	0	yes
`algebra.manipulation.exponents.write-as-power`	0	yes

Rule name

Args

Used

Siblings

Rewrite rule