Path: blob/master/build/pkgs/cddlib/tests/input/reg24-5.ext
8820 views
* The vertices of a self-dual 4-dim regular polytope * with 24 octahedron facets. * We use hull option to compute all (24) facet inequalities. V-representation begin 24 5 integer 1 1 1 1 1 1 1 1 1 -1 1 1 1 -1 1 1 1 1 -1 -1 1 1 -1 1 1 1 1 -1 1 -1 1 1 -1 -1 1 1 1 -1 -1 -1 1 -1 1 1 1 1 -1 1 1 -1 1 -1 1 -1 1 1 -1 1 -1 -1 1 -1 -1 1 1 1 -1 -1 1 -1 1 -1 -1 -1 1 1 -1 -1 -1 -1 1 2 0 0 0 1 0 2 0 0 1 0 0 2 0 1 0 0 0 2 1 -2 0 0 0 1 0 -2 0 0 1 0 0 -2 0 1 0 0 0 -2 end