> 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.
Correction:> sol1:=expand(cos(3*x)); > sol2:=combine(4*cos(x)^3-3*cos(x),trig); > sol3:=combine(sin(a)*cos(b)+cos(a)*sin(b),trig); > sol4:=factor(x^3+3*x^2*y+3*x*y^2+y^3); > sol5:=collect(x^3*y+x^2*y^3+x+3,y); > sol6:=collect(y*(sin(x)+1)+sin(x),sin(x)); > sol7:=sort(1+x+x^2+x^3); > sol8a:=sort(y^3+y^2*x^2+x^3+x+y^5,[x,y]); > #pure lexicographical order > sol8b:=sort(y^3+y^2*x^2+x^3+x+y^5,[x,y],plex); > #sorted in total degree > #with ties broken by lexicographical order (default) > sol8c:=sort(y^3+y^2*x^2+x^3+x+y^5,[x,y],tdeg);
Correction:> simplify(exp(I*Pi)+1); # simplify ne sert a rien ici > radsimp(1/sqrt(2)+1/(2+sqrt(2))); # normal suffit > sqrt(9+4*sqrt(2)); # ???? avec Maple V.3 la simplification est automatique! > sqrt(5+2*sqrt(6))+sqrt(5-2*sqrt(6)); # ???? idem > sqrt(x+sqrt(x^2-1)); # ne se reduit pas!