Ideal-specific elimination orders form a star-shaped region

DOI10.1016/J.JSC.2013.04.003zbMATH Open1316.13040arXiv1202.2727OpenAlexW2022598246MaRDI QIDQ2437226FDOQ2437226

Authors: Hartwig Bosse, Christine Gärtner, Oleg Golubitsky 

Publication date: 3 March 2014

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

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.

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

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

zbMATH Keywords

[https://portal.mardi4nfdi.de/w/index.php?title=+Special%3ASearch&search=Gr%EF%BF%BD%EF%BF%BDbner+basis&go=Go Gr��bner basis]eliminationpolynomial ideal[https://portal.mardi4nfdi.de/w/index.php?title=+Special%3ASearch&search=Gr%EF%BF%BD%EF%BF%BDbner+fan&go=Go Gr��bner fan]basis conversion[https://portal.mardi4nfdi.de/w/index.php?title=+Special%3ASearch&search=Gr%EF%BF%BD%EF%BF%BDbner+walk&go=Go Gr��bner walk]

Mathematics Subject Classification ID

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

Cites Work

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

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)