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
|