|
D.12.2.27 detropicalise
Procedure from library tropical.lib (see tropical_lib).
- Usage:
- detropicalise(f); f poly
- Assume:
- f is a linear polynomial with an arbitrary constant term and
positive integer coefficients as further coefficients;
- Return:
- poly, the detropicalisation of (the non-constant part of) f
- Note:
- the output will be a monomial and the constant coefficient
has been ignored
Example:
| LIB "tropical.lib";
ring r=(0,t),(x,y),dp;
detropicalise(3x+4y-1);
|
|