License: Creative Commons Attribution 4.0 International license (CC BY 4.0)
When quoting this document, please refer to the following
DOI: 10.4230/DagSemProc.06271.6
URN: urn:nbn:de:0030-drops-7741
Go to the corresponding Portal

Laplagne, Santiago

Computation of the Minimal Associated Primes

06271.LaplagneSantiago.ExtAbstract.774.pdf (0.2 MB)


Solving systems of polynomial equations is a main task in Computer Algebra, although the precise meaning of what is an acceptable solution depends on the context.
In this talk, we interpret it as finding the minimal associated primes of the ideal generated by the polynomials. Geometrically, this is equivalent to decompose the set of solutions into its irreducible components.
We study the existing algorithms, and propose some modifications.

A common technique used is to reduce the problem to the zero dimensional case. In a paper by Gianni, Trager and Zacharias they use this technique, combined with the splitting tool $I = (I : h^infty) cap langle I, h^m
angle$ for some specific polynomial $h$ and integer $m$. This splitting introduces a number of redundant components that are not part of the original ideal.

In the algorithm we present here, we use the reduction to the zero dimensional case, but we avoid working with the ideal $langle I, h^m
angle$. As a result, when the ideal has components of different dimensions, our algorithm is usually more efficient.

BibTeX - Entry

  author =	{Laplagne, Santiago},
  title =	{{Computation of the Minimal Associated Primes}},
  booktitle =	{Challenges in Symbolic Computation Software},
  pages =	{1--6},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2006},
  volume =	{6271},
  editor =	{Wolfram Decker and Mike Dewar and Erich Kaltofen and Stephen Watt},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{},
  URN =		{urn:nbn:de:0030-drops-7741},
  doi =		{10.4230/DagSemProc.06271.6},
  annote =	{Keywords: Minimal associated primes, groebner basis, polynomail equations, radical}

Keywords: Minimal associated primes, groebner basis, polynomail equations, radical
Collection: 06271 - Challenges in Symbolic Computation Software
Issue Date: 2006
Date of publication: 25.10.2006

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI