Article ID Journal Published Year Pages File Type
403155 Journal of Symbolic Computation 2013 11 Pages PDF
Abstract

This paper shows that for any given polynomial ideal I⊂K[x1,…,xn]I⊂K[x1,…,xn] the collection of Gröbner cones corresponding to II-specific elimination orders forms a star-shaped region which contrary to first intuition in general is not convex.Moreover we show that the corresponding region may contain Gröbner cones intersecting in the boundary of the Gröbner fan in the origin only. This implies that Gröbner walks aiming for the elimination of variables from a polynomial ideal can be terminated earlier than previously known. We provide a slightly improved stopping criterion for a known Gröbner walk algorithm for the elimination of variables.

Keywords
Related Topics
Physical Sciences and Engineering Computer Science Artificial Intelligence
Authors
, , ,