Experimental Mathematics

Computing Gröbner fans of toric ideals

Birkett Huber and Rekha R. Thomas

Abstract

The monomial initial ideals of a graded polynomial ideal are in bijection with the vertices of a convex polytope known as the state polytope of the ideal. The Gröbner fan of the ideal is the normal fan of its state polytope. In this paper we present a software system called TiGERS (Toric Gröbner bases Enumeration by Reverse Search) for computing the Gröbner fan of a toric ideal by enumerating the edge graph of its state polytope. The key contributions are an inexpensive algorithm for local change of Gröbner bases in toric ideals and the identification of a reverse search tree on the vertices of the state polytope. Using these ideas we obtain a combinatorial Gröbner walk procedure for toric ideals. TiGERS has been used to compute state polytopes with over 200,000 vertices.

Article information

Source
Experiment. Math., Volume 9, Issue 3 (2000), 321-331.

Dates
First available in Project Euclid: 18 February 2003

Permanent link to this document
https://projecteuclid.org/euclid.em/1045604667

Mathematical Reviews number (MathSciNet)
MR1795304

Zentralblatt MATH identifier
0978.13019

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

Citation

Huber, Birkett; Thomas, Rekha R. Computing Gröbner fans of toric ideals. Experiment. Math. 9 (2000), no. 3, 321--331. https://projecteuclid.org/euclid.em/1045604667


Export citation