The ideal of the first secant of the Segre embedding is generated by
48 polynomials (the 3 × 3-minors of
the 4 × 4-flattenings of the
2 × 2 × 2 × 2-table (p_{ijkl})_{i,j,k,l}). The tropicalization of this variety was computed
with gfan.

We provide a list of all vertices (up to symmetry), together with an objective vector. In addition, we provide facet directions together with the cones in the tropical variety containing these vectors.

- List of 44938 vertices up to symmetry, together with objective vectors. One vertex per line, with the format [v,w] where v is the vertex obtained by ray-shooting the objective vector w. There are a total of 17214912 vertices.
- List of 246 facet directions up to symmetry in Polymake format. The first integer is the constant term of the inequality, and the last 16 coordinates make up the inner normal vector of the facet. The facets are defined up to the equations defining the affine hull of the polytope. The representatives are chosen to be primitive integer vectors orthogonal to the affine hull. There are a total of 70646 facets.

- Shoot
- Walk
- Tangent cone
- Facet directions Certificate