Index
Exercises
Services
Exercise
information
strategy
rules
examples
derivations
test report
Exercise arithmetic.fractions
Description
simplify fractions
Rules for arithmetic.fractions
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
Rule name
Args
Used
Siblings
Rewrite rule