Exercise algebra.manipulation.rational.simplify
Description
simplify a rational expression (with a variable in a divisor)
Rules for algebra.manipulation.rational.simplify
Buggy rules for algebra.manipulation.rational.simplify
Rule name | Args | Used | Siblings | Rewrite rule |