Acronym	teddipy, K-4.88
Name	tridiminished-icosahedral pyramid
Segmentochoron display
Circumradius	(1+sqrt(5))/2 = 1.618034
Dihedral angles	at {3} between tet and tet:   arccos[-(1+3 sqrt(5))/8] = 164.477512° at {3} between peppy and peppy:   120° at {5} between peppy and teddi:   36° at {3} between teddi and tet:   arccos(sqrt[7+3 sqrt(5)]/4) = 22.238756° at {3} between peppy and tet:   arccos(sqrt[7+3 sqrt(5)]/4) = 22.238756°
Lace city in approx. ASCII-art	o3o x3o f3o o3x
Face vector	10, 24, 23, 9
Confer	uniform relative: ex   segmentochora: peppypy   ikepy   mibdipy   general polytopal classes: segmentochora

Incidence matrix

pt || teddi   → height = (sqrt(5)-1)/4 = 0.309017

1 * * * | 3 3 3 0 0 0 0 | 3 3 6 3 0 0 0 0 | 1 3 3 1 0  verf = teddi
* 3 * * | 1 0 0 2 1 0 0 | 2 1 0 0 1 2 0 0 | 1 2 0 0 1  x3o (of teddi)
* * 3 * | 0 1 0 0 1 2 0 | 0 1 2 0 0 2 1 0 | 0 2 1 0 1  f3o (of teddi)
* * * 3 | 0 0 1 0 0 2 2 | 0 0 2 2 0 1 2 1 | 0 1 2 1 1  o3x (of teddi)
--------+---------------+-----------------+----------
1 1 0 0 | 3 * * * * * * | 2 1 0 0 0 0 0 0 | 1 2 0 0 0
1 0 1 0 | * 3 * * * * * | 0 1 2 0 0 0 0 0 | 0 2 1 0 0
1 0 0 1 | * * 3 * * * * | 0 0 2 2 0 0 0 0 | 0 1 2 1 0
0 2 0 0 | * * * 3 * * * | 1 0 0 0 1 1 0 0 | 1 1 0 0 1
0 1 1 0 | * * * * 3 * * | 0 1 0 0 0 2 0 0 | 0 2 0 0 1
0 0 1 1 | * * * * * 6 * | 0 0 1 0 0 1 1 0 | 0 1 1 0 1
0 0 0 2 | * * * * * * 3 | 0 0 0 1 0 0 1 1 | 0 0 1 1 1
--------+---------------+-----------------+----------
1 2 0 0 | 2 0 0 1 0 0 0 | 3 * * * * * * * | 1 1 0 0 0
1 1 1 0 | 1 1 0 0 1 0 0 | * 3 * * * * * * | 0 2 0 0 0
1 0 1 1 | 0 1 1 0 0 1 0 | * * 6 * * * * * | 0 1 1 0 0
1 0 0 2 | 0 0 2 0 0 0 1 | * * * 3 * * * * | 0 0 1 1 0
0 3 0 0 | 0 0 0 3 0 0 0 | * * * * 1 * * * | 1 0 0 0 1
0 2 2 1 | 0 0 0 1 2 2 0 | * * * * * 3 * * | 0 1 0 0 1
0 0 1 2 | 0 0 0 0 0 2 1 | * * * * * * 3 * | 0 0 1 0 1
0 0 0 3 | 0 0 0 0 0 0 3 | * * * * * * * 1 | 0 0 0 1 1
--------+---------------+-----------------+----------
1 3 0 0 | 3 0 0 3 0 0 0 | 3 0 0 0 1 0 0 0 | 1 * * * * tet
1 2 2 1 | 2 2 1 1 2 2 0 | 1 2 2 0 0 1 0 0 | * 3 * * * peppy
1 0 1 2 | 0 1 2 0 0 2 1 | 0 0 2 1 0 0 1 0 | * * 3 * * tet
1 0 0 3 | 0 0 3 0 0 0 3 | 0 0 0 3 0 0 0 1 | * * * 1 * tet
0 3 3 3 | 0 0 0 3 3 6 3 | 0 0 0 0 1 3 3 1 | * * * * 1 teddi