Ring Normalization

Get a parametrization of an irreducible variety via normalization.

Whitney umbrella: V={x²-zy²=0}

LIB "normal.lib"; ring r=0,(x,y,z),dp; ideal i=y^2-x^2*z; list NN=normal(i); def N=NN[1]; setring N; PP; => PP[1]=T(1) => PP[2]=T(1)*T(2) => PP[3]=T(2)^2