Acronym octatut, oct || tut, K-4.52
Name octahedron atop truncated tetrahedron,
octahedral cap of small rhombated pentachoron
Segmentochoron display
Circumradius sqrt(7/5) = 1.183216
Lace city
in approx. ASCII-art
    x3o  o3x 
             
x3o  u3o  x3x
   o o   x x   o o   
                     
                     
o x   x u   u x   x o
General of army (is itself convex)
Colonel of regiment (is itself locally convex)
Dihedral angles
  • at {3} between oct and trip:   arccos(-sqrt[3/8]) = 127.761244°
  • at {4} between tricu and trip:   arccos(-1/sqrt(6)) = 114.094843°
  • at {3} between oct and tricu:   arccos(-1/4) = 104.477512°
  • at {3} between tricu and tricu:   arccos(1/4) = 75.522488°
  • at {6} between tricu and tut:   arccos(1/4) = 75.522488°
  • at {3} between trip and tut:   arccos(sqrt[3/8]) = 52.238756°
Confer
related CRFs:
srip   co || tut  
blends:
octatut,tricuf-blend   octatutbicu  
general polytopal classes:
segmentochora  

Incidence matrix according to Dynkin symbol

ox3xx3oo&#x   → heights = sqrt(5/8) = 0.790569
(oct || tut)

o.3o.3o.    | 6  * |  4  2 0  0 | 2 2 1  4 0 0 | 1 2 2 0
.o3.o3.o    | * 12 |  0  1 1  2 | 0 0 1  2 2 1 | 0 2 1 1
------------+------+------------+--------------+--------
.. x. ..    | 2  0 | 12  * *  * | 1 1 0  1 0 0 | 1 1 1 0
oo3oo3oo&#x | 1  1 |  * 12 *  * | 0 0 1  2 0 0 | 0 2 1 0
.x .. ..    | 0  2 |  *  * 6  * | 0 0 1  0 2 0 | 0 2 0 1
.. .x ..    | 0  2 |  *  * * 12 | 0 0 0  1 1 1 | 0 1 1 1
------------+------+------------+--------------+--------
o.3x. ..    | 3  0 |  3  0 0  0 | 4 * *  * * * | 1 1 0 0
.. x.3o.    | 3  0 |  3  0 0  0 | * 4 *  * * * | 1 0 1 0
ox .. ..&#x | 1  2 |  0  2 1  0 | * * 6  * * * | 0 2 0 0
.. xx ..&#x | 2  2 |  1  2 0  1 | * * * 12 * * | 0 1 1 0
.x3.x ..    | 0  6 |  0  0 3  3 | * * *  * 4 * | 0 1 0 1
.. .x3.o    | 0  3 |  0  0 0  3 | * * *  * * 4 | 0 0 1 1
------------+------+------------+--------------+--------
o.3x.3o.     6  0 | 12  0 0  0 | 4 4 0  0 0 0 | 1 * * *
ox3xx ..&#x  3  6 |  3  6 3  3 | 1 0 3  3 1 0 | * 4 * *
.. xx3oo&#x  3  3 |  3  3 0  3 | 0 1 0  3 0 1 | * * 4 *
.x3.x3.o     0 12 |  0  0 6 12 | 0 0 0  0 4 4 | * * * 1

© 2004-2018
top of page