Abstract
The Gröbner fan of an ideal in the polynomial ring in n variables is an n-dimensional polyhedral complex and the tropical variety of the ideal is a certain subcomplex. In this paper we describe the software Gfan for computing these fans. Computing the Gröbner fan is equivalent to computing all the reduced Gröbner bases of the ideal.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
D. Avis and K. Fukuda, A basis enumeration algorithm for convex hulls and vertex enumeration of arrangements and polyhedra., Discrete Computational Geometry, 8 (1992), pp. 295-313.
R. Bieri and J. Groves, The geometry of the set of characters induced by valuations, J. reine and angewandte Mathematik, 347 (1984), pp. 168-195.
T. Bogart, A. Jensen, R. Thomas, D. Speyer, and B. Sturmfels, Computing tropical varieties., J. Symb. Comput., 42 (2007), pp. 54-73.
S. Collart, M. Kalkbrener, and D. Mall, Converting bases with the Grobner walk., J. Symb. Comput., 24 (1997), pp. 465-469.
K. Fukuda, cddlib reference manual, cddlib Version 094b, Swiss Federal Institute of Technology, Lausanne and Zurich, Switzerland, 2005. (http://www.ifor.math.ethz.ch/-fukuda/cdd-home/cdd.html.)
K. Fukuda, A. Jensen, and R. Thomas, Computing Grobner fans., Mathematics of Computation, 76 (2007), pp. 2189-2212.
E. Gawrilow and M. Joswig, polymake: a framework for analyzing convex polytopes, in Polytopes - Combinatorics and Computation, G. Kalai and G.M. Ziegler, eds., Birkhauser, 2000, pp. 43-74.
T. Granlund and Et Al., Gnu multiple precision arithmetic library 4.1.2, December 2002. (http://swox.com/gmp/.)
D.R. Grayson and M.E. Stillman, Macaulay 2, a software system for research in algebraic geometry, 2007. (http://www.math.uiuc.edu/Macaulay2/.)
G.-M. Greuel, G. Pfister, and H. Schonemann, Singular 2.0.5, A Computer Algebra System for Polynomial Computations, Centre for Computer Algebra, University of Kaiserslautern, 2004. (http://www.singular.uni-kl.de.)
B. Huber and R.R. Thomas, Computing Grobner fans of tonic ideals., Experi-mental Mathematics, 9 (2000), pp. 321-331.
A. Jensen, H. Markwig, and T. Markwig, An algorithm for lifting points in a tropical variety, 2007. Preprint, math.AG/0705.2441.
A.N. Jensen, Gfan, a software system for Grobner fans,2006.(http://www.math. t u-berlin. de/-jensen/software/gfan/gfan. html. )
An. Jensen, A presentation of the Gfan software., in Mathematical Software -ICMS 2006, Iglesias and Takayama, eds., Springer, 2006, pp. 222-224.
T. Mora and L. Robbiano, The Grobner fan of an ideal., J. Symb. Comput., 6 (1988), pp. 183-208.
J. Rambau, TOPCOM: Triangulations of point configurations and oriented matroids, ZIB report, 02-17 (2002).
D. Sppeyer and B. Sturmfels, The tropical Grassmannian, Adv. Geom., 4 (2004), pp. 389-411.
W. Stein, Sage: Software for algebra and geometry experimentation., 2007. (http://www.sagemath.org/,http://sage.scipy.org/.)
B. Sturmfels, Grobner bases and Convex Polytopes, Vol. 8 of University Lecture Series, American Mathematical Society, 1996.
B. Sturmfels and J. Yu, Tropical implicitization and mixed fiber polytopes, IMA Volume 148: Software for Algebraic Geometry; Editors: Michael E. Stillman, Nobuki Takayama, and Jan Verschelde; Publisher: Springer Science+Business Media, 2008.
The CoCoa Team, The CoCoA Project, 2007. (http://cocoa.dima.unige.it/.)
T. Theobald, On the frontiers of polynomial computations in tropical geometry, J. Symbolic Comput., 41 (2006), pp. 1360-1375.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 Springer Science + Business Media, LLC
About this chapter
Cite this chapter
Jensen, A.N. (2008). Computing Gröbner Fans and Tropical Varieties in Gfan. In: Stillman, M., Verschelde, J., Takayama, N. (eds) Software for Algebraic Geometry. The IMA Volumes in Mathematics and its Applications, vol 148. Springer, New York, NY. https://doi.org/10.1007/978-0-387-78133-4_3
Download citation
DOI: https://doi.org/10.1007/978-0-387-78133-4_3
Publisher Name: Springer, New York, NY
Print ISBN: 978-0-387-78132-7
Online ISBN: 978-0-387-78133-4
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)