Outline

Overview

Ext

Primdec

Normalize

MuPAD

Deform

Classify

Puiseux

Future

Ring Normalization


Get a parametrization of an irreducible variety via normalization.

Whitney umbrella: V={x2-zy2=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

Image via parametrization
Image via implicitplot

ICM'98 http://www.mathematik.uni-kl.de/~zca/Singular