Exercise algebra.manipulation.rational.simplify
Description
simplify a rational expression (with a variable in a divisor)
Derivation
(x-4)/((x+5)*(x-4))-(x+5)*3/((x+5)*(x-4))
⇒ algebra.equations.rational.rational-plus(x-4-(x+5)*3)/((x+5)*(x-4))
⇒ algebra.equations.linear.distr-times(x-4-3*x-15)/((x+5)*(x-4))
⇒ algebra.equations.linear.merge(-2*x-19)/((x+5)*(x-4))