Exercise

Exercise algebra.manipulation.rational.simplify

Description
simplify a rational expression (with a variable in a divisor)

(3*x-9)/((x-1)*(x-2))

ready: yes

Feedback

(no onefirst)
allfirsts (0)
allapplications
derivation
microsteps

Path 1

path [0, 0, 0, 0, 1, 0, 0, 1, 0, 6, 5, 1, 0]
steps 13
major rules 4
active labels
simplifyrationalexpression
simplifydivision

enter simplifyrationalexpression, , enter writeasdivision, check, algebra.equations.rational.rational-scale, check, algebra.equations.rational.rational-plus, exit writeasdivision, enter simplifydivision, algebra.equations.linear.distr-times, navigator.down, navigator.down, algebra.equations.linear.merge

path	[0, 0, 0, 0, 1, 0, 0, 1, 0, 6, 5, 1, 0]
steps	13
major rules	4
active labels	simplifyrationalexpression simplifydivision