Abstract
Gfan [8] is a software package for computing Gröbner fans and tropical varieties of polynomial ideals. The Gröbner fan of an ideal I ⊂ ℚ[x 1,...,x n ] is a polyhedral complex defined in [9]. For a homogeneous ideal the Gröbner fan is a complete fan and the normal fan of a polytope. Its cones are in bijection with the various initial ideals of I. In particular, the full dimensional cones are in bijection with the monomial initial ideals and thereby also in bijection with the reduced Gröbner bases of I. In [3] the local basis change of Gröbner bases was introduced. This method allows us to go from one Gröbner basis in the fan to a neighboring one, giving an effective algorithm for computing the Gröbner fan by traversing its maximal cones. The method can be refined by applying the reverse search technique [1]. This works even in the non-homogeneous case [5].
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Avis, D., Fukuda, K.: A basis enumeration algorithm for convex hulls and vertex enumeration of arrangements and polyhedra. Discrete Computational Geometry 8, 295–313 (1992)
Bogart, T., Jensen, A., Thomas, R., Speyer, D., Sturmfels, B.: Computing tropical varieties. J. Symb. Comput (to appear, 2005)
Collart, S., Kalkbrener, M., Mall, D.: Converting bases with the Gröbner walk. J. Symb. Comput. 24(3/4), 465–469 (1997)
Fukuda, K.: cddlib reference manual, cddlib Version 094b. Swiss Federal Institute of Technology, Lausanne and Zürich, Switzerland (2005), http://www.ifor.math.ethz.ch/~fukuda/cdd_home/cdd.html
Fukuda, K., Jensen, A., Thomas, R.: Computing Gröbner fans. Mathematics of Computation (to appear, 2005)
Granlund, T.: et al.: GNU multiple precision arithmetic library 4.1.2 (2002), http://swox.com/gmp/
Huber, B., Thomas, R.R.: Computing Gröbner fans of toric ideals. Experimental Mathematics 9(3/4), 321–331 (2000)
Jensen, A.N.: Gfan, a software system for Gröbner fans (2005), http://home.imf.au.dk/ajensen/software/gfan/gfan.html
Mora, T., Robbiano, L.: The Gröbner fan of an ideal. J. Symb. Comput. 6(2/3), 183–208 (1988)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Jensen, A.N. (2006). A Presentation of the Gfan Software. In: Iglesias, A., Takayama, N. (eds) Mathematical Software - ICMS 2006. ICMS 2006. Lecture Notes in Computer Science, vol 4151. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11832225_21
Download citation
DOI: https://doi.org/10.1007/11832225_21
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-38084-9
Online ISBN: 978-3-540-38086-3
eBook Packages: Computer ScienceComputer Science (R0)