Exercise algebra.manipulation.rational.simplify
Description
simplify a rational expression (with a variable in a divisor)
Derivation
(x-1)*(x+5)/((x-1)*(x+6))
⇒ algebra.equations.rational.cancel-div, clipboard=[condition == (x /= 1)](x+5)/(x+6)
Description
simplify a rational expression (with a variable in a divisor)