![]() 8-simplex ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
![]() Heptellated 8-simplex ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
![]() Heptihexipentisteriruncicantitruncated 8-simplex (Omnitruncated 8-simplex) ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
Orthogonal projections in A8 Coxeter plane (A7 for omnitruncation) |
---|
In eight-dimensional geometry, a heptellated 8-simplex is a convex uniform 8-polytope, including 7th-order truncations (heptellation) from the regular 8-simplex.
There are 35 unique heptellations for the 8-simplex, including all permutations of truncations, cantellations, runcinations, sterications, pentellations, and hexications. The simplest heptellated 8-simplex is also called an expanded 8-simplex, with only the first and last nodes ringed, is constructed by an expansion operation applied to the regular 8-simplex. The highest form, the heptihexipentisteriruncicantitruncated 8-simplex is more simply called a omnitruncated 8-simplex with all of the nodes ringed.
Heptellated 8-simplex
Heptellated 8-simplex | |
---|---|
Type | uniform 8-polytope |
Schläfli symbol | t0,7{3,3,3,3,3,3,3} |
Coxeter-Dynkin diagrams | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
7-faces | |
6-faces | |
5-faces | |
4-faces | |
Cells | |
Faces | |
Edges | 504 |
Vertices | 72 |
Vertex figure | 6-simplex antiprism |
Coxeter group | A8×2, [[37]], order 725760 |
Properties | convex |
Alternate names
- Expanded 8-simplex
- Small exated enneazetton (soxeb) (Jonathan Bowers)[1]
Coordinates
The vertices of the heptellated 8-simplex can bepositioned in 8-space as permutations of (0,1,1,1,1,1,1,1,2). This construction is based on facets of the heptellated 9-orthoplex.
A second construction in 9-space, from the center of a rectified 9-orthoplex is given by coordinate permutations of:
- (1,-1,0,0,0,0,0,0,0)
Root vectors
Its 72 vertices represent the root vectors of the simple Lie group A8.
Images
Ak Coxeter plane | A8 | A7 | A6 | A5 |
---|---|---|---|---|
Graph | ![]() |
![]() |
![]() |
![]() |
Dihedral symmetry | [[9]] = [18] | [8] | [[7]] = [14] | [6] |
Ak Coxeter plane | A4 | A3 | A2 | |
Graph | ![]() |
![]() |
![]() | |
Dihedral symmetry | [[5]] = [10] | [4] | [[3]] = [6] |
Omnitruncated 8-simplex
Omnitruncated 8-simplex | |
---|---|
Type | uniform 8-polytope |
Schläfli symbol | t0,1,2,3,4,5,6,7{37} |
Coxeter-Dynkin diagrams | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
7-faces | |
6-faces | |
5-faces | |
4-faces | |
Cells | |
Faces | |
Edges | 1451520 |
Vertices | 362880 |
Vertex figure | irr. 7-simplex |
Coxeter group | A8, [[37]], order 725760 |
Properties | convex |
The symmetry order of an omnitruncated 8-simplex is 725760. The symmetry of a family of a uniform polytopes is equal to the number of vertices of the omnitruncation, being 362880 (9 factorial) in the case of the omnitruncated 8-simplex; but when the CD symbol is palindromic, the symmetry order is doubled, 725760 here, because the element corresponding to any element of the underlying 8-simplex can be exchanged with one of those corresponding to an element of its dual.
Alternate names
- Heptihexipentisteriruncicantitruncated 8-simplex
- Great exated enneazetton (goxeb) (Jonathan Bowers)[2]
Coordinates
The Cartesian coordinates of the vertices of the omnitruncated 8-simplex can be most simply positioned in 9-space as permutations of (0,1,2,3,4,5,6,7,8). This construction is based on facets of the heptihexipentisteriruncicantitruncated 9-orthoplex, t0,1,2,3,4,5,6,7{37,4}
Images
Ak Coxeter plane | A8 | A7 | A6 | A5 |
---|---|---|---|---|
Graph | ![]() |
![]() |
![]() |
![]() |
Dihedral symmetry | [[9]] = [18] | [8] | [[7]] = [14] | [6] |
Ak Coxeter plane | A4 | A3 | A2 | |
Graph | ![]() |
![]() |
![]() | |
Dihedral symmetry | [[5]] = [10] | [4] | [[3]] = [6] |
Permutohedron and related tessellation
The omnitruncated 8-simplex is the permutohedron of order 9. The omnitruncated 8-simplex is a zonotope, the Minkowski sum of nine line segments parallel to the nine lines through the origin and the nine vertices of the 8-simplex.
Like all uniform omnitruncated n-simplices, the omnitruncated 8-simplex can tessellate space by itself, in this case 8-dimensional space with three facets around each ridge. It has Coxeter-Dynkin diagram of .
Related polytopes
This polytope is one of 135 uniform 8-polytopes with A8 symmetry.
A8 polytopes | ||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
![]() t0 |
![]() t1 |
![]() t2 |
![]() t3 |
![]() t01 |
![]() t02 |
![]() t12 |
![]() t03 |
![]() t13 |
![]() t23 |
![]() t04 |
![]() t14 |
![]() t24 |
![]() t34 |
![]() t05 |
![]() t15 |
![]() t25 |
![]() t06 |
![]() t16 |
![]() t07 |
![]() t012 |
![]() t013 |
![]() t023 |
![]() t123 |
![]() t014 |
![]() t024 |
![]() t124 |
![]() t034 |
![]() t134 |
![]() t234 |
![]() t015 |
![]() t025 |
![]() t125 |
![]() t035 |
![]() t135 |
![]() t235 |
![]() t045 |
![]() t145 |
![]() t016 |
![]() t026 |
![]() t126 |
![]() t036 |
![]() t136 |
![]() t046 |
![]() t056 |
![]() t017 |
![]() t027 |
![]() t037 |
![]() t0123 |
![]() t0124 |
![]() t0134 |
![]() t0234 |
![]() t1234 |
![]() t0125 |
![]() t0135 |
![]() t0235 |
![]() t1235 |
![]() t0145 |
![]() t0245 |
![]() t1245 |
![]() t0345 |
![]() t1345 |
![]() t2345 |
![]() t0126 |
![]() t0136 |
![]() t0236 |
![]() t1236 |
![]() t0146 |
![]() t0246 |
![]() t1246 |
![]() t0346 |
![]() t1346 |
![]() t0156 |
![]() t0256 |
![]() t1256 |
![]() t0356 |
![]() t0456 |
![]() t0127 |
![]() t0137 |
![]() t0237 |
![]() t0147 |
![]() t0247 |
![]() t0347 |
![]() t0157 |
![]() t0257 |
![]() t0167 |
![]() t01234 |
![]() t01235 |
![]() t01245 |
![]() t01345 |
![]() t02345 |
![]() t12345 |
![]() t01236 |
![]() t01246 |
![]() t01346 |
![]() t02346 |
![]() t12346 |
![]() t01256 |
![]() t01356 |
![]() t02356 |
![]() t12356 |
![]() t01456 |
![]() t02456 |
![]() t03456 |
![]() t01237 |
![]() t01247 |
![]() t01347 |
![]() t02347 |
![]() t01257 |
![]() t01357 |
![]() t02357 |
![]() t01457 |
![]() t01267 |
![]() t01367 |
![]() t012345 |
![]() t012346 |
![]() t012356 |
![]() t012456 |
![]() t013456 |
![]() t023456 |
![]() t123456 |
![]() t012347 |
![]() t012357 |
![]() t012457 |
![]() t013457 |
![]() t023457 |
![]() t012367 |
![]() t012467 |
![]() t013467 |
![]() t012567 |
![]() t0123456 |
![]() t0123457 |
![]() t0123467 |
![]() t0123567 |
![]() t01234567 |
Notes
References
- H.S.M. Coxeter:
- H.S.M. Coxeter, Regular Polytopes, 3rd Edition, Dover New York, 1973
- Kaleidoscopes: Selected Writings of H.S.M. Coxeter, edited by F. Arthur Sherk, Peter McMullen, Anthony C. Thompson, Asia Ivic Weiss, Wiley-Interscience Publication, 1995, ISBN 978-0-471-01003-6
- (Paper 22) H.S.M. Coxeter, Regular and Semi Regular Polytopes I, [Math. Zeit. 46 (1940) 380-407, MR 2,10]
- (Paper 23) H.S.M. Coxeter, Regular and Semi-Regular Polytopes II, [Math. Zeit. 188 (1985) 559-591]
- (Paper 24) H.S.M. Coxeter, Regular and Semi-Regular Polytopes III, [Math. Zeit. 200 (1988) 3-45]
- Norman Johnson Uniform Polytopes, Manuscript (1991)
- N.W. Johnson: The Theory of Uniform Polytopes and Honeycombs, Ph.D.
- Klitzing, Richard. "8D uniform polytopes (polyzetta)". x3o3o3o3o3o3o3x - soxeb, x3x3x3x3x3x3x3x - goxeb