Advertisement

A Presentation of the Gfan Software

  • Anders N. Jensen
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4151)

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].

Keywords

Polynomial Ideal Homogeneous Ideal Initial Ideal Tropical Variety Toric Ideal 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    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)MATHCrossRefMathSciNetGoogle Scholar
  2. 2.
    Bogart, T., Jensen, A., Thomas, R., Speyer, D., Sturmfels, B.: Computing tropical varieties. J. Symb. Comput (to appear, 2005)Google Scholar
  3. 3.
    Collart, S., Kalkbrener, M., Mall, D.: Converting bases with the Gröbner walk. J. Symb. Comput. 24(3/4), 465–469 (1997)MATHCrossRefMathSciNetGoogle Scholar
  4. 4.
    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
  5. 5.
    Fukuda, K., Jensen, A., Thomas, R.: Computing Gröbner fans. Mathematics of Computation (to appear, 2005)Google Scholar
  6. 6.
    Granlund, T.: et al.: GNU multiple precision arithmetic library 4.1.2 (2002), http://swox.com/gmp/
  7. 7.
    Huber, B., Thomas, R.R.: Computing Gröbner fans of toric ideals. Experimental Mathematics 9(3/4), 321–331 (2000)MATHMathSciNetGoogle Scholar
  8. 8.
    Jensen, A.N.: Gfan, a software system for Gröbner fans (2005), http://home.imf.au.dk/ajensen/software/gfan/gfan.html
  9. 9.
    Mora, T., Robbiano, L.: The Gröbner fan of an ideal. J. Symb. Comput. 6(2/3), 183–208 (1988)MATHCrossRefMathSciNetGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Anders N. Jensen
    • 1
  1. 1.Department of Mathematical SciencesUniversity of AarhusÅrhusDenmark

Personalised recommendations