gfanTropicalBasis(I)
This method produces a tropical basis of a given homogeneous ideal. If the ideal is not homogeneous, it must be homogenized using the h option.


gfan Documentation
This program computes a tropical basis for an ideal defining a tropical curve. Defining a tropical curve means that the Krull dimension of R/I is at most 1 + the dimension of the homogeneity space of I where R is the polynomial ring. The input is a generating set for the ideal. If the input is not homogeneous option h must be used.
Options:
h:
Homogenise the input before computing a tropical basis and dehomogenise the output. This is needed if the input generators are not already homogeneous.
The object gfanTropicalBasis is a method function with options.