|
D.13.6.12 tropicaliseSet
Procedure from library tropical.lib (see tropical_lib).
- Usage:
- tropicaliseSet(i); i ideal
- Assume:
- i is an ideal in Q(t)[x_1,...,x_n]
- Return:
- list, the jth entry is the tropicalisation of the jth generator of i
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;
ideal i=txy-y2+1,2t3x2+1/t*y-t6;
tropicaliseSet(i);
==> [1]:
==> [1]:
==> x+y+1
==> [2]:
==> 2*y
==> [3]:
==> 0
==> [2]:
==> [1]:
==> 2*x+3
==> [2]:
==> y-1
==> [3]:
==> 6
|
|