Outline
Overview
Ext
Primdec
Normalize
MuPAD
Deform
Classify
Puiseux
Future
LIB "deform.lib"; ring r=0,(x,y,z,u,v),ds; matrix m[2][4]=x,y,z,u,y,z,u,v; ideal f0=minor(m,2); versal(f0); setring Px; Js; => Js[1,1]=-BD => Js[1,2]=-AD+D2 => Js[1,3]=-CD