|
Puiseux Expansion - An Example
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
|
|