An algorithm for lifting points in a tropical variety (Q934344)

In tropical geometry, algebraic varieties are replaced by certain piecewise li\-near objects, the tropical varieties. There are two ways to define the tropical variety Trop \((J)\) for an ideal \(J\) in the polynomial ring \(K\{\{t\}\}[X_1, \ldots, X_n]\) over the field of Puiseux series. One way is to define the tropical variety combinatorically using \(t\)--initial ideals. The other way is to define it as the closure of the image of the algebraic variety \(V(J)\) of \(J\) in \(K\{\{t\}\}^n\) under the negative of the valuation map. It is proved that the two concepts coincide. An algorithm is given which allows to lift a given point \(x\in\text{Trop}(J)\) to a point in \(V(J)\) up to a given order. This algorithm has been implemented using \texttt{Singular} and \texttt{Gfan}.