Outline

Overview

Ext

Primdec

Normalize

MuPAD

Deform

Classify

Puiseux

Future

MuPAD - PrimDec


Plot the variety given by the ideal

I=(y2z5-x2y2z2+y2z4-z6-z5+x4-x2z2,-y3z3+yz4+x2yz).

Step 1: Calculate a primary decomposition of I using Singular.
>> primDec:=sing::primdecGTZ(I)):
>> primeComps:=map(primDec, op, 2);
[[x^2-y^2*z^2+z^3],[x^4,z],[y,x^2-z^2-z^3]]
Step 2: For each prime component, calculate the normalization of the radical, i. e. a parametrization using Singular.
>> paramComps:=map(primeComps, sing::parametrize)
[[s^2*t-t^3,s,s^2-t^2], [0,s,0], [s^3-s,0,s^2-1]]
Step 3: Plot the parametrizations using MuPAD.
>> plot3d([Mode=Surface,paramComps[1],s=[-2..2],t=[-2..2]]);


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