BigObject CovectorLattice

from application tropical

derived from:

Lattice

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

COVECTORS

Each node in the face lattice is a cell of a covector decomposition (of either the tropical torus or the tropical span of some points). This property maps each cell to the corresponding covector. A covector is encoded as an IncidenceMatrix, where rows correspond to coordinates and columns to POINTS. Note that this is already encoded in DECORATION and mainly kept for convenience and backwards compatibility.

Type:

NodeMap<Directed,IncidenceMatrix<NonSymmetric>>

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

dim

nodes_of_dim

nodes_of_dim_range

These methods are for visualization.

VISUAL()

Visualizes the covector lattice. This works the same as a visualization of a Hasse diagram except that by default, covectors are displayed. This can be turned off by the option Covectors⇒“hidden”

Options:

option list Visual::CovectorLattice::decorations