[[application: tropical]]
This application concentrates on tropical hypersurfaces and tropical polytopes. It provides the functionality for the computation of basic properties. Visualization and various constructions are possible.
A tropical hypersurface is the set of points in the tropical (d-1)-torus for which the minimum of a tropical polynomial is attained at least twice. It is given as a list of MONOMIALS and COEFFICIENTS. Currently polymake supports tropical hypersurfaces given by a homogeneous polynomial only!
Throughout this hypersurface is seen as a polyhedral complex in Rd-1.
Coefficients of the (tropical) polynomial defining the hypersurface.
Monomials of the (tropical) polynomial defining the hypersurface (Laurent polynomials are allowed.) The rows stands for the monomials, the columns for the variables. I.e., the entry in position (i,j) is the exponent of xj in the i-th monomial.
List the MONOMIALS for which the minimum is attained.
Vertices of the hypersurface.
Visualizes the tropical hypersurface.
Tropical convex hull of finitely many points in the tropical (d-1)-torus, as introduced by Develin and Sturmfels. One construction is via the bounded subcomplex of an unbounded ordinary convex polyhedron.
Dimension of the tropical projective space which contains the tropical polytope.
Cyclic order of the PSEUDOVERTICES in the boundary (for dimension 2 only).
Tropical polytopes have a natural description as the complex of bounded faces of their envelopes. This envelope depends on the choice of the POINTS that generate the tropical polytope.
Input points in homogeneous coordinates. This is the fixed system of generators with respect to which many combinatorial properties are expressed.
Coarse types of PSEUDOVERTICES relative to POINTS.
Unique names assigned to the PSEUDOVERTICES. Can be used as "NodeLabels" in VISUAL_PLANAR.
Unique names assigned to the VERTICES. If specified, they are shown by visualization tools instead of vertex indices.
Vertices of the tropical convex hull in homogeneous coordinates: We normalize by setting the first homogeneous coordinate to zero.
Tropical polytopes have a natural description as ordinary polytopal complexes. This is the 1-skeleton of such a complex.
Visualize the tropical polytope.
Visualize the tropical polytope projected onto the plane.
| Matrix | Directions | directions to project onto |
| option list: | Visual::Graph::decorations |
| Visual::TropicalPolytope |
Visualize the PSEUDOVERTEX_GRAPH of a tropical polytope.
| Int | seed | random seed value for the string embedder |
| option list: | Visual::Graph::decorations |
| Visual::TropicalPolytope |
Compute the coarse types of the points set relative to a set of generators. The following are two typical cases:
(2) points = POINTS and generators = PSEUDOVERTICES
Given points in the tropical projective space, discard all the non-vertices of the tropical convex hull.
| TropicalPolytope | P | |
| char | point_section |
Get the pseudovertices of a tropical polytope T from the bounded subcomplex of the corresponding unbounded polyhedron P.
| TropicalPolytope | T | |
| Polytope | P |
Compute the nearest point of a point x in the tropical projective space onto a tropical polytope P. Cf.
Develin & Sturmfels math.MG/0308254v2, Proposition 9.
Takes an ordinary convex polytope and interprets it in tropical projective space.
Takes a tropical polytope T and interprets it in ordinary Euclidean space.
Return the pseudovertex coordinates dehomogenized and converted to Matrix<Float>; to be used as "Coord" for visualization.
Given points in the tropical projective space, compute an ordinary unbounded polyhedron such that the tropical convex hull of the input is the bounded subcomplex of the latter. Cf.
Develin & Sturmfels math.MG/0308254v2, Lemma 22.
Warning: This client does not implement the reverse transformation to poly2trop.
Compute the fine types of the points set relative to a set of generators. The following are two typical cases:
(2) points = POINTS and generators = PSEUDOVERTICES
Compute the cornered hull of a tropical polytope. Cf.
M. Joswig, arXiv:0809.4694v2, Lemma 17.
Dualizes a point set with respect to the generators of a tropical polytope. The points are dualized with respect to the (rows of the) matrix of the generators. Cf.
Develin & Sturmfels, Tropical Convexity, Lemma 22.
Produces the tropical polytope lambda*P+mu*Q, where * and + are tropical scalar multiplication and tropical addition, respectively.
Produces a tropical cyclic d-polytope with n vertices. Cf.
Josephine Yu & Florian Block, arXiv: math.MG/0503279.
Produce the tropical hypersimplex Δ(k,d). Cf.
M. Joswig math/0312068v3, Ex. 2.10.
The value of k defaults to 1, yielding a tropical standard simplex.
List the pseudovertices of a 2d tropical polytope on the boundary in counter-clockwise cyclic order.
| Int | n | the number of generators |
| Array<Array<Set>> | Types | the types of the generators |
| Graph | G |
| Array<int> | the pseudovertices on the boundary |