Tetradiminished rectified octaexon

The tetradiminished rectified octaexon or tedroc is a convex scaliform polyexon. It consists of 4 hexateric prisms and 8 hexatera atop tridiminished rectified hexatera. Two hexateric prisms and 6 hexatera atop tridiminished rectified hexatera join at each vertex. As the name suggests, it is formed by removing 4 vertices (corresponding to a scaled tetrahedron) from a rectified octaexon.

It is a convex segmentoexon, as tridiminished rectified hexateron atop hexateric prism.

Just as the convex hull of two alternate rectified octaexa is the hecatonicosihexapentacosiheptacontahexaexon, the hull of two tetradiminished rectified octaexa is the octadiminished hecatonicosihexapentacosiheptacontahexaexon.

Perhaps surprisingly, the tetradiminished rectified octaexon is the octeractidiminished demiocteract's vertex figure.

Vertex coordinates
The vertices of a tetradiminished rectified octaexon can be given as all even sign changes of the following:
 * $$\left(0,0,0,0,\frac{1}{2},\frac{1}{2},\frac{1}{2}\right)$$
 * $$\left(0,0,\frac{1}{2},\frac{1}{2},\frac{1}{2},0,0\right)$$
 * $$\left(0,\frac{1}{2},0,\frac{1}{2},0,\frac{1}{2},0\right)$$
 * $$\left(0,\frac{1}{2},\frac{1}{2},0,0,0,\frac{1}{2}\right)$$
 * $$\left(\frac{1}{2},0,0,\frac{1}{2},0,0,\frac{1}{2}\right)$$
 * $$\left(\frac{1}{2},0,\frac{1}{2},0,0,\frac{1}{2},0\right)$$