| Acronym | dittadiu |
| Name | dittady-based ursateron |
| Circumradius | sqrt[(25+7 sqrt(5))/40] = 1.008123 |
| Face vector | 1440, 10920, 16080, 5880, 362 |
| Confer |
|
Incidence matrix according to Dynkin symbol
ofx3xoo5ooo3ooo5/3*b&#xt → height(1,2) = sqrt[(7 sqrt(5)-15)/2] = 0.571172
height(2,3) = sqrt[(3 sqrt(5)-5)/2] = 0.924176
(ridtidohi || f-dittady || dittady)
o..3o..5o..3o..5/3*b | 1200 * * | 12 2 0 0 | 6 6 6 1 12 0 | 3 3 2 6 6 6 0 0 | 1 3 3 2 0
.o.3.o.5.o.3.o.5/3*b | * 120 * | 0 20 1 0 | 0 0 0 20 60 0 | 0 0 0 60 12 12 0 0 | 0 12 12 1 0
..o3..o5..o3..o5/3*b | * * 120 | 0 0 1 20 | 0 0 0 20 0 60 | 0 0 0 60 0 0 12 12 | 0 12 12 0 1
-------------------------+--------------+--------------------+-------------------------------+------------------------------------+----------------
... x.. ... ... | 2 0 0 | 7200 * * * | 1 1 1 0 1 0 | 1 1 1 1 1 1 0 0 | 1 1 1 1 0
oo.3oo.5oo.3oo.5/3*b&#x | 1 1 0 | * 2400 * * | 0 0 0 1 6 0 | 0 0 0 6 3 3 0 0 | 0 3 3 1 0
.oo3.oo5.oo3.oo5/3*b&#x | 0 1 1 | * * 120 * ♦ 0 0 0 20 0 0 | 0 0 0 60 0 0 0 0 | 0 12 12 0 0
..x ... ... ... | 0 0 2 | * * * 1200 | 0 0 0 1 0 6 | 0 0 0 6 0 0 3 3 | 0 3 3 0 1
-------------------------+--------------+--------------------+-------------------------------+------------------------------------+----------------
o..3x.. ... ... | 3 0 0 | 3 0 0 0 | 2400 * * * * * | 1 1 0 1 0 0 0 0 | 1 1 1 0 0
... x..5o.. ... | 5 0 0 | 5 0 0 0 | * 1440 * * * * | 1 0 1 0 1 0 0 0 | 1 1 0 1 0 {5}
... x.. ... o..5/3*b | 5 0 0 | 5 0 0 0 | * * 1440 * * * | 0 1 1 0 0 1 0 0 | 1 0 1 1 0 {5/2}
ofx ... ... ... &#xt | 1 2 2 | 0 2 2 1 | * * * 1200 * * | 0 0 0 6 0 0 0 0 | 0 3 3 0 0 {5}
... xo. ... ... &#x | 2 1 0 | 1 2 0 0 | * * * * 7200 * | 0 0 0 1 1 1 0 0 | 0 1 1 1 0
..x3..o ... ... | 0 0 3 | 0 0 0 3 | * * * * * 2400 | 0 0 0 1 0 0 1 1 | 0 1 1 0 1
-------------------------+--------------+--------------------+-------------------------------+------------------------------------+----------------
o..3x..5o.. ... ♦ 30 0 0 | 60 0 0 0 | 20 12 0 0 0 0 | 120 * * * * * * * | 1 1 0 0 0
o..3x.. ... o..5/3*b ♦ 30 0 0 | 60 0 0 0 | 20 0 12 0 0 0 | * 120 * * * * * * | 1 0 1 0 0
... x..5o..3o..5/3*b ♦ 20 0 0 | 60 0 0 0 | 0 12 12 0 0 0 | * * 120 * * * * * | 1 0 0 1 0
ofx3xoo ... ... &#xt ♦ 3 3 3 | 3 6 3 3 | 1 0 0 3 3 1 | * * * 2400 * * * * | 0 1 1 0 0
... xo.5oo. ... &#x ♦ 5 1 0 | 5 5 0 0 | 0 1 0 0 5 0 | * * * * 1440 * * * | 0 1 0 1 0
... xo. ... oo.5/3*b&#x ♦ 5 1 0 | 5 5 0 0 | 0 0 1 0 5 0 | * * * * * 1440 * * | 0 0 1 1 0
..x3..o5..o ... ♦ 0 0 12 | 0 0 0 30 | 0 0 0 0 0 20 | * * * * * * 120 * | 0 1 0 0 1
..x3..o ... ..o5/3*b ♦ 0 0 12 | 0 0 0 30 | 0 0 0 0 0 20 | * * * * * * * 120 | 0 0 1 0 1
-------------------------+--------------+--------------------+-------------------------------+------------------------------------+----------------
o..3x..5o..3o..5/3*b ♦ 1200 0 0 | 7200 0 0 0 | 2400 1440 1440 0 0 0 | 120 120 120 0 0 0 0 0 | 1 * * * *
ofx3xoo5ooo ... &#xt ♦ 30 12 12 | 60 60 12 30 | 20 12 0 30 60 20 | 1 0 0 20 12 0 1 0 | * 120 * * *
ofx3xoo ... ooo5/3*b&#xt ♦ 30 12 12 | 60 60 12 30 | 20 0 12 30 60 20 | 0 1 0 20 0 12 0 1 | * * 120 * *
... xo.5oo.3oo.5/3*b&#x ♦ 20 1 0 | 60 20 0 0 | 0 12 12 0 60 0 | 0 0 1 0 12 12 0 0 | * * * 120 *
..x3..o5..o3..o5/3*b ♦ 0 0 120 | 0 0 0 1200 | 0 0 0 0 0 2400 | 0 0 0 0 0 0 120 120 | * * * * 1
ofx3xoo5ooo3/2ooo5/2*b&#xt → height(1,2) = sqrt[(7 sqrt(5)-15)/2] = 0.571172
height(2,3) = sqrt[(3 sqrt(5)-5)/2] = 0.924176
(ridtidohi || f-dittady || dittady)
o..3o..5o..3/2o..5/2*b | 1200 * * | 12 2 0 0 | 6 6 6 1 12 0 | 3 3 2 6 6 6 0 0 | 1 3 3 2 0
.o.3.o.5.o.3/2.o.5/2*b | * 120 * | 0 20 1 0 | 0 0 0 20 60 0 | 0 0 0 60 12 12 0 0 | 0 12 12 1 0
..o3..o5..o3/2..o5/2*b | * * 120 | 0 0 1 20 | 0 0 0 20 0 60 | 0 0 0 60 0 0 12 12 | 0 12 12 0 1
---------------------------+--------------+--------------------+-------------------------------+------------------------------------+----------------
... x.. ... ... | 2 0 0 | 7200 * * * | 1 1 1 0 1 0 | 1 1 1 1 1 1 0 0 | 1 1 1 1 0
oo.3oo.5oo.3/2oo.5/2*b&#x | 1 1 0 | * 2400 * * | 0 0 0 1 6 0 | 0 0 0 6 3 3 0 0 | 0 3 3 1 0
.oo3.oo5.oo3/2.oo5/2*b&#x | 0 1 1 | * * 120 * ♦ 0 0 0 20 0 0 | 0 0 0 60 0 0 0 0 | 0 12 12 0 0
..x ... ... ... | 0 0 2 | * * * 1200 | 0 0 0 1 0 6 | 0 0 0 6 0 0 3 3 | 0 3 3 0 1
---------------------------+--------------+--------------------+-------------------------------+------------------------------------+----------------
o..3x.. ... ... | 3 0 0 | 3 0 0 0 | 2400 * * * * * | 1 1 0 1 0 0 0 0 | 1 1 1 0 0
... x..5o.. ... | 5 0 0 | 5 0 0 0 | * 1440 * * * * | 1 0 1 0 1 0 0 0 | 1 1 0 1 0 {5}
... x.. ... o..5/2*b | 5 0 0 | 5 0 0 0 | * * 1440 * * * | 0 1 1 0 0 1 0 0 | 1 0 1 1 0 {5/2}
ofx ... ... ... &#xt | 1 2 2 | 0 2 2 1 | * * * 1200 * * | 0 0 0 6 0 0 0 0 | 0 3 3 0 0 {5}
... xo. ... ... &#x | 2 1 0 | 1 2 0 0 | * * * * 7200 * | 0 0 0 1 1 1 0 0 | 0 1 1 1 0
..x3..o ... ... | 0 0 3 | 0 0 0 3 | * * * * * 2400 | 0 0 0 1 0 0 1 1 | 0 1 1 0 1
---------------------------+--------------+--------------------+-------------------------------+------------------------------------+----------------
o..3x..5o.. ... ♦ 30 0 0 | 60 0 0 0 | 20 12 0 0 0 0 | 120 * * * * * * * | 1 1 0 0 0
o..3x.. ... o..5/2*b ♦ 30 0 0 | 60 0 0 0 | 20 0 12 0 0 0 | * 120 * * * * * * | 1 0 1 0 0
... x..5o..3/2o..5/2*b ♦ 20 0 0 | 60 0 0 0 | 0 12 12 0 0 0 | * * 120 * * * * * | 1 0 0 1 0
ofx3xoo ... ... &#xt ♦ 3 3 3 | 3 6 3 3 | 1 0 0 3 3 1 | * * * 2400 * * * * | 0 1 1 0 0
... xo.5oo. ... &#x ♦ 5 1 0 | 5 5 0 0 | 0 1 0 0 5 0 | * * * * 1440 * * * | 0 1 0 1 0
... xo. ... oo.5/2*b&#x ♦ 5 1 0 | 5 5 0 0 | 0 0 1 0 5 0 | * * * * * 1440 * * | 0 0 1 1 0
..x3..o5..o ... ♦ 0 0 12 | 0 0 0 30 | 0 0 0 0 0 20 | * * * * * * 120 * | 0 1 0 0 1
..x3..o ... ..o5/2*b ♦ 0 0 12 | 0 0 0 30 | 0 0 0 0 0 20 | * * * * * * * 120 | 0 0 1 0 1
---------------------------+--------------+--------------------+-------------------------------+------------------------------------+----------------
o..3x..5o..3/2o..5/2*b ♦ 1200 0 0 | 7200 0 0 0 | 2400 1440 1440 0 0 0 | 120 120 120 0 0 0 0 0 | 1 * * * *
ofx3xoo5ooo ... &#xt ♦ 30 12 12 | 60 60 12 30 | 20 12 0 30 60 20 | 1 0 0 20 12 0 1 0 | * 120 * * *
ofx3xoo ... ooo5/2*b&#xt ♦ 30 12 12 | 60 60 12 30 | 20 0 12 30 60 20 | 0 1 0 20 0 12 0 1 | * * 120 * *
... xo.5oo.3/2oo.5/2*b&#x ♦ 20 1 0 | 60 20 0 0 | 0 12 12 0 60 0 | 0 0 1 0 12 12 0 0 | * * * 120 *
..x3..o5..o3/2..o5/2*b ♦ 0 0 120 | 0 0 0 1200 | 0 0 0 0 0 2400 | 0 0 0 0 0 0 120 120 | * * * * 1
ofx3xoo5/4ooo3ooo5/2*b&#xt → height(1,2) = sqrt[(7 sqrt(5)-15)/2] = 0.571172
height(2,3) = sqrt[(3 sqrt(5)-5)/2] = 0.924176
(ridtidohi || f-dittady || dittady)
o..3o..5/4o..3o..5/2*b | 1200 * * | 12 2 0 0 | 6 6 6 1 12 0 | 3 3 2 6 6 6 0 0 | 1 3 3 2 0
.o.3.o.5/4.o.3.o.5/2*b | * 120 * | 0 20 1 0 | 0 0 0 20 60 0 | 0 0 0 60 12 12 0 0 | 0 12 12 1 0
..o3..o5/4..o3..o5/2*b | * * 120 | 0 0 1 20 | 0 0 0 20 0 60 | 0 0 0 60 0 0 12 12 | 0 12 12 0 1
---------------------------+--------------+--------------------+-------------------------------+------------------------------------+----------------
... x.. ... ... | 2 0 0 | 7200 * * * | 1 1 1 0 1 0 | 1 1 1 1 1 1 0 0 | 1 1 1 1 0
oo.3oo.5/4oo.3oo.5/2*b&#x | 1 1 0 | * 2400 * * | 0 0 0 1 6 0 | 0 0 0 6 3 3 0 0 | 0 3 3 1 0
.oo3.oo5/4.oo3.oo5/2*b&#x | 0 1 1 | * * 120 * ♦ 0 0 0 20 0 0 | 0 0 0 60 0 0 0 0 | 0 12 12 0 0
..x ... ... ... | 0 0 2 | * * * 1200 | 0 0 0 1 0 6 | 0 0 0 6 0 0 3 3 | 0 3 3 0 1
---------------------------+--------------+--------------------+-------------------------------+------------------------------------+----------------
o..3x.. ... ... | 3 0 0 | 3 0 0 0 | 2400 * * * * * | 1 1 0 1 0 0 0 0 | 1 1 1 0 0
... x..5/4o.. ... | 5 0 0 | 5 0 0 0 | * 1440 * * * * | 1 0 1 0 1 0 0 0 | 1 1 0 1 0 {5}
... x.. ... o..5/2*b | 5 0 0 | 5 0 0 0 | * * 1440 * * * | 0 1 1 0 0 1 0 0 | 1 0 1 1 0 {5/2}
ofx ... ... ... &#xt | 1 2 2 | 0 2 2 1 | * * * 1200 * * | 0 0 0 6 0 0 0 0 | 0 3 3 0 0 {5}
... xo. ... ... &#x | 2 1 0 | 1 2 0 0 | * * * * 7200 * | 0 0 0 1 1 1 0 0 | 0 1 1 1 0
..x3..o ... ... | 0 0 3 | 0 0 0 3 | * * * * * 2400 | 0 0 0 1 0 0 1 1 | 0 1 1 0 1
---------------------------+--------------+--------------------+-------------------------------+------------------------------------+----------------
o..3x..5/4o.. ... ♦ 30 0 0 | 60 0 0 0 | 20 12 0 0 0 0 | 120 * * * * * * * | 1 1 0 0 0
o..3x.. ... o..5/2*b ♦ 30 0 0 | 60 0 0 0 | 20 0 12 0 0 0 | * 120 * * * * * * | 1 0 1 0 0
... x..5/4o..3o..5/2*b ♦ 20 0 0 | 60 0 0 0 | 0 12 12 0 0 0 | * * 120 * * * * * | 1 0 0 1 0
ofx3xoo ... ... &#xt ♦ 3 3 3 | 3 6 3 3 | 1 0 0 3 3 1 | * * * 2400 * * * * | 0 1 1 0 0
... xo.5/4oo. ... &#x ♦ 5 1 0 | 5 5 0 0 | 0 1 0 0 5 0 | * * * * 1440 * * * | 0 1 0 1 0
... xo. ... oo.5/2*b&#x ♦ 5 1 0 | 5 5 0 0 | 0 0 1 0 5 0 | * * * * * 1440 * * | 0 0 1 1 0
..x3..o5/4..o ... ♦ 0 0 12 | 0 0 0 30 | 0 0 0 0 0 20 | * * * * * * 120 * | 0 1 0 0 1
..x3..o ... ..o5/2*b ♦ 0 0 12 | 0 0 0 30 | 0 0 0 0 0 20 | * * * * * * * 120 | 0 0 1 0 1
---------------------------+--------------+--------------------+-------------------------------+------------------------------------+----------------
o..3x..5/4o..3o..5/2*b ♦ 1200 0 0 | 7200 0 0 0 | 2400 1440 1440 0 0 0 | 120 120 120 0 0 0 0 0 | 1 * * * *
ofx3xoo5/4ooo ... &#xt ♦ 30 12 12 | 60 60 12 30 | 20 12 0 30 60 20 | 1 0 0 20 12 0 1 0 | * 120 * * *
ofx3xoo ... ooo5/2*b&#xt ♦ 30 12 12 | 60 60 12 30 | 20 0 12 30 60 20 | 0 1 0 20 0 12 0 1 | * * 120 * *
... xo.5/4oo.3oo.5/2*b&#x ♦ 20 1 0 | 60 20 0 0 | 0 12 12 0 60 0 | 0 0 1 0 12 12 0 0 | * * * 120 *
..x3..o5/4..o3..o5/2*b ♦ 0 0 120 | 0 0 0 1200 | 0 0 0 0 0 2400 | 0 0 0 0 0 0 120 120 | * * * * 1
ofx3xoo5/4ooo3/2ooo5/3*b&#xt → height(1,2) = sqrt[(7 sqrt(5)-15)/2] = 0.571172
height(2,3) = sqrt[(3 sqrt(5)-5)/2] = 0.924176
(ridtidohi || f-dittady || dittady)
o..3o..5/4o..3/2o..5/3*b | 1200 * * | 12 2 0 0 | 6 6 6 1 12 0 | 3 3 2 6 6 6 0 0 | 1 3 3 2 0
.o.3.o.5/4.o.3/2.o.5/3*b | * 120 * | 0 20 1 0 | 0 0 0 20 60 0 | 0 0 0 60 12 12 0 0 | 0 12 12 1 0
..o3..o5/4..o3/2..o5/3*b | * * 120 | 0 0 1 20 | 0 0 0 20 0 60 | 0 0 0 60 0 0 12 12 | 0 12 12 0 1
-----------------------------+--------------+--------------------+-------------------------------+------------------------------------+----------------
... x.. ... ... | 2 0 0 | 7200 * * * | 1 1 1 0 1 0 | 1 1 1 1 1 1 0 0 | 1 1 1 1 0
oo.3oo.5/4oo.3/2oo.5/3*b&#x | 1 1 0 | * 2400 * * | 0 0 0 1 6 0 | 0 0 0 6 3 3 0 0 | 0 3 3 1 0
.oo3.oo5/4.oo3/2.oo5/3*b&#x | 0 1 1 | * * 120 * ♦ 0 0 0 20 0 0 | 0 0 0 60 0 0 0 0 | 0 12 12 0 0
..x ... ... ... | 0 0 2 | * * * 1200 | 0 0 0 1 0 6 | 0 0 0 6 0 0 3 3 | 0 3 3 0 1
-----------------------------+--------------+--------------------+-------------------------------+------------------------------------+----------------
o..3x.. ... ... | 3 0 0 | 3 0 0 0 | 2400 * * * * * | 1 1 0 1 0 0 0 0 | 1 1 1 0 0
... x..5/4o.. ... | 5 0 0 | 5 0 0 0 | * 1440 * * * * | 1 0 1 0 1 0 0 0 | 1 1 0 1 0 {5}
... x.. ... o..5/3*b | 5 0 0 | 5 0 0 0 | * * 1440 * * * | 0 1 1 0 0 1 0 0 | 1 0 1 1 0 {5/2}
ofx ... ... ... &#xt | 1 2 2 | 0 2 2 1 | * * * 1200 * * | 0 0 0 6 0 0 0 0 | 0 3 3 0 0 {5}
... xo. ... ... &#x | 2 1 0 | 1 2 0 0 | * * * * 7200 * | 0 0 0 1 1 1 0 0 | 0 1 1 1 0
..x3..o ... ... | 0 0 3 | 0 0 0 3 | * * * * * 2400 | 0 0 0 1 0 0 1 1 | 0 1 1 0 1
-----------------------------+--------------+--------------------+-------------------------------+------------------------------------+----------------
o..3x..5/4o.. ... ♦ 30 0 0 | 60 0 0 0 | 20 12 0 0 0 0 | 120 * * * * * * * | 1 1 0 0 0
o..3x.. ... o..5/3*b ♦ 30 0 0 | 60 0 0 0 | 20 0 12 0 0 0 | * 120 * * * * * * | 1 0 1 0 0
... x..5/4o..3/2o..5/3*b ♦ 20 0 0 | 60 0 0 0 | 0 12 12 0 0 0 | * * 120 * * * * * | 1 0 0 1 0
ofx3xoo ... ... &#xt ♦ 3 3 3 | 3 6 3 3 | 1 0 0 3 3 1 | * * * 2400 * * * * | 0 1 1 0 0
... xo.5/4oo. ... &#x ♦ 5 1 0 | 5 5 0 0 | 0 1 0 0 5 0 | * * * * 1440 * * * | 0 1 0 1 0
... xo. ... oo.5/3*b&#x ♦ 5 1 0 | 5 5 0 0 | 0 0 1 0 5 0 | * * * * * 1440 * * | 0 0 1 1 0
..x3..o5/4..o ... ♦ 0 0 12 | 0 0 0 30 | 0 0 0 0 0 20 | * * * * * * 120 * | 0 1 0 0 1
..x3..o ... ..o5/3*b ♦ 0 0 12 | 0 0 0 30 | 0 0 0 0 0 20 | * * * * * * * 120 | 0 0 1 0 1
-----------------------------+--------------+--------------------+-------------------------------+------------------------------------+----------------
o..3x..5/4o..3/2o..5/3*b ♦ 1200 0 0 | 7200 0 0 0 | 2400 1440 1440 0 0 0 | 120 120 120 0 0 0 0 0 | 1 * * * *
ofx3xoo5/4ooo ... &#xt ♦ 30 12 12 | 60 60 12 30 | 20 12 0 30 60 20 | 1 0 0 20 12 0 1 0 | * 120 * * *
ofx3xoo ... ooo5/3*b&#xt ♦ 30 12 12 | 60 60 12 30 | 20 0 12 30 60 20 | 0 1 0 20 0 12 0 1 | * * 120 * *
... xo.5/4oo.3/2oo.5/3*b&#x ♦ 20 1 0 | 60 20 0 0 | 0 12 12 0 60 0 | 0 0 1 0 12 12 0 0 | * * * 120 *
..x3..o5/4..o3/2..o5/3*b ♦ 0 0 120 | 0 0 0 1200 | 0 0 0 0 0 2400 | 0 0 0 0 0 0 120 120 | * * * * 1
© 2004-2024 | top of page |