9-demicubeIn geometry, a demienneract or 9-demicube is a uniform 9-polytope, constructed from the 9-cube, 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 HM9 for a 9-dimensional half measure polytope. Coxeter named this polytope as 161 from its Coxeter diagram, with a ring on one of the 1-length branches, and Schläfli symbol or {3,36,1}.
Halved cube graphIn graph theory, the halved cube graph or half cube graph of dimension n is the graph of the demihypercube, formed by connecting pairs of vertices at distance exactly two from each other in the hypercube graph. That is, it is the half-square of the hypercube. This connectivity pattern produces two isomorphic graphs, disconnected from each other, each of which is the halved cube graph. The construction of the halved cube graph can be reformulated in terms of binary numbers.
1 32 polytopeDISPLAYTITLE:1 32 polytope In 7-dimensional geometry, 132 is a uniform polytope, constructed from the E7 group. Its Coxeter symbol is 132, describing its bifurcating Coxeter-Dynkin diagram, with a single ring on the end of one of the 1-node sequences. The rectified 132 is constructed by points at the mid-edges of the 132. These polytopes are part of a family of 127 (27-1) convex uniform polytopes in 7-dimensions, made of uniform polytope facets and vertex figures, defined by all permutations of rings in this Coxeter-Dynkin diagram: .
E9 honeycombDISPLAYTITLE:E9 honeycomb In geometry, an E9 honeycomb is a tessellation of uniform polytopes in hyperbolic 9-dimensional space. , also (E10) is a paracompact hyperbolic group, so either facets or vertex figures will not be bounded. E10 is last of the series of Coxeter groups with a bifurcated Coxeter-Dynkin diagram of lengths 6,2,1. There are 1023 unique E10 honeycombs by all combinations of its Coxeter-Dynkin diagram.
1 42 polytopeDISPLAYTITLE:1 42 polytope In 8-dimensional geometry, the 142 is a uniform 8-polytope, constructed within the symmetry of the E8 group. Its Coxeter symbol is 142, describing its bifurcating Coxeter-Dynkin diagram, with a single ring on the end of the 1-node sequences. The rectified 142 is constructed by points at the mid-edges of the 142 and is the same as the birectified 241, and the quadrirectified 421.
