Home Online Manual
Top
Back: solveTInitialFormPar
Forward: tDetropicalise
FastBack:
FastForward:
Up: tropical_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.13.6.28 detropicalise

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