Outline

Overview

Ext

Primdec

Normalize

MuPAD

Deform

Classify

Puiseux

Future

Primary Decomposition


Decompose a variety into its irreducible components via the primary decomposition.

Ideal I=(y2z2-x2y3-xz3+x3yz,y2z-xz2)

LIB "primdec.lib";
ring r=0,(x,y,z),dp;
ideal i=y^2*z^2-x^2*y^3-x*z^3+x^3*y*z,y^2*z-x*z^2;
primdecGTZ(i);
[1]:
[1]: _[1]=-y2+xz
[2]: _[1]=-y2+xz
[2]:
[1]: _[1]=z2
_[2]=y
[2]: _[1]=z
_[2]=y
[3]:
[1]: _[1]=z
_[2]=x2
[2]: _[1]=z
_[2]=x


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