6-demicube

In geometry, a 6-demicube or demihexeract is a uniform 6-polytope, constructed from a 6-cube (hexeract) with alternated vertices removed. It is part of a dimensionally infinite family of uniform polytopes called demihypercubes. E. L. Elte identified it in 1912 as a semiregular polytope, labeling it as HM6 for a 6-dimensional half measure polytope. Coxeter named this polytope as 131 from its Coxeter diagram, with a ring on one of the 1-length branches, . It can named similarly by a 3-dimensional exponential Schläfli symbol or {3,33,1}. Cartesian coordinates for the vertices of a demihexeract centered at the origin are alternate halves of the hexeract: (±1,±1,±1,±1,±1,±1) with an odd number of plus signs. This configuration matrix represents the 6-demicube. The rows and columns correspond to vertices, edges, faces, cells, 4-faces and 5-faces. The diagonal numbers say how many of each element occur in the whole 6-demicube. The nondiagonal numbers say how many of the column's element occur in or at the row's element. The diagonal f-vector numbers are derived through the Wythoff construction, dividing the full group order of a subgroup order by removing one mirror at a time. There are 47 uniform polytopes with D6 symmetry, 31 are shared by the B6 symmetry, and 16 are unique: The 6-demicube, 131 is third in a dimensional series of uniform polytopes, expressed by Coxeter as k31 series. The fifth figure is a Euclidean honeycomb, 331, and the final is a noncompact hyperbolic honeycomb, 431. Each progressive uniform polytope is constructed from the previous as its vertex figure. It is also the second in a dimensional series of uniform polytopes and honeycombs, expressed by Coxeter as 13k series. The fourth figure is the Euclidean honeycomb 133 and the final is a noncompact hyperbolic honeycomb, 134. Coxeter identified a subset of 12 vertices that form a regular skew icosahedron {3, 5} with the same symmetries as the icosahedron itself, but at different angles. He dubbed this the regular skew icosahedron.