Outline

Examples


Ext

Primdec

Normalize

MuPAD

Deform

Classify

Monodromy

Kodaira

Puiseux

More Complicated Puiseux Expansion


LIB "hnoether.lib";
ring r0=0,(x,y),ls;
poly f=y*(x^2-y^3)*(x^3-y^2)*(y^2-x^2-x^3);
list hn=reddevelop(f);
=> HNE of one branch found
=> HNE of one branch found
=> finite HNE found
=> finite HNE of one branch found
=> ~~~ result: 5 branch(es) successfully computed ~~~

displayHNE(hn);
=> // Hamburger-Noether development of branch nr.1:
=> HNE[1]=-y-z(0)-1/2*z(0)^2
=> HNE[2]=-x+z(0)

=> // Hamburger-Noether development of branch nr.2:
=> HNE[1]=-y+z(0)+1/2*z(0)^2
=> HNE[2]=-x+z(0)

=> // Hamburger-Noether development of branch nr.3:
=> HNE[1]=-y+z(0)*z(1)
=> HNE[2]=-x+z(1)^2

=> // Hamburger-Noether development of branch nr.4:
=> HNE[1]=-y
=> HNE[2]=-x+z(0)

=> // Hamburger-Noether development of branch nr.5:
=> HNE[1]=-x+z(0)*z(1)
=> HNE[2]=-y+z(1)^2

Hannover http://www.singular.uni-kl.de