Blame | Last modification | View Log | RSS feed
addnum:Add a number to the two sides of an equation
addterm:Add an expression to the two sides of an equation
divnum:Divisde an equation by a number
exsides:Exchange the two sides of an equation
lincomb:Addition of equations with coefficients
mulnum:Multiply an equation by a number
rewrite:Rewrite an equation
spliteq:Separate the cases according to an (in)equation