F:=t*x^2-y^3;

NiM+SSJGRzYiLCYqJkkidEdGJSIiIkkieEdGJSIiI0YpKiRJInlHRiUiIiQhIiI=

H:=det(hessian(F,[x,y,t]));

NiM+SSJIRzYiLCQqJkkieEdGJSIiI0kieUdGJSIiIiIjQw==

solve({H=0, F=0}, {x,y,t});

NiQ8JS9JInRHNiIiIiEvSSJ5R0YmRicvSSJ4R0YmRis8JUYoL0YrRicvRiVGJQ==

X:=(1,0,0); # e' l'unico flesso, O=(0,0,1) e' un punto doppio, anzi e' l'unica cuspideCpolare:=(xx,yy,zz) -> multiply(<x|y|t>, multiply((subs({x=xx,y=yy,z=zz},hessian(F,[x,y,t])),<x,y,t>)));

NiM+SSJYRzYiNiUiIiIiIiFGKA==

grad(F,[x,y,t]);

NiMtSSd2ZWN0b3JHNiRJKnByb3RlY3RlZEdGJkkoX3N5c2xpYkc2IjYjNyUsJComSSJ0R0YoIiIiSSJ4R0YoRi4iIiMsJCokSSJ5R0YoRjAhIiQqJEYvRjA=

Cpolare(X);

NiMsJiomSSJ4RzYiIiIiLCYqJkkidEdGJkYnRiVGJyIiI0YqRitGJ0YnRilGKw==

S:=x*(2*x+2)+2*x; # e' la componente della conica polare che non passa per X

NiM+SSJTRzYiLCYqJkkieEdGJSIiIiwmRigiIiNGK0YpRilGKUYoRis=

solve({S=0, F=0}, {x,y,t});

NiQ8JS9JInRHNiJGJS9JInlHRiYiIiEvSSJ4R0YmRik8JS9GKEYoL0YrISIjL0YlLCQqJEYoIiIkIyIiIiIiJQ==

#Quindi abbiamo ottenuto solo un punto Q=(-2,1,1/4) non singolare, (O e' l'unico punto singolare di F)#Quindi le rette tangenti, passanti per X sono solo t=0, e XQ.clear;

NiNJJmNsZWFyRzYi

#Ripetiamo il discorso per:F:=x*y*t-x^3-y^3; # O=(0,0,1) e' un nodo ed e' l'unico punto singolare

NiM+SSJGRzYiLCgqKEkieEdGJSIiIkkieUdGJUYpSSJ0R0YlRilGKSokRigiIiQhIiIqJEYqRi1GLg==

H:=det(hessian(F,[x,y,t]));

NiM+SSJIRzYiLCgqJEkieEdGJSIiJCIiJyooRigiIiJJInlHRiVGLEkidEdGJUYsIiIjKiRGLUYpRio=

solve({H=0, F=0, t=1}, {x,y,t});solve({H=0, F=0, t=0}, {x,y,t});

NiM8JS9JInRHNiIiIiIvSSJ5R0YmIiIhL0kieEdGJkYq

NiQ8JS9JInlHNiJGJS9JInRHRiYiIiEvSSJ4R0YmLCRGJSEiIjwlRiRGJy9GKyomLUknUm9vdE9mRzYkSSpwcm90ZWN0ZWRHRjRJKF9zeXNsaWJHRiY2JCwoKiRJI19aR0YzIiIjIiIiRjtGO0Y5Ri0vSSZsYWJlbEdGM0kkX0wxR0YmRjtGJUY7

solve(Z^2+1-Z=0, Z);

NiQsJiMiIiIiIiNGJSomXiNGJEYlIiIkRiRGJSwmRiRGJSomXiMjISIiRiZGJUYpRiRGJQ==

z1:=1/2+1/2*I*3^(1/2); z2:=1/2-1/2*I*3^(1/2);

NiM+SSN6MUc2IiwmIyIiIiIiI0YoKiZeI0YnRigiIiRGJ0YoNiM+SSN6Mkc2IiwmIyIiIiIiI0YoKiZeIyMhIiJGKUYoIiIkRidGKA==

P1:=(-1,1,0); P2:=(z1,1,0); P2:=(z2,1,0); # sono i tre flessi

NiM+SSNQMUc2IjYlISIiIiIiIiIhNiM+SSNQMkc2IjYlLCYjIiIiIiIjRikqJl4jRihGKSIiJEYoRilGKSIiIQ==NiM+SSNQMkc2IjYlLCYjIiIiIiIjRikqJl4jIyEiIkYqRikiIiRGKEYpRikiIiE=

Cpolare(P1);

NiMsKComSSJ4RzYiIiIiLChGJSIiJyomSSJ5R0YmRidJInRHRiZGJ0YnRixGJ0YnRicqJkYrRicsKComRiVGJ0YsRidGJ0YrISInRiwhIiJGJ0YnKiZGLEYnLCZGJUYnRitGMUYnRic=