Acronym haxabrox
Name hax atop brox,
hax-first cap of rolaq
Circumradius sqrt(3) = 1.732051
Lace city
in approx. ASCII-art
n   
   h
i   
   k
n   

|  +--	x3o3o *b3o3o3o (hax)
+-----	o3x3o *b3o3o3o (brox)
where:
n = o3x3o *b3o3o (nit)
h = x3o3o *b3o3o (hin)
k = o3o3x *b3o3o (alt. hin)
i = x3o3x *b3o3o (rin)
Face vector 272, 2640, 6000, 5920, 2968, 756, 78
Confer
uniform relative:
rolaq  
general polytopal classes:
segmentoexa   fundamental lace prisms  

Incidence matrix according to Dynkin symbol

xo3ox3oo *b3oo3oo3oo&#xt   → height = 1/2
(hax || brox)

o.3o.3o. *b3o.3o.3o.    | 32   *   15  15    0 |  60  15   60   0   0    0 |  20  60  60  20   60   0   0   0   0 | 15  30  20  60  15  30  0   0   0   0 |  6  6 15  30   6   6  0  0  0 | 1  6  6  1 0
.o3.o3.o *b3.o3.o3.o    |  * 240 |   0   2   16 |   0   1   16   8   8   24 |   0   0   8   8   24   4  12  12  16 |  0   0   4  12  12  16  6   8   8   4 |  0  0  6   8   8   4  4  2  2 | 0  4  2  2 1
------------------------+--------+--------------+---------------------------+--------------------------------------+---------------------------------------+-------------------------------+-------------
x. .. ..    .. .. ..    |  2   0 | 240   *    * |   8   1    0   0   0    0 |   4  12   8   0    0   0   0   0   0 |  6   8   4  12   0   0  0   0   0   0 |  4  2  6   8   0   0  0  0  0 | 1  4  2  0 0
oo3oo3oo *b3oo3oo3oo&#x |  1   1 |   * 480    * |   0   1    8   0   0    0 |   0   0   8   4   12   0   0   0   0 |  0   0   4  12   6   8  0   0   0   0 |  0  0  6   8   4   2  0  0  0 | 0  4  2  1 0
.. .x ..    .. .. ..    |  0   2 |   *   * 1920 |   0   0    1   1   1    3 |   0   0   1   1    3   1   3   3   3 |  0   0   1   3   3   3  3   3   3   1 |  0  0  3   3   3   1  3  1  1 | 0  3  1  1 1
------------------------+--------+--------------+---------------------------+--------------------------------------+---------------------------------------+-------------------------------+-------------
x.3o. ..    .. .. ..    |  3   0 |   3   0    0 | 640   *    *   *   *    * |   1   3   1   0    0   0   0   0   0 |  3   3   1   3   0   0  0   0   0   0 |  3  1  3   3   0   0  0  0  0 | 1  3  1  0 0
xo .. ..    .. .. ..&#x |  2   1 |   1   2    0 |   * 240    *   *   *    *    0   0   8   0    0   0   0   0   0 |  0   0   4  12   0   0  0   0   0   0 |  0  0  6   8   0   0  0  0  0 | 0  4  2  0 0
.. ox ..    .. .. ..&#x |  1   2 |   0   2    1 |   *   * 1920   *   *    * |   0   0   1   1    3   0   0   0   0 |  0   0   1   3   3   3  0   0   0   0 |  0  0  3   3   3   1  0  0  0 | 0  3  1  1 0
.o3.x ..    .. .. ..    |  0   3 |   0   0    3 |   *   *    * 640   *    * |   0   0   1   0    0   1   3   0   0 |  0   0   1   3   0   0  3   3   0   0 |  0  0  3   3   0   0  3  1  0 | 0  3  1  0 1
.. .x3.o    .. .. ..    |  0   3 |   0   0    3 |   *   *    *   * 640    * |   0   0   0   1    0   1   0   3   0 |  0   0   1   0   3   0  3   0   3   0 |  0  0  3   0   3   0  3  0  1 | 0  3  0  1 1
.. .x .. *b3.o .. ..    |  0   3 |   0   0    3 |   *   *    *   *   * 1920 |   0   0   0   0    1   0   1   1   2 |  0   0   0   1   1   2  1   2   2   1 |  0  0  1   2   2   1  2  1  1 | 0  2  1  1 1
------------------------+--------+--------------+---------------------------+--------------------------------------+---------------------------------------+-------------------------------+-------------
x.3o.3o.    .. .. ..      4   0 |   6   0    0 |   4   0    0   0   0    0 | 160   *   *   *    *   *   *   *   * |  3   0   1   0   0   0  0   0   0   0 |  3  0  3   0   0   0  0  0  0 | 1  3  0  0 0
x.3o. .. *b3o. .. ..      4   0 |   6   0    0 |   4   0    0   0   0    0 |   * 480   *   *    *   *   *   *   * |  1   2   0   1   0   0  0   0   0   0 |  2  1  1   2   0   0  0  0  0 | 1  2  1  0 0
xo3ox ..    .. .. ..&#x   3   3 |   3   6    3 |   1   3    3   1   0    0 |   *   * 640   *    *   *   *   *   * |  0   0   1   3   0   0  0   0   0   0 |  0  0  3   3   0   0  0  0  0 | 0  3  1  0 0
.. ox3oo    .. .. ..&#x   1   3 |   0   3    3 |   0   0    3   0   1    0 |   *   *   * 640    *   *   *   *   * |  0   0   1   0   3   0  0   0   0   0 |  0  0  3   0   3   0  0  0  0 | 0  3  0  1 0
.. ox .. *b3oo .. ..&#x   1   3 |   0   3    3 |   0   0    3   0   0    1 |   *   *   *   * 1920   *   *   *   * |  0   0   0   1   1   2  0   0   0   0 |  0  0  1   2   2   1  0  0  0 | 0  2  1  1 0
.o3.x3.o    .. .. ..      0   6 |   0   0   12 |   0   0    0   4   4    0 |   *   *   *   *    * 160   *   *   * |  0   0   1   0   0   0  3   0   0   0 |  0  0  3   0   0   0  3  0  0 | 0  3  0  0 1
.o3.x .. *b3.o .. ..      0   6 |   0   0   12 |   0   0    0   4   0    4 |   *   *   *   *    *   * 480   *   * |  0   0   0   1   0   0  1   2   0   0 |  0  0  1   2   0   0  2  1  0 | 0  2  1  0 1
.. .x3.o *b3.o .. ..      0   6 |   0   0   12 |   0   0    0   0   4    4 |   *   *   *   *    *   *   * 480   * |  0   0   0   0   1   0  1   0   2   0 |  0  0  1   0   2   0  2  0  1 | 0  2  0  1 1
.. .x .. *b3.o3.o ..      0   4 |   0   0    6 |   0   0    0   0   0    4 |   *   *   *   *    *   *   *   * 960 |  0   0   0   0   0   1  0   1   1   1 |  0  0  0   1   1   1  1  1  1 | 0  1  1  1 1
------------------------+--------+--------------+---------------------------+--------------------------------------+---------------------------------------+-------------------------------+-------------
x.3o.3o. *b3o. .. ..      8   0 |  24   0    0 |  32   0    0   0   0    0 |   8   8   0   0    0   0   0   0   0 | 60   *   *   *   *   *  *   *   *   * |  2  0  1   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 |   0   5   0   0    0   0   0   0   0 |  * 192   *   *   *   *  *   *   *   * |  1  1  0   1   0   0  0  0  0 | 1  1  1  0 0
xo3ox3oo    .. .. ..&#x   4   6 |   6  12   12 |   4   6   12   4   4    0 |   1   0   4   4    0   1   0   0   0 |  *   * 160   *   *   *  *   *   *   * |  0  0  3   0   0   0  0  0  0 | 0  3  0  0 0
xo3ox .. *b3oo .. ..&#x   4   6 |   6  12   12 |   4   6   12   4   0    4 |   0   1   4   0    4   0   1   0   0 |  *   *   * 480   *   *  *   *   *   * |  0  0  1   2   0   0  0  0  0 | 0  2  1  0 0
.. ox3oo *b3oo .. ..&#x   1   6 |   0   6   12 |   0   0   12   0   4    4 |   0   0   0   4    4   0   0   1   0 |  *   *   *   * 480   *  *   *   *   * |  0  0  1   0   2   0  0  0  0 | 0  2  0  1 0
.. ox .. *b3oo3oo ..&#x   1   4 |   0   4    6 |   0   0    6   0   0    4 |   0   0   0   0    4   0   0   0   1 |  *   *   *   *   * 960  *   *   *   * |  0  0  0   1   1   1  0  0  0 | 0  1  1  1 0
.o3.x3.o *b3.o .. ..      0  24 |   0   0   96 |   0   0    0  32  32   32 |   0   0   0   0    0   8   8   8   0 |  *   *   *   *   *   * 60   *   *   * |  0  0  1   0   0   0  2  0  0 | 0  2  0  0 1
.o3.x .. *b3.o3.o ..      0  10 |   0   0   30 |   0   0    0  10   0   20 |   0   0   0   0    0   0   5   0   5 |  *   *   *   *   *   *  * 192   *   * |  0  0  0   1   0   0  1  1  0 | 0  1  1  0 1
.. .x3.o *b3.o3.o ..      0  10 |   0   0   30 |   0   0    0   0  10   20 |   0   0   0   0    0   0   0   5   5 |  *   *   *   *   *   *  *   * 192   * |  0  0  0   0   1   0  1  0  1 | 0  1  0  1 1
.. .x .. *b3.o3.o3.o      0   5 |   0   0   10 |   0   0    0   0   0   10 |   0   0   0   0    0   0   0   0   5 |  *   *   *   *   *   *  *   *   * 192 |  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    0 |  40  80   0   0    0   0   0   0   0 | 10  16   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 |   0  15   0   0    0   0   0   0   0 |  0   6   0   0   0   0  0   0   0   0 |  * 32  *   *   *   *  *  *  * | 1  0  1  0 0
xo3ox3oo *b3oo .. ..&#x   8  24 |  24  48   96 |  32  24   96  32  32   32 |   8   8  32  32   32   8   8   8   0 |  1   0   8   8   8   0  1   0   0   0 |  *  * 60   *   *   *  *  *  * | 0  2  0  0 0
xo3ox .. *b3oo3oo ..&#x   5  10 |  10  20   30 |  10  10   30  10   0   20 |   0   5  10   0   20   0   5   0   5 |  0   1   0   5   0   5  0   1   0   0 |  *  *  * 192   *   *  *  *  * | 0  1  1  0 0
.. ox3oo *b3oo3oo ..&#x   1  10 |   0  10   30 |   0   0   30   0  10   20 |   0   0   0  10   20   0   0   5   5 |  0   0   0   0   5   5  0   0   1   0 |  *  *  *   * 192   *  *  *  * | 0  1  0  1 0
.. ox .. *b3oo3oo3oo&#x   1   5 |   0   5   10 |   0   0   10   0   0   10 |   0   0   0   0   10   0   0   0   5 |  0   0   0   0   0   5  0   0   0   1 |  *  *  *   *   * 192  *  *  * | 0  0  1  1 0
.o3.x3.o *b3.o3.o ..      0  80 |   0   0  480 |   0   0    0 160 160  320 |   0   0   0   0    0  40  80  80  80 |  0   0   0   0   0   0 10  16  16   0 |  *  *  *   *   *   * 12  *  * | 0  1  0  0 1
.o3.x .. *b3.o3.o3.o      0  15 |   0   0   60 |   0   0    0  20   0   60 |   0   0   0   0    0   0  15   0  30 |  0   0   0   0   0   0  0   6   0   6 |  *  *  *   *   *   *  * 32  * | 0  0  1  0 1
.. .x3.o *b3.o3.o3.o      0  15 |   0   0   60 |   0   0    0   0  20   60 |   0   0   0   0    0   0   0  15  30 |  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    0 | 160 480   0   0    0   0   0   0   0 | 60 192   0   0   0   0  0   0   0   0 | 12 32  0   0   0   0  0  0  0 | 1  *  *  * *
xo3ox3oo *b3oo3oo ..&#x  16  80 |  80 160  480 | 160  80  480 160 160  320 |  40  80 160 160  320  40  80  80  80 | 10  16  40  80  80  80 10  16  16   0 |  1  0 10  16  16   0  1  0  0 | * 12  *  * *
xo3ox .. *b3oo3oo3oo&#x   6  15 |  15  30   60 |  20  15   60  20   0   60 |   0  15  20   0   60   0  15   0  30 |  0   6   0  15   0  30  0   6   0   6 |  0  1  0   6   0   6  0  1  0 | *  * 32  * *
.. ox3oo *b3oo3oo3oo&#x   1  15 |   0  15   60 |   0   0   60   0  20   60 |   0   0   0  20   60   0   0  15  30 |  0   0   0   0  15  30  0   0   6   6 |  0  0  0   0   6   6  0  0  1 | *  *  * 32 *
.o3.x3.o *b3.o3.o3.o      0 240 |   0   0 1920 |   0   0    0 640 640 1920 |   0   0   0   0    0 160 480 480 960 |  0   0   0   0   0   0 60 192 192 192 |  0  0  0   0   0   0 12 32 32 | *  *  *  * 1

© 2004-2024
top of page