Available versions of this document: latest release, release 3.5, nightly master

Reference documentation for older polymake versions: release 3.4, release 3.3, release 3.2

BigObject Hypersurface<Addition>

from application tropical

This is a special instance of a Cycle: It is the tropical locus of a homogeneous polynomial over the tropical numbers. Note: Homogeneity of the polynomial is never checked.

Type Parameters:

Addition: Mode of tropical addition, must be Min or Max. There is on purpose no default value for it.

derived from:
Permutations:
TermPerm:

permuting MONOMIALS and COEFFICIENTS

Combinatorics

These properties capture combinatorial information of the object. Combinatorial properties only depend on combinatorial data of the object like, e.g., the face lattice.


DUAL_SUBDIVISION

Subdivision of the Newton polytope dual to the tropical hypersurface. The vertices of this PolyhedralComplex are the non-redundant MONOMIALS.

Type:

PATCHWORK

This encodes a patchworking structure on the hypersurface. Its lone input property is SIGNS

Type:

no category

COEFFICIENTS

Coefficients of the homogeneous tropical polynomial POLYNOMIAL. Each entry corresponds to one of the terms in POLYNOMIAL. The order is compatible with the order of MONOMIALS.

Type:

DOME

The dome of a (inhomogeneous) tropical polynomial \(F:\mathbb R^d\to\mathbb R\) (and the corresponding affine tropical hypersurface) is the set \[D(F)=\left\{(p,s)\in\mathbb R^{d+1}\mid p\in\mathbb R^d, s\in\mathbb R, s \oplus F(p) = s\right\}\]. It is an unbounded convex polyhedron, c.f.

Michael Joswig, Essentials of Tropical Combinatorics, Chapter 1.

For a projective tropical hypersurface, the dome is the intersection of the dome for the affine case with the hyperplane at height 1. Note: To account for negative exponents, the dome may have been repositioned by multiplying the original polynomial with a suitable monomial.

Type:

MONOMIALS

Exponent vectors of the homogeneous tropical polynomial POLYNOMIAL. Each row corresponds to one of the monomials in POLYNOMIAL, each column to a variable.

Type:

POLYNOMIAL

Homogeneous tropical polynomial defining the hypersurface. Note: Homogeneity of the polynomial is never checked.

Type:

REDUNDANT_MONOMIALS

Indices of MONOMIALS which do not define facets of the DOME.

Type:
Set<Int>

REGIONS

Connected components of the complement. Rows correspond to facets of the DOME, i.e. non-redundant MONOMIALS , columns correspond to VERTICES.

Type:

Combinatorics

These methods capture combinatorial information of the object. Combinatorial properties only depend on combinatorial data of the object like, e.g., the face lattice.


dual_subdivision()

Returns DUAL_SUBDIVISION; backward compatibility.

Returns:

Topology

The following methods compute topological invariants.


GENUS

The topological genus of a onedimensional hypersurface, i.e. the number of interior lattice points that occur in the dual subdivision.


  • documentation/latest/tropical/hypersurface.txt
  • Last modified: 2019/08/13 10:31
  • (external edit)