Singular

Hello all:

I have a geometry question. Given an ALGEBRAIC variety V in C^n
defined by a single polynomial and given a point p in V, can Singular compute the number of (distinct) irreducible ANALYTIC components of V
passing through p?

For example, let f = y^2 -x^2*(1 +x). Then the variety V(f) has two
irreducible analytic components passing through (0,0), one for each
factor of the decomposition

f = (y -x*sqrt(1+x)) *(y +x*sqrt(1+x))

in C{x,y}, the ring of power series convergent in a neighborhood of
(0,0).

I was told by someone on the Sage mailing list that Singular can factor approximately (up to any given degree) in C[[x_1,...,x_n]], the ring of formal power series over C. If so, what are the appropriate commands? (I tried searching the Singular documentation but couldn't find an answer.) Using such a factorization would be one way to determine the number of irreducible analytic components at p.

Thanks for your attention.
Alex

If n=2 and p is (0,0), this is indeed available in Singular by the following
sequence of commands:

LIB "hnoether.lib";
ring r=0,(x,y),ds;
poly f=y^2 -x^2*(1 +x);
list HNoetherExpansion=hnexpansion(f);
displayHNE(HNoetherExpansion);

As output you obtain:
// Hamburger-Noether development of branch nr.1:
y = x+1/2*x^2 + ..... (terms of degree >=3)

// Hamburger-Noether development of branch nr.2:
y = -x-1/2*x^2 + ..... (terms of degree >=3)

If p is not the origin, you need to do a coordinate change first to move to (0,0).

If n>2, then Hamburger-Noether Expansion can no longer be used and there is
no application ready tool in this situation in SINGULAR.

Do you need it for n=2 or n>2?

Hi Anne:

Thanks for your help. I need a test for n >= 2. Is there a way is Singular to factor polynomials up to a given degree in C[[x_1,...,x_n]]?