Exercise

Exercise arithmetic.fractions.liberal

Description
simplify fractions liberally

Rules for arithmetic.fractions.liberal

Rule name	Args	Used	Siblings	Rewrite rule
`algebra.manipulation.division-denominator`	0	yes
`algebra.manipulation.division-numerator`	0	yes
`algebra.manipulation.double-negate`	0	yes
`algebra.manipulation.fraction-plus`	0	yes
`algebra.manipulation.fraction-plus-scale`	0	yes
`algebra.manipulation.fraction-times`	0	yes
`algebra.manipulation.fraction-times-cancel-denominator-nominator`	0	yes
`algebra.manipulation.fraction-times-cancel-nominator-denominator`	0	yes
`algebra.manipulation.negate-zero`	0	yes
`algebra.manipulation.simpler-fraction`	0	yes
`arithmetic.operation.integer.minus`	0	yes
`arithmetic.operation.integer.plus`	0	yes
`arithmetic.operation.integer.times`	0	yes

Buggy rules for arithmetic.fractions.liberal

Rule name

Args

Used

Siblings

Rewrite rule