Octahedron atop truncated tetrahedron

Octahedron atop truncated tetrhaedron, or octatut, is a CRF segmentochoron (designated K-4.52 on Richard Klitzing's list). As the name suggests, it consists of an octahedron and a truncated tetrahedron as bases, connected by 4 triangular prisms and 4 triangular cupolas.

It can be obtained as a segment of the small rhombated pentachoron, which can be constructed by joining this segmentochoron to a cuboctahedron atop truncated tetrahedron segmentochoron at their common truncated tetrahedral base.

Vertex coordinates
The vertices of an octahedron atop truncated tetrahedronsegmentochoron of edge length 1 are given by:
 * (±$\sqrt{2}$/2, 0, 0, $\sqrt{2}$/4) and all permutations of first three coordinates
 * (3$\sqrt{3}$/4, $\sqrt{35}$/4, $\sqrt{10}$/4, 0) and all permutatoins and even sign changes of first three coordinates

Alternative coordinates can be obtained from those of the small rhombated pentachoron by removing the vertices of one of its octahedral cells:


 * (–$\sqrt{5}$/20, –$\sqrt{6}$/12, –2$\sqrt{6}$/3, 0),
 * (–$\sqrt{6}$/20, –5$\sqrt{2}$/12, –$\sqrt{10}$/3, 0),
 * (–$\sqrt{2}$/20, $\sqrt{2}$/4, 0, ±1),
 * (–$\sqrt{2}$/20, –$\sqrt{10}$/12, $\sqrt{6}$/3, ±1),
 * (–$\sqrt{3}$/20, –5$\sqrt{10}$/12, $\sqrt{6}$/6, ±1/2),
 * (–$\sqrt{3}$/20, $\sqrt{10}$/4, ±$\sqrt{6}$/2, ±1/2),
 * (–3$\sqrt{10}$/10, –$\sqrt{6}$/6, –$\sqrt{3}$/3, 0),
 * (–3$\sqrt{10}$/10, $\sqrt{6}$/6, $\sqrt{3}$/3, 0),
 * (–3$\sqrt{10}$/10, –$\sqrt{6}$/6, $\sqrt{3}$/6, ±1/2),
 * (–3$\sqrt{10}$/20, $\sqrt{6}$/6, –$\sqrt{3}$/6, ±1/2).