Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
403386 | Journal of Symbolic Computation | 2007 | 20 Pages |
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 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.
Related Topics
Physical Sciences and Engineering
Computer Science
Artificial Intelligence