Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Next revisionBoth sides next revision | ||
tutorial:apps_tropical [2017/06/12 13:57] – added app switch oroehrig | tutorial:apps_tropical [2017/07/06 20:43] – [Tropical convex hull computations] renamed CONE_COVECTOR_DECOMP into POLYTOPE_... oroehrig | ||
---|---|---|---|
Line 49: | Line 49: | ||
</ | </ | ||
- | Finally, you can also create tropical polynomials. This can either | + | Finally, you can also create tropical polynomials. This can be done with the special |
< | < | ||
- | tropical > $r = new Ring< | ||
- | tropical > ($x, $y, $z) = $r-> | ||
- | tropical > $p = $x*$x + $y * $z; | ||
- | tropical > print $p; | ||
- | x0^2 + x1*x2 | ||
tropical > $q = toTropicalPolynomial(" | tropical > $q = toTropicalPolynomial(" | ||
tropical > print $q; | tropical > print $q; | ||
Line 64: | Line 59: | ||
==== Tropical convex hull computations ==== | ==== Tropical convex hull computations ==== | ||
- | The basic object for tropical convex hull computations is '' | + | The basic object for tropical convex hull computations is '' |
- | A tropical | + | A tropical |
< | < | ||
- | tropical > $c = new Cone< | + | tropical > $c = new Polytope< |
tropical > print $c-> | tropical > print $c-> | ||
0 0 0 | 0 0 0 | ||
Line 87: | Line 82: | ||
{2 3 4} | {2 3 4} | ||
{2 4 5} | {2 4 5} | ||
- | tropical > print $c->CONE_MAXIMAL_COVECTOR_CELLS; | + | tropical > print $c->POLYTOPE_MAXIMAL_COVECTOR_CELLS; |
{3 4} | {3 4} | ||
{4 5} | {4 5} | ||
Line 93: | Line 88: | ||
</ | </ | ||
- | In case you're just interested in either the subdivision of the full torus, or the polyhedral structure of the tropical | + | In case you're just interested in either the subdivision of the full torus, or the polyhedral structure of the tropical |
< | < | ||
tropical > $t = $c-> | tropical > $t = $c-> | ||
- | tropical > $p = $c->cone_subdivision_as_complex; | + | tropical > $p = $c->polytope_subdivision_as_complex; |
tropical > print $p-> | tropical > print $p-> | ||
1 0 0 | 1 0 0 | ||
Line 107: | Line 102: | ||
Note that by default, the affine chart is {x_0 = 0}. You can choose any chart {x_i = 0} by passing i as an argument to '' | Note that by default, the affine chart is {x_0 = 0}. You can choose any chart {x_i = 0} by passing i as an argument to '' | ||
- | Polymake computes the full subdivision of both the torus and the cone as a '' | + | Polymake computes the full subdivision of both the torus and the polytope |
< | < | ||
tropical > $c-> | tropical > $c-> | ||
- | tropical > $c->CONE_COVECTOR_DECOMPOSITION-> | + | tropical > $c->POLYTOPE_COVECTOR_DECOMPOSITION-> |
</ | </ | ||
Each node in the lattice is a cell of the subdivision. The top row describes the vertices and rays of the subdivision. The bottom row is the covector of that cell with respect to the '' | Each node in the lattice is a cell of the subdivision. The top row describes the vertices and rays of the subdivision. The bottom row is the covector of that cell with respect to the '' |