
D.13.4.12 tropicalise
Procedure from library tropical.lib (see tropical_lib).
 Usage:
 tropicalise(f[,#]); f polynomial, # optional list
 Assume:
 f is a polynomial in Q(t)[x_1,...,x_n]
 Return:
 list, the linear forms of the tropicalisation of f
 Note:
 if # is empty, then the valuation of t will be 1,
if # is the string 'max' it will be 1;
the latter supposes that we consider the maximum of the
computed linear forms, the former that we consider their minimum
Example:
 LIB "tropical.lib";
==> Welcome to polymake version
==> Copyright (c) 19972015
==> Ewgenij Gawrilow, Michael Joswig (TU Darmstadt)
==> http://www.polymake.org
ring r=(0,t),(x,y),dp;
tropicalise(2t3x21/t*xy+2t3y2+(3t3t)*x+ty+(t6+1));
==> [1]:
==> 2*x+3
==> [2]:
==> x+y1
==> [3]:
==> 2*y+3
==> [4]:
==> x+1
==> [5]:
==> y+1
==> [6]:
==> 0

