Uniform 2 k1 polytopeDISPLAYTITLE:Uniform 2 k1 polytope In geometry, 2k1 polytope is a uniform polytope in n dimensions (n = k+4) constructed from the En Coxeter group. The family was named by their Coxeter symbol as 2k1 by its bifurcating Coxeter-Dynkin diagram, with a single ring on the end of the 2-node sequence. It can be named by an extended Schläfli symbol {3,3,3k,1}. The family starts uniquely as 6-polytopes, but can be extended backwards to include the 5-orthoplex (pentacross) in 5-dimensions, and the 4-simplex (5-cell) in 4-dimensions.
5 21 honeycombDISPLAYTITLE:5 21 honeycomb In geometry, the 521 honeycomb is a uniform tessellation of 8-dimensional Euclidean space. The symbol 521 is from Coxeter, named for the length of the 3 branches of its Coxeter-Dynkin diagram. By putting spheres at its vertices one obtains the densest-possible packing of spheres in 8 dimensions. This was proven by Maryna Viazovska in 2016 using the theory of modular forms. Viazovska was awarded the Fields Medal for this work in 2022.
Uniform 1 k2 polytopeDISPLAYTITLE:Uniform 1 k2 polytope In geometry, 1k2 polytope is a uniform polytope in n-dimensions (n = k+4) constructed from the En Coxeter group. The family was named by their Coxeter symbol 1k2 by its bifurcating Coxeter-Dynkin diagram, with a single ring on the end of the 1-node sequence. It can be named by an extended Schläfli symbol {3,3k,2}. The family starts uniquely as 6-polytopes, but can be extended backwards to include the 5-demicube (demipenteract) in 5-dimensions, and the 4-simplex (5-cell) in 4-dimensions.
1 52 honeycombDISPLAYTITLE:1 52 honeycomb In geometry, the 152 honeycomb is a uniform tessellation of 8-dimensional Euclidean space. It contains 142 and 151 facets, in a birectified 8-simplex vertex figure. It is the final figure in the 1k2 polytope family. It is created by a Wythoff construction upon a set of 9 hyperplane mirrors in 8-dimensional space. The facet information can be extracted from its Coxeter-Dynkin diagram. Removing the node on the end of the 2-length branch leaves the 8-demicube, 151.
Uniform k 21 polytopeDISPLAYTITLE:Uniform k 21 polytope In geometry, a uniform k21 polytope is a polytope in k + 4 dimensions constructed from the En Coxeter group, and having only regular polytope facets. The family was named by their Coxeter symbol k21 by its bifurcating Coxeter–Dynkin diagram, with a single ring on the end of the k-node sequence. Thorold Gosset discovered this family as a part of his 1900 enumeration of the regular and semiregular polytopes, and so they are sometimes called Gosset's semiregular figures.
Gosset–Elte figuresIn geometry, the Gosset–Elte figures, named by Coxeter after Thorold Gosset and E. L. Elte, are a group of uniform polytopes which are not regular, generated by a Wythoff construction with mirrors all related by order-2 and order-3 dihedral angles. They can be seen as one-end-ringed Coxeter–Dynkin diagrams. The Coxeter symbol for these figures has the form ki,j, where each letter represents a length of order-3 branches on a Coxeter–Dynkin diagram with a single ring on the end node of a k length sequence of branches.
3 21 polytopeDISPLAYTITLE:3 21 polytope In 7-dimensional geometry, the 321 polytope is a uniform 7-polytope, constructed within the symmetry of the E7 group. It was discovered by Thorold Gosset, published in his 1900 paper. He called it an 7-ic semi-regular figure. Its Coxeter symbol is 321, describing its bifurcating Coxeter-Dynkin diagram, with a single ring on the end of one of the 3-node sequences. The rectified 321 is constructed by points at the mid-edges of the 321. The birectified 321 is constructed by points at the triangle face centers of the 321.
5-demicubeIn five-dimensional geometry, a demipenteract or 5-demicube is a semiregular 5-polytope, constructed from a 5-hypercube (penteract) with alternated vertices removed. It was discovered by Thorold Gosset. Since it was the only semiregular 5-polytope (made of more than one type of regular facets), he called it a 5-ic semi-regular. E. L. Elte identified it in 1912 as a semiregular polytope, labeling it as HM5 for a 5-dimensional half measure polytope.
