====== BigObject CovectorLattice ====== //from application [[..:tropical|tropical]]//\\ \\ ? derived from: : ''[[..:graph:Lattice |Lattice]]'' ===== Properties ===== ==== 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. ---- {{anchor:covectors:}} ? **''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 ''[[..:tropical:Polytope#POINTS |POINTS]]''. Note that this is already encoded in ''[[..:graph:Lattice#DECORATION |DECORATION]]'' and mainly kept for convenience and backwards compatibility. ? Type: :''[[..:common#NodeMap |NodeMap]]<[[..:common#Directed |Directed]],[[..:common#IncidenceMatrix |IncidenceMatrix]]<[[..:common#NonSymmetric |NonSymmetric]]%%>>%%'' ---- ===== Methods ===== ==== 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. ---- {{anchor:dim:}} ? **''dim''** :: ---- {{anchor:nodes_of_dim:}} ? **''nodes_of_dim''** :: ---- {{anchor:nodes_of_dim_range:}} ? **''nodes_of_dim_range''** :: ---- ==== Visualization ==== These methods are for visualization. ---- {{anchor:visual:}} ? **''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" ----