| Acronym | sidtixhiu |
| Name | sidtixhi-based ursateron |
| Circumradius | sqrt[(25+7 sqrt(5))/40] = 1.008123 |
| Face vector | 1440, 10920, 17040, 7800, 842 |
| Confer |
|
Incidence matrix according to Dynkin symbol
ofx3xoo3ooo3ooo5/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
(rissidtixhi || f-sidtixhi || sidtixhi)
o..3o..3o..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.3.o.3.o.5/2*b | * 120 * | 0 20 1 0 | 0 0 0 20 60 0 | 0 0 0 60 20 12 0 0 | 0 20 12 1 0
..o3..o3..o3..o5/2*b | * * 120 | 0 0 1 20 | 0 0 0 20 0 60 | 0 0 0 60 0 0 20 12 | 0 20 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.3oo.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.oo3.oo3.oo5/2*b&#x | 0 1 1 | * * 120 * ♦ 0 0 0 20 0 0 | 0 0 0 60 0 0 0 0 | 0 20 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..3o.. ... | 3 0 0 | 3 0 0 0 | * 2400 * * * * | 1 0 1 0 1 0 0 0 | 1 1 0 1 0
... 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
ofx ... ... ... &#xt | 1 2 2 | 0 2 2 1 | * * * 1200 * * | 0 0 0 6 0 0 0 0 | 0 3 3 0 0
... 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..3o.. ... ♦ 6 0 0 | 12 0 0 0 | 4 4 0 0 0 0 | 600 * * * * * * * | 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..3o..3o..5/2*b ♦ 20 0 0 | 60 0 0 0 | 0 20 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.3oo. ... &#x ♦ 3 1 0 | 3 3 0 0 | 0 1 0 0 3 0 | * * * * 2400 * * * | 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..o3..o ... ♦ 0 0 4 | 0 0 0 6 | 0 0 0 0 0 4 | * * * * * * 600 * | 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..3o..3o..5/2*b ♦ 1200 0 0 | 7200 0 0 0 | 2400 2400 1440 0 0 0 | 600 120 120 0 0 0 0 0 | 1 * * * *
ofx3xoo3ooo ... &#xt ♦ 6 4 4 | 12 12 4 6 | 4 4 0 6 12 4 | 1 0 0 4 4 0 1 0 | * 600 * * *
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.3oo.3oo.5/2*b&#x ♦ 20 1 0 | 60 20 0 0 | 0 20 12 0 60 0 | 0 0 1 0 20 12 0 0 | * * * 120 *
..x3..o3..o3...5/2*b ♦ 0 0 120 | 0 0 0 1200 | 0 0 0 0 0 2400 | 0 0 0 0 0 0 600 120 | * * * * 1
ofx3xoo3ooo3/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
(rissidtixhi || f-sidtixhi || sidtixhi)
o..3o..3o..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.3.o.3/2.o.5/3*b | * 120 * | 0 20 1 0 | 0 0 0 20 60 0 | 0 0 0 60 20 12 0 0 | 0 20 12 1 0
..o3..o3..o3/2..o5/3*b | * * 120 | 0 0 1 20 | 0 0 0 20 0 60 | 0 0 0 60 0 0 20 12 | 0 20 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.3oo.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.oo3.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 20 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..3o.. ... | 3 0 0 | 3 0 0 0 | * 2400 * * * * | 1 0 1 0 1 0 0 0 | 1 1 0 1 0
... 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
ofx ... ... ... &#xt | 1 2 2 | 0 2 2 1 | * * * 1200 * * | 0 0 0 6 0 0 0 0 | 0 3 3 0 0
... 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..3o.. ... ♦ 6 0 0 | 12 0 0 0 | 4 4 0 0 0 0 | 600 * * * * * * * | 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..3o..3/2o..5/3*b ♦ 20 0 0 | 60 0 0 0 | 0 20 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.3oo. ... &#x ♦ 3 1 0 | 3 3 0 0 | 0 1 0 0 3 0 | * * * * 2400 * * * | 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..o3..o ... ♦ 0 0 4 | 0 0 0 6 | 0 0 0 0 0 4 | * * * * * * 600 * | 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..3o..3/2o..5/3*b ♦ 1200 0 0 | 7200 0 0 0 | 2400 2400 1440 0 0 0 | 600 120 120 0 0 0 0 0 | 1 * * * *
ofx3xoo3ooo ... &#xt ♦ 6 4 4 | 12 12 4 6 | 4 4 0 6 12 4 | 1 0 0 4 4 0 1 0 | * 600 * * *
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.3oo.3/2oo.5/3*b&#x ♦ 20 1 0 | 60 20 0 0 | 0 20 12 0 60 0 | 0 0 1 0 20 12 0 0 | * * * 120 *
..x3..o3..o3/2...5/3*b ♦ 0 0 120 | 0 0 0 1200 | 0 0 0 0 0 2400 | 0 0 0 0 0 0 600 120 | * * * * 1
ofx3xoo3/2ooo3ooo5/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
(rissidtixhi || f-sidtixhi || sidtixhi)
o..3o..3/2o..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.3/2.o.3.o.5/3*b | * 120 * | 0 20 1 0 | 0 0 0 20 60 0 | 0 0 0 60 20 12 0 0 | 0 20 12 1 0
..o3..o3/2..o3..o5/3*b | * * 120 | 0 0 1 20 | 0 0 0 20 0 60 | 0 0 0 60 0 0 20 12 | 0 20 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.3/2oo.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.oo3/2.oo3.oo5/3*b&#x | 0 1 1 | * * 120 * ♦ 0 0 0 20 0 0 | 0 0 0 60 0 0 0 0 | 0 20 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..3/2o.. ... | 3 0 0 | 3 0 0 0 | * 2400 * * * * | 1 0 1 0 1 0 0 0 | 1 1 0 1 0
... 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
ofx ... ... ... &#xt | 1 2 2 | 0 2 2 1 | * * * 1200 * * | 0 0 0 6 0 0 0 0 | 0 3 3 0 0
... 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..3/2o.. ... ♦ 6 0 0 | 12 0 0 0 | 4 4 0 0 0 0 | 600 * * * * * * * | 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..3/2o..3o..5/3*b ♦ 20 0 0 | 60 0 0 0 | 0 20 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.3/2oo. ... &#x ♦ 3 1 0 | 3 3 0 0 | 0 1 0 0 3 0 | * * * * 2400 * * * | 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..o3/2..o ... ♦ 0 0 4 | 0 0 0 6 | 0 0 0 0 0 4 | * * * * * * 600 * | 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..3/2o..3o..5/3*b ♦ 1200 0 0 | 7200 0 0 0 | 2400 2400 1440 0 0 0 | 600 120 120 0 0 0 0 0 | 1 * * * *
ofx3xoo3/2ooo ... &#xt ♦ 6 4 4 | 12 12 4 6 | 4 4 0 6 12 4 | 1 0 0 4 4 0 1 0 | * 600 * * *
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.3/2oo.3oo.5/3*b&#x ♦ 20 1 0 | 60 20 0 0 | 0 20 12 0 60 0 | 0 0 1 0 20 12 0 0 | * * * 120 *
..x3..o3/2..o3...5/3*b ♦ 0 0 120 | 0 0 0 1200 | 0 0 0 0 0 2400 | 0 0 0 0 0 0 600 120 | * * * * 1
ofx3xoo3/2ooo3/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
(rissidtixhi || f-sidtixhi || sidtixhi)
o..3o..3/2o..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.3/2.o.3/2.o.5/2*b | * 120 * | 0 20 1 0 | 0 0 0 20 60 0 | 0 0 0 60 20 12 0 0 | 0 20 12 1 0
..o3..o3/2..o3/2..o5/2*b | * * 120 | 0 0 1 20 | 0 0 0 20 0 60 | 0 0 0 60 0 0 20 12 | 0 20 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.3/2oo.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.oo3/2.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 20 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..3/2o.. ... | 3 0 0 | 3 0 0 0 | * 2400 * * * * | 1 0 1 0 1 0 0 0 | 1 1 0 1 0
... 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
ofx ... ... ... &#xt | 1 2 2 | 0 2 2 1 | * * * 1200 * * | 0 0 0 6 0 0 0 0 | 0 3 3 0 0
... 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..3/2o.. ... ♦ 6 0 0 | 12 0 0 0 | 4 4 0 0 0 0 | 600 * * * * * * * | 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..3/2o..3/2o..5/2*b ♦ 20 0 0 | 60 0 0 0 | 0 20 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.3/2oo. ... &#x ♦ 3 1 0 | 3 3 0 0 | 0 1 0 0 3 0 | * * * * 2400 * * * | 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..o3/2..o ... ♦ 0 0 4 | 0 0 0 6 | 0 0 0 0 0 4 | * * * * * * 600 * | 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..3/2o..3/2o..5/2*b ♦ 1200 0 0 | 7200 0 0 0 | 2400 2400 1440 0 0 0 | 600 120 120 0 0 0 0 0 | 1 * * * *
ofx3xoo3/2ooo ... &#xt ♦ 6 4 4 | 12 12 4 6 | 4 4 0 6 12 4 | 1 0 0 4 4 0 1 0 | * 600 * * *
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.3/2oo.3/2oo.5/2*b&#x ♦ 20 1 0 | 60 20 0 0 | 0 20 12 0 60 0 | 0 0 1 0 20 12 0 0 | * * * 120 *
..x3..o3/2..o3/2...5/2*b ♦ 0 0 120 | 0 0 0 1200 | 0 0 0 0 0 2400 | 0 0 0 0 0 0 600 120 | * * * * 1
© 2004-2024 | top of page |