Classify
Coding
Deformations
Equidim Part
Existence
Finite Groups
Flatness
Genus
Hilbert Series
Membership
Monodromy
Normalization
Primdec
Puiseux
Plane Curves
Solving
Space Curves
Spectrum
Ring Normalization

Get a parametrization of a reduced variety via normalization.

Whitney umbrella:
V = {x2-y2z = 0}

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

(real) picture via "implicitplot"

Hence, the normalization map is: (t1, t2) -> (t1t2, t1, t22)

A more complicated Example

Lille, 08-07-02 http://www.singular.uni-kl.de