Exercise algebra.manipulation.rational.simplify
Description
simplify a rational expression (with a variable in a divisor)
Derivation
(x^2-3*x+2)*(x-2)*6/((x-1)*(x-2)*(x^2-3*x+2))-(x-1)*(x-2)*(x-1)*3/((x-1)*(x-2)*(x^2-3*x+2))
⇒ algebra.equations.rational.rational-plus((x^2-3*x+2)*(x-2)*6-(x-1)*(x-2)*(x-1)*3)/((x-1)*(x-2)*(x^2-3*x+2))
⇒ algebra.equations.quadratic.nice-factors((x^2-3*x+2)*(x-2)*6-(x-1)*(x-2)*(x-1)*3)/((x-1)*(x-2)*(x-1)*(x-2))
⇒ algebra.equations.linear.distr-times(6*x^3-30*x^2+48*x-24-3*x^3+12*x^2-15*x+6)/((x-1)*(x-2)*(x-1)*(x-2))
⇒ algebra.equations.linear.merge(3*x^3-18*x^2+33*x-18)/((x-1)*(x-2)*(x-1)*(x-2))