The command "toTropicalPolynomial" tropicalizes x1 to x_0 and x2 to x_1:
Code: Select all
tropical > $g = toTropicalPolynomial("max(x1,x2,0)");
tropical > print $g;
x_0 + x_1 + 0
Code: Select all
tropical > $g = toTropicalPolynomial("max(x1,x2,0)");
tropical > print $g;
x_0 + x_1 + 0
Code: Select all
$g = toTropicalPolynomial("max(x1,x2,0+0*x0)");
Code: Select all
toTropicalPolynomial("max(x1,x2)", qw(x0 x1 x2));