This method computes the tropical variety of a marked reduced Groebner basis (given in the form of a marked polynomial list).
The following example is taken from the gfan documentation (v0.4 p.20).
gfan Documentation This program takes a marked reduced Groebner basis for a homogeneous ideal and computes the tropical variety of the ideal as a subfan of the Groebner fan. The program is slow but works for any homogeneous ideal. If you know that your ideal is prime over the complex numbers or you simply know that its tropical variety is pure and connected in codimension one then use gfan_tropicalstartingcone and gfan_tropicaltraverse instead.Options: