Abstract:
We suggest an algorithm for constructing all the isolated primary components of a given polynomial ideal. At the output, they are determined by systems of generators up to embedded components, and also as kernels of some homomorphisms. The complexity of this algorithm is subexponential in the size of the input data.
Key words and phrases:formal power series, fractional power series, nonzero characteristic, Newton–Puiseux algorithm, estimations of irreducible factors.
Fulltext:
PDF file (184 kB)