Ideal-specific elimination orders form a star-shaped region

DOI10.1016/J.JSC.2013.04.003MaRDI QIDQ2437226zbMATH OpenOpenAlexFDO

Authors Hartwig Bosse, Christine Gärtner, Oleg Golubitsky

Publication date 3 March 2014

Published in Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1202.2727

zbMATH Keywords

eliminationpolynomial idealbasis conversionGröbner basisGröbner fanGröbner walk

Mathematics Subject Classification ID

Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10)

Abstract: This paper shows that Gr"obner walks aiming for the elimination of variables from a polynomial ideal can be terminated much earlier than previously known. To this end we provide an improved stopping criterion for a known Gr"obner walk algorithm for the elemination of variables. This results from two new geometric insights on Gr"obner fans: We show that for any given ideal I subset K[x_1, ..., x_n] the collection of Gr"obner cones corresponding to I-specific elimination orders may contain Gr"obner cones in the relative interior of the positive orthant. Moreover we prove that the corresponding Gr"obner cones form a star-shaped region (the center being the set of all universal elimination vectors) which contrary to first intuition in general is not convex.

Recommendations

• Converting bases with the Gröbner walk
• A fast algorithm for Gröbner basis conversion and its applications
• On the walk
• On the Computation of Elimination Ideals of Boolean Polynomial Rings
• The Gröbner fan of an ideal
• Computing Gröbner fans
• scientific article; zbMATH DE number 5375015
• Gröbner fans of \(x\)-homogeneous ideals in \(R [\![ t ]\!][x]\)
• A new class of term orders for elimination
• The Gröbner fan and Gröbner walk for modules

Cites work

• scientific article; zbMATH DE number 4065139 (Why is no real title available?)
• scientific article; zbMATH DE number 17843 (Why is no real title available?)
• scientific article; zbMATH DE number 108068 (Why is no real title available?)
• A new class of term orders for elimination
• An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal
• Computing Gröbner fans
• Converting bases with the Gröbner walk
• Efficient Groebner walk conversion for implicitization of geometric objects
• Implicit representation of parametric curves and surfaces
• On the walk
• The Gröbner fan of an ideal
• The collected mathematical papers of James Joseph Sylvester. Volume I: (1837--1853). Edited by H. F. Baker
• The generic Gröbner walk

Cited in

(2)

• Reducing the size and number of linear programs in a dynamic Gröbner basis algorithm
• A new class of term orders for elimination

This page was built for publication: Ideal-specific elimination orders form a star-shaped region

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2437226)