> expand(sin(x+y)); combine(",trig); convert(tanh(x),exp);
Vérifier que est égal à (simplification automatique).
> subs(x=z+2,a*x^2-3*(y+1)=0); subs((y+1)=z,a*x^2-3*(y+1)=0);
algsubs de la librairie SHARE.