Procedure from library tropical.lib (see tropical_lib).
Usage:
detropicalise(f); f poly or f list
Assume:
if f is of type poly then t is a linear polynomial with
an arbitrary constant term and positive integer coefficients
as further coefficients;
if f is of type list then f is a list of polynomials of
the type just described in before
Return:
poly, the detropicalisation of f ignoring the constant parts
Note:
the output will be a monomial and the constant coefficient
has been ignored
Example:
LIB "tropical.lib";
==> Welcome to polymake version
==> Copyright (c) 1997-2015
==> Ewgenij Gawrilow, Michael Joswig (TU Darmstadt)
==> http://www.polymake.org
ring r=(0,t),(x,y),dp;
detropicalise(3x+4y-1);
==> x3y4