Acronym etrippy Name elongated trigonal-prismatic pyramid Circumradius ... Lace cityin approx. ASCII-art ``` o3o x3o x3o x3o x3o ``` Dihedral angles at {4} between cube and squippy:   arccos[-sqrt(5/6)] = 155.905157° at {3} between tet and trip:   arccos[-sqrt(5/8)] = 142.238756° at {3} between squippy and tet:   arccos(-1/4) = 104.477512° at {4} between cube and trip:   90° at {3} between trip and trip:   90° at {3} between squippy and squippy:   arccos(1/4) = 75.522488° at {4} between cube and cube:   60° Confer uniform relative: tisdip   related CRFs: trippy   etripdapy   general polytopal classes: bistratic lace towers

Incidence matrix according to Dynkin symbol

```oxx oxx3ooo&#xt   → pyramid height = sqrt(5/12) = 0.645497
prism height = 1
(pt || pseudo trip || trip)

o.. o..3o..    | 1 * * ♦ 6 0 0 0 0 0 | 3 6 0 0 0 0 0 0 | 3 2 0 0 0
.o. .o.3.o.    | * 6 * | 1 1 2 1 0 0 | 1 2 2 1 1 2 0 0 | 2 1 2 1 0
..o ..o3..o    | * * 6 | 0 0 0 1 1 2 | 0 0 0 0 1 2 2 1 | 0 0 2 1 1
---------------+-------+-------------+-----------------+----------
oo. oo.3oo.&#x | 1 1 0 | 6 * * * * * | 1 2 0 0 0 0 0 0 | 2 1 0 0 0
.x. ... ...    | 0 2 0 | * 3 * * * * | 1 0 2 0 1 0 0 0 | 2 0 2 0 0
... .x. ...    | 0 2 0 | * * 6 * * * | 0 1 1 1 0 1 0 0 | 1 1 1 1 0
.oo .oo3.oo&#x | 0 1 1 | * * * 6 * * | 0 0 0 0 1 2 0 0 | 0 0 2 1 0
..x ... ...    | 0 0 2 | * * * * 3 * | 0 0 0 0 1 0 2 0 | 0 0 2 0 1
... ..x ...    | 0 0 2 | * * * * * 6 | 0 0 0 0 0 1 1 1 | 0 0 1 1 1
---------------+-------+-------------+-----------------+----------
ox. ... ...&#x | 1 2 0 | 2 1 0 0 0 0 | 3 * * * * * * * | 2 0 0 0 0
... ox. ...&#x | 1 2 0 | 2 0 1 0 0 0 | * 6 * * * * * * | 1 1 0 0 0
.x. .x. ...    | 0 4 0 | 0 2 2 0 0 0 | * * 3 * * * * * | 1 0 1 0 0
... .x.3.o.    | 0 3 0 | 0 0 3 0 0 0 | * * * 2 * * * * | 0 1 0 1 0
.xx ... ...&#x | 0 2 2 | 0 1 0 2 1 0 | * * * * 3 * * * | 0 0 2 0 0
... .xx ...&#x | 0 2 2 | 0 0 1 2 0 1 | * * * * * 6 * * | 0 0 1 1 0
..x ..x ...    | 0 0 4 | 0 0 0 0 2 2 | * * * * * * 3 * | 0 0 1 0 1
... ..x3..o    | 0 0 3 | 0 0 0 0 0 3 | * * * * * * * 2 | 0 0 0 1 1
---------------+-------+-------------+-----------------+----------
ox. ox. ...&#x ♦ 1 4 0 | 4 2 2 0 0 0 | 2 2 1 0 0 0 0 0 | 3 * * * *
... ox.3oo.&#x ♦ 1 3 0 | 3 0 3 0 0 0 | 0 3 0 1 0 0 0 0 | * 2 * * *
.xx .xx ...&#x ♦ 0 4 4 | 0 2 2 4 2 2 | 0 0 1 0 2 2 1 0 | * * 3 * *
... .xx3.oo&#x ♦ 0 3 3 | 0 0 3 3 0 3 | 0 0 0 1 0 3 0 1 | * * * 2 *
..x ..x3..o    ♦ 0 0 6 | 0 0 0 0 3 6 | 0 0 0 0 0 0 3 2 | * * * * 1
```