Expression cartésienne de .

Le n ud de la boucle de la courbe obtenue dans la question précédante est le point d'affixe -1. Nous procédons immédiatement au changement de repère, et nous élevons l'expression au carré afin de nous débarasser des valeurs absolues. L'égalité n'est vrai que si l'expression est nulle.

> Fs:=subs({x=X-1,y=Y},F):
> Gs:=abs(Fs)^2;
> assume(X,real),assume(Y,real);simplify(Gs-4);

Comme nous ne nous intéressons qu'à la nullité de cette fraction rationnelle, nous ne conservons que le numérateur.

> Gns:=numer(");