F-vector computation for the Dressian Dr(3,8)

Outline

In the paper Algorithms for Tight Spans and Tropical Linear Spaces with Michael Joswig and Benjamin Schröter we computed tropical linear spaces for interior rays of all cones in the Dressian Dr(3,8). The paper only contained f-vectors for the maximal cones. Here we provide the data for all cones.

Data

We provide the following lists of files, all compressed as tar.gz-files:

The first is basically a copy of the data already provided at this page. It contains a file all_rays.data with coordinates for the rays. The ndim_cones.data files contain representatives for each cone orbit in dimension n. The file maxdim_cones.data contains representatives of the maximal cones, i.e. all 9-dimensional and the inclusion-maximal 8-dimensional cones. Ray indices in all the cone files refer to all_rays.data.

The second archive contains the f-vectors. There is a file for each dimension, as well as for the maximal cones. F-vectors appear in the same order as the corresponding cones. For every cone, there is a pair of f-vectors: The total f-vector of the corresponding linear space and the f-vector of the bounded part.

The last file contains the actual linear spaces, again sorted by dimension and in the same order as the corresponding cones.

Note that all these files are polymake files. They can be loaded into polymake with the load_data command (or load in the case of the linear spaces).