Exercise algebra.equations.linear.mixed

Description
solve a linear equation with mixed fractions

Rules for algebra.equations.linear.mixed

Rule nameArgsUsedSiblingsRewrite rule
algebra.equations.coverup.negate0yes
algebra.equations.coverup.onevar.minus-left0yes
algebra.equations.coverup.onevar.minus-right0yes
algebra.equations.coverup.onevar.plus0yes
algebra.equations.coverup.times0yes
algebra.equations.linear.distr-times0yes
algebra.equations.linear.flip0yesa = b   ⇒   b = a
algebra.equations.linear.merge0yes
algebra.equations.linear.norm-mixed0yes
algebra.equations.linear.norm-rational0yes
algebra.equations.linear.remove-div1yes
algebra.equations.linear.var-left1yes

Buggy rules for algebra.equations.linear.mixed

Rule nameArgsUsedSiblingsRewrite rule
algebra.equations.buggy.cancel-minus0no
algebra.equations.buggy.distr-times-denom0noalgebra.equations.linear.distr-times
algebra.equations.buggy.distr-times-plus0noalgebra.equations.linear.distr-times
algebra.equations.buggy.distr-times-plus-forget0noalgebra.equations.linear.distr-times
algebra.equations.buggy.distr-times-plus-sign0noalgebra.equations.linear.distr-times
algebra.equations.buggy.distr-times-too-many0noalgebra.equations.linear.distr-times
algebra.equations.buggy.divide-negate0no
algebra.equations.buggy.divide-numdenom0no
algebra.equations.buggy.flip-negate-one-side0noalgebra.equations.linear.flip
algebra.equations.buggy.minus-minus0no
algebra.equations.buggy.multiply-forget-one0no
algebra.equations.buggy.multiply-one-side0no
algebra.equations.buggy.negate-all0no
algebra.equations.buggy.negate-one-side0no
algebra.equations.buggy.plus0no
algebra.equations.buggy.priority-times0no