* 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