Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
403155 | Journal of Symbolic Computation | 2013 | 11 Pages |
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
Hartwig Bosse, Christine Gärtner, Oleg Golubitsky,