Computing Tropical Varieties
Tristram Bogart, Anders Jensen, David Speyer, Bernd Sturmfels, Rekha Thomas
Abstract
The tropical variety of a
d
-dimensional prime ideal in a polynomial ring with complex coefficients is a pure
d
-dimensional polyhedral fan. This fan is shown to be connected in codimension one. We present algorithmic tools for computing the tropical variety, and we discuss our implementation of these tools in the Gröbner fan software \texttt{Gfan}. Every ideal is shown to have a finite tropical basis, and a sharp lower bound is given for the size of a tropical basis for an ideal of linear forms.