| LIB "arnold.lib";
ring R = 0,(x,y,z),ds;
poly g = (x^2+y^2)^2+5*x^(10)+y^(11)+z^2;
poly phix = x+y^2+x^2+x*y+x^2*y+x*y^3;
poly phiy = y+y^2+2*x^2+x*y+y*x^2+y^2*x+x*y^4;
poly phiz = z+2*x+x^2+y^4*x;
map phi = R,phix,phiy,phiz;
g = phi(g);
Poly F = makePoly(g);
determineNormalForm(F);
==> Embedding dimension = 3
==> Corank of singularity = 2
==> Normal form of type = (0,22),(1,6),(2,2),(6,1),(22,0)
==> Normal form = (a(1))*x^2*y^2+x^6*y+x*y^6+x^22+y^22
==> Exceptional Hypersurface is not determined.
==> Normal form equation is not determined.
==> Milnor number = 21
==> Modality = 1
==> Monomials corresponding to moduli terms = x^2*y^2
==> Delta invariant = 12
==> Number of branches = 4
==> Determinacy <= 10
==> Non-degenerate part = z^2
==> Chain of transformations before Morse split of length 5
==> Chain of transformations after Morse split of length 5
==>
==> The chain of transformations is only containing transformations up to tra\
nsforming the input polynomial to a germ with a nondegenerate Newton boun\
dary. The final transformations to normalize the germ are not yet determi\
ned.
==>
|