Acronym | haxabrag |
Name |
hax-first monostratic cap of lin, hax atop brag |
Circumradius | sqrt(7)/2 = 1.322876 |
Lace city in approx. ASCII-art |
A B a -- x3o3o *b3o3o3o (hax) B C c B -- o3o3o *b3x3o3o (brag) where: A = x3o3o3o3o (hix) a = o3o3o3o3x (dual hix) B = o3o3x3o3o (dot) C = x3o3x3o3o (spix) c = o3o3x3o3x (alt. spix) |
h H -- x3o3o *b3o3o3o (hax) r n r -- o3o3o *b3x3o3o (brag) where: h = x3o3o *b3o3o (hin) H = o3o3x *b3o3o (alt. hin) r = o3o3o *b3x3o (rat) | |
Face vector | 192, 2320, 7360, 8720, 4408, 996, 78 |
Confer |
|
Incidence matrix according to Dynkin symbol
xo3oo3oo *b3ox3oo3oo&#x → height = 1/2
(hax || brag)
o.3o.3o. *b3o.3o.3o. | 32 * ♦ 15 20 0 | 60 60 90 0 0 | 20 60 60 90 60 60 0 0 0 0 | 15 30 20 60 60 15 30 15 0 0 0 0 | 6 6 15 30 15 6 6 0 0 0 | 1 6 6 1 0
.o3.o3.o *b3.o3.o3.o | * 160 | 0 4 18 | 0 6 36 36 18 | 0 0 4 18 18 18 12 12 36 6 | 0 0 1 12 18 12 36 12 3 12 12 12 | 0 0 3 12 6 12 12 3 4 4 | 0 3 4 4 1
------------------------+--------+--------------+-----------------------+--------------------------------------------+-----------------------------------------------+-----------------------------------+-------------
x. .. .. .. .. .. | 2 0 | 240 * * ♦ 8 4 0 0 0 | 4 12 8 6 0 0 0 0 0 0 | 6 8 4 12 4 0 0 0 0 0 0 0 | 4 2 6 8 1 0 0 0 0 0 | 1 4 2 0 0
oo3oo3oo *b3oo3oo3oo&#x | 1 1 | * 640 * ♦ 0 3 9 0 0 | 0 0 3 9 9 9 0 0 0 0 | 0 0 1 9 9 3 9 3 0 0 0 0 | 0 0 3 9 3 3 3 0 0 0 | 0 3 3 1 0
.. .. .. .x .. .. | 0 2 | * * 1440 | 0 0 2 4 2 | 0 0 0 1 4 4 2 2 8 1 | 0 0 0 2 2 2 8 2 1 4 4 4 | 0 0 1 4 1 4 4 2 2 2 | 0 2 2 2 1
------------------------+--------+--------------+-----------------------+--------------------------------------------+-----------------------------------------------+-----------------------------------+-------------
x.3o. .. .. .. .. | 3 0 | 3 0 0 | 640 * * * * | 1 3 1 0 0 0 0 0 0 0 | 3 3 1 3 0 0 0 0 0 0 0 0 | 3 1 3 3 0 0 0 0 0 0 | 1 3 1 0 0
xo .. .. .. .. ..&#x | 2 1 | 1 2 0 | * 960 * * * | 0 0 2 3 0 0 0 0 0 0 | 0 0 1 6 3 0 0 0 0 0 0 0 | 0 0 3 6 1 0 0 0 0 0 | 0 3 2 0 0
.. .. .. ox .. ..&#x | 1 2 | 0 2 1 | * * 2880 * * | 0 0 0 1 2 2 0 0 0 0 | 0 0 0 2 2 1 4 1 0 0 0 0 | 0 0 1 4 1 2 2 0 0 0 | 0 2 2 1 0
.. .o .. *b3.x .. .. | 0 3 | 0 0 3 | * * * 1920 * | 0 0 0 0 1 0 1 1 2 0 | 0 0 0 1 0 1 2 0 1 2 2 1 | 0 0 1 2 0 2 1 2 1 1 | 0 2 1 1 1
.. .. .. .x3.o .. | 0 3 | 0 0 3 | * * * * 960 | 0 0 0 0 0 2 0 0 4 1 | 0 0 0 0 1 0 4 2 0 2 2 4 | 0 0 0 2 1 2 4 1 2 2 | 0 1 2 2 1
------------------------+--------+--------------+-----------------------+--------------------------------------------+-----------------------------------------------+-----------------------------------+-------------
x.3o.3o. .. .. .. ♦ 4 0 | 6 0 0 | 4 0 0 0 0 | 160 * * * * * * * * * | 3 0 1 0 0 0 0 0 0 0 0 0 | 3 0 3 0 0 0 0 0 0 0 | 1 3 0 0 0
x.3o. .. *b3o. .. .. ♦ 4 0 | 6 0 0 | 4 0 0 0 0 | * 480 * * * * * * * * | 1 2 0 1 0 0 0 0 0 0 0 0 | 2 1 1 2 0 0 0 0 0 0 | 1 2 1 0 0
xo3oo .. .. .. ..&#x ♦ 3 1 | 3 3 0 | 1 3 0 0 0 | * * 640 * * * * * * * | 0 0 1 3 0 0 0 0 0 0 0 0 | 0 0 3 3 0 0 0 0 0 0 | 0 3 1 0 0
xo .. .. ox .. ..&#x ♦ 2 2 | 1 4 1 | 0 2 2 0 0 | * * * 1440 * * * * * * | 0 0 0 2 2 0 0 0 0 0 0 0 | 0 0 1 4 1 0 0 0 0 0 | 0 2 2 0 0
.. oo .. *b3ox .. ..&#x ♦ 1 3 | 0 3 3 | 0 0 3 1 0 | * * * * 1920 * * * * * | 0 0 0 1 0 1 2 0 0 0 0 0 | 0 0 1 2 0 2 1 0 0 0 | 0 2 1 1 0
.. .. .. ox3oo ..&#x ♦ 1 3 | 0 3 3 | 0 0 3 0 1 | * * * * * 1920 * * * * | 0 0 0 0 1 0 2 1 0 0 0 0 | 0 0 0 2 1 1 2 0 0 0 | 0 1 2 1 0
.o3.o .. *b3.x .. .. ♦ 0 4 | 0 0 6 | 0 0 0 4 0 | * * * * * * 480 * * * | 0 0 0 1 0 0 0 0 1 2 0 0 | 0 0 1 2 0 0 0 2 1 0 | 0 2 1 0 1
.. .o3.o *b3.x .. .. ♦ 0 4 | 0 0 6 | 0 0 0 4 0 | * * * * * * * 480 * * | 0 0 0 0 0 1 0 0 1 0 2 0 | 0 0 1 0 0 2 0 2 0 1 | 0 2 0 1 1
.. .o .. *b3.x3.o .. ♦ 0 6 | 0 0 12 | 0 0 0 4 4 | * * * * * * * * 960 * | 0 0 0 0 0 0 1 0 0 1 1 1 | 0 0 0 1 0 1 1 1 1 1 | 0 1 1 1 1
.. .. .. .x3.o3.o ♦ 0 4 | 0 0 6 | 0 0 0 0 4 | * * * * * * * * * 240 | 0 0 0 0 0 0 0 2 0 0 0 4 | 0 0 0 0 1 0 4 0 2 2 | 0 0 2 2 1
------------------------+--------+--------------+-----------------------+--------------------------------------------+-----------------------------------------------+-----------------------------------+-------------
x.3o.3o. *b3o. .. .. ♦ 8 0 | 24 0 0 | 32 0 0 0 0 | 8 8 0 0 0 0 0 0 0 0 | 60 * * * * * * * * * * * | 2 0 1 0 0 0 0 0 0 0 | 1 2 0 0 0
x.3o. .. *b3o.3o. .. ♦ 5 0 | 10 0 0 | 10 0 0 0 0 | 0 5 0 0 0 0 0 0 0 0 | * 192 * * * * * * * * * * | 1 1 0 1 0 0 0 0 0 0 | 1 1 1 0 0
xo3oo3oo .. .. ..&#x ♦ 4 1 | 6 4 0 | 4 6 0 0 0 | 1 0 4 0 0 0 0 0 0 0 | * * 160 * * * * * * * * * | 0 0 3 0 0 0 0 0 0 0 | 0 3 0 0 0
xo3oo .. *b3ox .. ..&#x ♦ 4 4 | 6 12 6 | 4 12 12 4 0 | 0 1 4 6 4 0 1 0 0 0 | * * * 480 * * * * * * * * | 0 0 1 2 0 0 0 0 0 0 | 0 2 1 0 0
xo .. .. ox3oo ..&#x ♦ 2 3 | 1 6 3 | 0 3 6 0 1 | 0 0 0 3 0 2 0 0 0 0 | * * * * 960 * * * * * * * | 0 0 0 2 1 0 0 0 0 0 | 0 1 2 0 0
.. oo3oo *b3ox .. ..&#x ♦ 1 4 | 0 4 6 | 0 0 6 4 0 | 0 0 0 0 4 0 0 1 0 0 | * * * * * 480 * * * * * * | 0 0 1 0 0 2 0 0 0 0 | 0 2 0 1 0
.. oo .. *b3ox3oo ..&#x ♦ 1 6 | 0 6 12 | 0 0 12 4 4 | 0 0 0 0 4 4 0 0 1 0 | * * * * * * 960 * * * * * | 0 0 0 1 0 1 1 0 0 0 | 0 1 1 1 0
.. .. .. ox3oo3oo&#x ♦ 1 4 | 0 4 6 | 0 0 6 0 4 | 0 0 0 0 0 4 0 0 0 1 | * * * * * * * 480 * * * * | 0 0 0 0 1 0 2 0 0 0 | 0 0 2 1 0
.o3.o3.o *b3.x .. .. ♦ 0 8 | 0 0 24 | 0 0 0 32 0 | 0 0 0 0 0 0 8 8 0 0 | * * * * * * * * 60 * * * | 0 0 1 0 0 0 0 2 0 0 | 0 2 0 0 1
.o3.o .. *b3.x3.o .. ♦ 0 10 | 0 0 30 | 0 0 0 20 10 | 0 0 0 0 0 0 5 0 5 0 | * * * * * * * * * 192 * * | 0 0 0 1 0 0 0 1 1 0 | 0 1 1 0 1
.. .o3.o *b3.x3.o .. ♦ 0 10 | 0 0 30 | 0 0 0 20 10 | 0 0 0 0 0 0 0 5 5 0 | * * * * * * * * * * 192 * | 0 0 0 0 0 1 0 1 0 1 | 0 1 0 1 1
.. .o .. *b3.x3.o3.o ♦ 0 10 | 0 0 30 | 0 0 0 10 20 | 0 0 0 0 0 0 0 0 5 5 | * * * * * * * * * * * 192 | 0 0 0 0 0 0 1 0 1 1 | 0 0 1 1 1
------------------------+--------+--------------+-----------------------+--------------------------------------------+-----------------------------------------------+-----------------------------------+-------------
x.3o.3o. *b3o.3o. .. ♦ 16 0 | 80 0 0 | 160 0 0 0 0 | 40 80 0 0 0 0 0 0 0 0 | 10 16 0 0 0 0 0 0 0 0 0 0 | 12 * * * * * * * * * | 1 1 0 0 0
x.3o. .. *b3o.3o.3o. ♦ 6 0 | 15 0 0 | 20 0 0 0 0 | 0 15 0 0 0 0 0 0 0 0 | 0 6 0 0 0 0 0 0 0 0 0 0 | * 32 * * * * * * * * | 1 0 1 0 0
xo3oo3oo *b3ox .. ..&#x ♦ 8 8 | 24 32 24 | 32 48 48 32 0 | 8 8 32 24 32 0 8 8 0 0 | 1 0 8 8 0 8 0 0 1 0 0 0 | * * 60 * * * * * * * | 0 2 0 0 0
xo3oo .. *b3ox3oo ..&#x ♦ 5 10 | 10 30 30 | 10 30 60 20 10 | 0 5 10 30 20 20 5 0 5 0 | 0 1 0 5 10 0 5 0 0 1 0 0 | * * * 192 * * * * * * | 0 1 1 0 0
xo .. .. ox3oo3oo&#x ♦ 2 4 | 1 8 6 | 0 4 12 0 4 | 0 0 0 6 0 8 0 0 0 1 | 0 0 0 0 4 0 0 2 0 0 0 0 | * * * * 240 * * * * * | 0 0 2 0 0
.. oo3oo *b3ox3oo ..&#x ♦ 1 10 | 0 10 30 | 0 0 30 20 10 | 0 0 0 0 20 10 0 5 5 0 | 0 0 0 0 0 5 5 0 0 0 1 0 | * * * * * 192 * * * * | 0 1 0 1 0
.. oo .. *b3ox3oo3oo&#x ♦ 1 10 | 0 10 30 | 0 0 30 10 20 | 0 0 0 0 10 20 0 0 5 5 | 0 0 0 0 0 0 5 5 0 0 0 1 | * * * * * * 192 * * * | 0 0 1 1 0
.o3.o3.o *b3.x3.o .. ♦ 0 40 | 0 0 240 | 0 0 0 320 80 | 0 0 0 0 0 0 80 80 80 0 | 0 0 0 0 0 0 0 0 10 16 16 0 | * * * * * * * 12 * * | 0 1 0 0 1
.o3.o .. *b3.x3.o3.o ♦ 0 20 | 0 0 90 | 0 0 0 60 60 | 0 0 0 0 0 0 15 0 30 15 | 0 0 0 0 0 0 0 0 0 6 0 6 | * * * * * * * * 32 * | 0 0 1 0 1
.. .o3.o *b3.x3.o3.o ♦ 0 20 | 0 0 90 | 0 0 0 60 60 | 0 0 0 0 0 0 0 15 30 15 | 0 0 0 0 0 0 0 0 0 0 6 6 | * * * * * * * * * 32 | 0 0 0 1 1
------------------------+--------+--------------+-----------------------+--------------------------------------------+-----------------------------------------------+-----------------------------------+-------------
x.3o.3o. *b3o.3o.3o. ♦ 32 0 | 240 0 0 | 640 0 0 0 0 | 160 480 0 0 0 0 0 0 0 0 | 60 192 0 0 0 0 0 0 0 0 0 0 | 12 32 0 0 0 0 0 0 0 0 | 1 * * * 0
xo3oo3oo *b3ox3oo ..&#x ♦ 16 40 | 80 160 240 | 160 240 480 320 80 | 40 80 160 240 320 160 80 80 80 0 | 10 16 40 80 80 80 80 0 10 16 16 0 | 1 0 10 16 0 16 0 1 0 0 | * 12 * * 0
xo3oo .. *b3ox3oo3oo&#x ♦ 6 20 | 15 60 90 | 20 60 180 60 60 | 0 15 20 90 60 120 15 0 30 15 | 0 6 0 15 60 0 30 30 0 6 0 6 | 0 1 0 6 15 0 6 0 1 0 | * * 32 * 0
.. oo3oo *b3ox3oo3oo&#x ♦ 1 20 | 0 20 90 | 0 0 90 60 60 | 0 0 0 0 60 60 0 15 30 15 | 0 0 0 0 0 15 30 15 0 0 6 6 | 0 0 0 0 0 6 6 0 0 1 | * * * 32 0
.o3.o3.o *b3.x3.o3.o ♦ 0 160 | 0 0 1440 | 0 0 0 1920 960 | 0 0 0 0 0 0 480 480 960 240 | 0 0 0 0 0 0 0 0 60 192 192 192 | 0 0 0 0 0 0 0 12 32 32 | * * * * 1
© 2004-2024 | top of page |