Objects

Functionality

Libraries

Availability

Examples

Contributors

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

Hence, the normalization map is:

(t1, t2) -> (t1t2, t1, t22)

(real) picture via "parametrization" 		(real) picture via "implicitplot"
Valladolid (Spain) 5-00 http://www.singular.uni-kl.de