| Acronym | ratpy |
| Name |
(degenerate) rat pyramid, vertex pyramid of hinoh |
| Circumradius | ∞ i.e. flat in euclidean space |
| Face vector | 41, 280, 640, 640, 282, 43 |
| Confer |
|
It either can be thought of as a degenerate 6D segmentotope with zero height, or as a 5D euclidean decomposition of the larger base into smaller bits.
Incidence matrix according to Dynkin symbol
oo3ox3oo3oo4oo&#x → height = 0
(point || rat)
o.3o.3o.3o.4o. | 1 * ♦ 40 0 | 240 0 0 | 80 320 0 0 | 80 160 0 0 | 32 10 0
.o3.o3.o3.o4.o | * 40 | 1 12 | 12 6 24 | 6 24 12 16 | 12 16 8 2 | 8 2 1
------------------+------+--------+------------+---------------+--------------+--------
oo3oo3oo3oo4oo&#x | 1 1 | 40 * ♦ 12 0 0 | 6 24 0 0 | 12 16 0 0 | 8 2 0
.. .x .. .. .. | 0 2 | * 240 | 1 1 4 | 1 4 4 4 | 4 4 4 1 | 4 1 1
------------------+------+--------+------------+---------------+--------------+--------
.. ox .. .. ..&#x | 1 2 | 2 1 | 240 * * ♦ 1 4 0 0 | 4 4 0 0 | 4 1 0
.o3.x .. .. .. | 0 3 | 0 3 | * 80 * | 1 0 4 0 | 4 0 4 0 | 4 0 1
.. .x3.o .. .. | 0 3 | 0 3 | * * 320 | 0 1 1 2 | 1 2 2 1 | 2 1 1
------------------+------+--------+------------+---------------+--------------+--------
oo3ox .. .. ..&#x ♦ 1 3 | 3 3 | 3 1 0 | 80 * * * | 4 0 0 0 | 4 0 0
.. ox3oo .. ..&#x ♦ 1 3 | 3 3 | 3 0 1 | * 320 * * | 1 2 0 0 | 2 1 0
.o3.x3.o .. .. ♦ 0 6 | 0 12 | 0 4 4 | * * 80 * | 1 0 2 0 | 2 0 1
.. .x3.o3.o .. ♦ 0 4 | 0 6 | 0 0 4 | * * * 160 | 0 1 1 1 | 1 1 1
------------------+------+--------+------------+---------------+--------------+--------
oo3ox3oo .. ..&#x ♦ 1 6 | 6 12 | 12 4 4 | 4 4 1 0 | 80 * * * | 2 0 0
.. ox3oo3oo ..&#x ♦ 1 4 | 4 6 | 6 0 4 | 0 4 0 1 | * 160 * * | 1 1 0
.o3.x3.o3.o .. ♦ 0 10 | 0 30 | 0 10 20 | 0 0 5 5 | * * 32 * | 1 0 1
.. .x3.o3.o4.o ♦ 0 8 | 0 24 | 0 0 32 | 0 0 0 16 | * * * 10 | 0 1 1
------------------+------+--------+------------+---------------+--------------+--------
oo3ox3oo3oo ..&#x ♦ 1 10 | 10 30 | 30 10 20 | 10 20 5 5 | 5 5 1 0 | 32 * *
.. ox3oo3oo4oo&#x ♦ 1 8 | 8 24 | 24 0 32 | 0 32 0 16 | 0 16 0 1 | * 10 *
.o3.x3.o3.o4.o ♦ 0 40 | 0 240 | 0 80 320 | 0 0 80 160 | 0 0 32 10 | * * 1
oo3oo3oo *b3ox3oo&#x → height = 0
(point || rat)
o.3o.3o. *b3o.3o. | 1 * ♦ 40 0 | 240 0 0 | 320 80 0 0 0 | 80 80 80 0 0 0 | 10 16 16 0
.o3.o3.o *b3.o3.o | * 40 | 1 12 | 12 24 6 | 24 6 8 8 12 | 8 8 12 2 4 4 | 2 4 4 1
---------------------+------+--------+------------+-----------------+-------------------+-----------
oo3oo3oo *b3oo3oo&#x | 1 1 | 40 * ♦ 12 0 0 | 24 6 0 0 0 | 8 8 12 0 0 0 | 2 4 4 0
.. .. .. .x .. | 0 2 | * 240 | 1 4 1 | 4 1 2 2 4 | 2 2 4 1 2 2 | 1 2 2 1
---------------------+------+--------+------------+-----------------+-------------------+-----------
.. .. .. ox ..&#x | 1 2 | 2 1 | 240 * * ♦ 4 1 0 0 0 | 2 2 4 0 0 0 | 1 2 2 0
.. .o .. *b3.x .. | 0 3 | 0 3 | * 320 * | 1 0 1 1 1 | 1 1 1 1 1 1 | 1 1 1 1
.. .. .. .x3.o | 0 3 | 0 3 | * * 80 | 0 1 0 0 4 | 0 0 4 0 2 2 | 0 2 2 1
---------------------+------+--------+------------+-----------------+-------------------+-----------
.. oo .. *b3ox ..&#x ♦ 1 3 | 3 3 | 3 1 0 | 320 * * * * | 1 1 1 0 0 0 | 1 1 1 0
.. .. .. ox3oo&#x ♦ 1 3 | 3 3 | 3 0 1 | * 80 * * * | 0 0 4 0 0 0 | 0 2 2 0
.o3.o .. *b3.x .. ♦ 0 4 | 0 6 | 0 4 0 | * * 80 * * | 1 0 0 1 1 0 | 1 1 0 1
.. .o3.o *b3.x .. ♦ 0 4 | 0 6 | 0 4 0 | * * * 80 * | 0 1 0 1 0 1 | 1 0 1 1
.. .o .. *b3.x3.o ♦ 0 6 | 0 12 | 0 4 4 | * * * * 80 | 0 0 1 0 1 1 | 0 1 1 1
---------------------+------+--------+------------+-----------------+-------------------+-----------
oo3oo .. *b3ox ..&#x ♦ 1 4 | 4 6 | 6 4 0 | 4 0 1 0 0 | 80 * * * * * | 1 1 0 0
.. oo3oo *b3ox ..&#x ♦ 1 4 | 4 6 | 6 4 0 | 4 0 0 1 0 | * 80 * * * * | 1 0 1 0
.. oo .. *b3ox3oo&#x ♦ 1 6 | 6 12 | 12 4 4 | 4 4 0 0 1 | * * 80 * * * | 0 1 1 0
.o3.o3.o *b3.x .. ♦ 0 8 | 0 24 | 0 32 0 | 0 0 8 8 0 | * * * 10 * * | 1 0 0 1
.o3.o .. *b3.x3.o ♦ 0 10 | 0 30 | 0 20 10 | 0 0 5 0 5 | * * * * 16 * | 0 1 0 1
.. .o3.o *b3.x3.o ♦ 0 10 | 0 30 | 0 20 10 | 0 0 0 5 5 | * * * * * 16 | 0 0 1 1
---------------------+------+--------+------------+-----------------+-------------------+-----------
oo3oo3oo *b3ox ..&#x ♦ 1 8 | 8 24 | 24 32 0 | 32 0 8 8 0 | 8 8 0 1 0 0 | 10 * * *
oo3oo .. *b3ox3oo&#x ♦ 1 10 | 10 30 | 30 20 10 | 20 10 5 0 5 | 5 0 5 0 1 0 | * 16 * *
.. oo3oo *b3ox3oo&#x ♦ 1 10 | 10 30 | 30 20 10 | 20 10 0 5 5 | 0 5 5 0 0 1 | * * 16 *
.o3.o3.o *b3.x3.o ♦ 0 40 | 0 240 | 0 320 80 | 0 0 80 80 80 | 0 0 0 10 16 16 | * * * 1
© 2004-2026 | top of page |