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.