Home Online Manual
Top
Back: detropicalise
Forward: dualConic
FastBack: realizationMatroids_lib
FastForward: Miscellaneous libraries
Up: tropical_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.13.3.30 tDetropicalise

Procedure from library tropical.lib (see tropical_lib).

Usage:
tDetropicalise(f); f poly or f list

Assume:
if f is of type poly then f is a linear polynomial with an integer constant term and positive integer coefficients as further coefficients;
if f is of type list then it is a list of polynomials of the type just described in before

Return:
poly, the detropicalisation of f over the field Q(t)

Note:
the output will be a term where the coeffiecient is a Laurent monomial in the variable t

Example:
 
LIB "tropical.lib";
ring r=(0,t),(x,y),dp;
tDetropicalise(3x+4y-1);