Exercise algebra.manipulation.rational.simplify
Description
simplify a rational expression (with a variable in a divisor)
Derivation
Final term is not finished
(x^2+7*x+12)/((x+2)*(x+3))
⇒ algebra.equations.linear.distr-times(x^2+7*x+12)/(x^2+5*x+6)