2010/12/23 by Cristina Bertone, Bertone, Cristina
Computer Science · Mathematics · #Commutative Algebra (math.AC) #FOS: Computer and information sciences #FOS: Mathematics #Symbolic Computation (cs.SC) #cs.SC #math.AC
paper · pdf · doi:10.48550/arxiv.1012.5210
27 pages, preliminary version, comments are welcome
arxiv created 2010/12/23 · arxiv updated 2010/12/24
In this paper, we present a modular strategy which describes key properties of the absolute primary decomposition of an equidimensional polynomial ideal defined by polynomials with rational coefficients. The algorithm we design is based on the classical technique of elimination of variables and colon ideals and uses a tricky choice of prime integers to work with. Thanks to this technique, we can obtain the number of absolute irreducible components, their degree, multiplicity and also the affine Hilbert function of the reduced components (namely, their initial ideal w.r.t. a degree-compatible term ordering) .