> P:=rho=alpha+cos(theta)*beta;
Nous multiplions les deux membres de l'égalité par , puis nous isolons l'expression :
> map(<expand(rho*x)|x>,"):map(<x-rho*beta*cos(theta)|x>,");
Nous élevons au carré les deux membres de l'égalité, et nous faisons passer dans le membre de gauche.
> map(<x^2|x>,"):map(<x-alpha^2*rho^2|x>,");
La conversion des coordonnées polaires en coordonnées cartésiennes se fait en substituant par et par :
> Pns:=subs({rho^2=X^2+Y^2,cos(theta)=X/rho},");