Algorithms for tight spans and tropical linear spaces

DOI10.1016/j.jsc.2018.06.016zbMath1498.05046arXiv1612.03592OpenAlexW2564133731MaRDI QIDQ1994124

Michael Joswig, Benjamin Schröter, Simon Hampe

Publication date: 1 November 2018

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1612.03592

zbMATH Keywords

closure systemstropical linear spacestight spanspolymake

Mathematics Subject Classification ID

Matroids in convex geometry (realizations in the context of convex polytopes, convexity in combinatorial structures, etc.) (52B40) Combinatorial aspects of tropical varieties (14T15) Computational aspects of higher-dimensional varieties (14Q15) Combinatorial aspects of matroids and geometric lattices (05B35)

Related Items

Real Tropical Hyperfaces by Patchworking in polymake, A new face iterator for polyhedra and for more general finite locally branched lattices, Moduli spaces of codimension-one subspaces in a linear variety and their tropicalization, Massively parallel computation of tropical varieties, their positive part, and tropical Grassmannians, Enumeration of 2-level polytopes, Computing images of polynomial maps, The Schläfli Fan, Frontiers of sphere recognition in practice

Uses Software

• polymake
• PPL
• TropLi

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Dressians, tropical Grassmannians, and their rays
• Matroid enumeration for incidence geometry
• Polyhedral and algebraic methods in computational geometry
• Matroid polytopes, nested sets and Bergman fans
• Triangulations. Structures for algorithms and applications
• How to draw tropical planes
• Trees, tight extensions of metric spaces, and the cohomological dimension of certain groups: A note on combinatorial properties of metric spaces
• Combinatorial geometries, convex polyhedra, and Schubert cells
• Valuated matroids
• Computing the face lattice of a polytope from its vertex-facet incidences
• The lattices of closure systems, closure operators, and implicational systems on a finite set: A survey
• Computing tropical linear spaces
• Computing the bounded subcomplex of an unbounded polyhedron
• a-tint: a polymake extension for algorithmic tropical intersection theory
• Six theorems about injective metric spaces
• Conceptual Exploration
• Tropical Convex Hull Computations
• Tropical Linear Spaces
• Chow quotients of Grassmannian I
• The tropical Grassmannian
• Affine Buildings and Tropical Convexity
• An Improved Tight Closure Algorithm for Integer Octagonal Constraints
• Theory of Matroids