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°
Face vector	18, 42, 34, 10
Confer	related CRFs: srip   co || tut   blends: octatut,tricuf-blend   octatutbicu   general polytopal classes: segmentochora   lace simplices
External links

Incidence matrix according to Dynkin symbol

ox3xx3oo&#x   → height = 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