Per il calcolo dell'evoluta del Folium di Cartesio, è conveniente lasciare l'ordine monomiale di default,

i seguenti comandi funzionano velocemente

S=QQ[s,t,x,y]
p=s^3+t^3-3*s*t
g=(x-s)*(diff(t,p))-(y-t)*(diff(s,p))
h=diff(t,p)*diff(s,g)-diff(s,p)*diff(t,g)
time ssi=saturate(ideal(p,g,h),ideal(s,t))
eliminate({s,t},ssi)

Cordialmente,

Giorgio Ottaviani