Acronym prohalsrico
Name proh atop srico
Circumradius sqrt[15+9 sqrt(2)]/2 = 2.632865
Lace city
in approx. ASCII-art
x3o4x      
           
           
      o3x4x
x3q4o      
           
           
           
w3o4x      
      x3x4x
           
o3w4o      
           
           
           
q3x4x x3o4w
           
           
           
o3x4u      
           
           
           
q3x4x x3o4w
           
           
           
o3w4o      
           
      x3x4x
w3o4x      
           
           
           
x3q4o      
      o3x4x
           
           
x3o4x      
           
  |     +-- x3o3x4x (proh)
  +-------- o3x4o3x (srico)
Face vector 480, 2112, 2624, 1168, 178
Confer
general polytopal classes:
segmentotera  

Similar to the 4D cubaike this segmentoteron is special in that the bases belong to different symmetries, i.e. to C4 (proh = x3o3x4x) vs. F4 (srico = o3x4o3x).


Incidence matrix according to Dynkin symbol

qo3xx3oq4xo&#zx || x3o3x4x   → height = sqrt[sqrt(2)-1] = 0.643594

o.3o.3o.4o.       . . . . | 192  *   * |   2   2   2   2  0   0   0   0  0 |  1  2  1  1   2   2   2   2   1   2  0   0   0   0  0  0  0  0  0 | 1  1  1  2  1  2  1  1   2   2  0  0  0  0  0  0 0 | 1 1  1  1  2  0 0
.o3.o3.o4.o       . . . . |   * 96   * |   0   0   4   0  2   4   0   0  0 |  0  0  0  2   4   2   4   0   0   0  1   2   4   2  0  0  0  0  0 | 0  2  1  2  0  0  0  2   4   2  2  1  2  0  0  0 0 | 1 0  2  1  2  1 0
.. .. .. ..       o3o3o4o |   *  * 192 |   0   0   0   2  0   2   2   2  1 |  0  0  0  0   0   0   2   1   2   2  0   2   1   2  1  2  2  1  2 | 0  0  0  0  1  1  2  2   1   2  1  2  1  1  1  2 1 | 0 1  1  2  1  1 1
--------------------------+------------+-----------------------------------+-------------------------------------------------------------------+----------------------------------------------------+------------------
.. x. .. ..       . . . . |   2  0   0 | 192   *   *   *  *   *   *   *  * |  1  1  0  0   1   0   0   1   0   0  0   0   0   0  0  0  0  0  0 | 1  1  0  1  1  1  0  0   1   0  0  0  0  0  0  0 0 | 1 1  1  0  1  0 0
.. .. .. x.       . . . . |   2  0   0 |   * 192   *   *  *   *   *   *  * |  0  1  1  0   0   1   0   0   0   1  0   0   0   0  0  0  0  0  0 | 1  0  1  1  0  1  1  0   0   1  0  0  0  0  0  0 0 | 1 1  0  1  1  0 0
oo3oo3oo4oo&#x    . . . . |   1  1   0 |   *   * 384   *  *   *   *   *  * |  0  0  0  1   1   1   1   0   0   0  0   0   0   0  0  0  0  0  0 | 0  1  1  1  0  0  0  1   1   1  0  0  0  0  0  0 0 | 1 0  1  1  1  0 0
o.3o.3o.4o.     || o3o3o4o |   1  0   1 |   *   *   * 384  *   *   *   *  * |  0  0  0  0   0   0   1   1   1   1  0   0   0   0  0  0  0  0  0 | 0  0  0  0  1  1  1  1   1   1  0  0  0  0  0  0 0 | 0 1  1  1  1  0 0
.. .x .. ..       . . . . |   0  2   0 |   *   *   *   * 96   *   *   *  * |  0  0  0  0   2   0   0   0   0   0  1   0   2   0  0  0  0  0  0 | 0  2  0  1  0  0  0  0   2   0  2  0  1  0  0  0 0 | 1 0  2  0  1  1 0
.o3.o3.o4.o     || o3o3o4o |   0  1   1 |   *   *   *   *  * 384   *   *  * |  0  0  0  0   0   0   1   0   0   0  0   1   1   1  0  0  0  0  0 | 0  0  0  0  0  0  0  1   1   1  1  1  1  0  0  0 0 | 0 0  1  1  1  1 0
.. .. .. ..       x . . . |   0  0   2 |   *   *   *   *  *   * 192   *  * |  0  0  0  0   0   0   0   0   0   0  0   1   0   0  1  1  1  0  0 | 0  0  0  0  0  0  0  1   0   0  1  1  0  1  1  1 0 | 0 0  1  1  0  1 1
.. .. .. ..       . . x . |   0  0   2 |   *   *   *   *  *   *   * 192  * |  0  0  0  0   0   0   0   0   1   0  0   0   0   0  0  1  0  1  1 | 0  0  0  0  1  0  1  1   0   0  0  0  0  1  0  1 1 | 0 1  1  1  0  0 1
.. .. .. ..       . . . x |   0  0   2 |   *   *   *   *  *   *   *   * 96 |  0  0  0  0   0   0   0   0   0   2  0   0   0   2  0  0  2  0  2 | 0  0  0  0  0  1  2  0   0   2  0  2  1  0  1  2 1 | 0 1  0  2  1  1 1
--------------------------+------------+-----------------------------------+-------------------------------------------------------------------+----------------------------------------------------+------------------
.. x.3o. ..       . . . . |   3  0   0 |   3   0   0   0  0   0   0   0  0 | 64  *  *  *   *   *   *   *   *   *  *   *   *   *  *  *  *  *  * | 1  1  0  0  1  0  0  0   0   0  0  0  0  0  0  0 0 | 1 1  1  0  0  0 0
.. x. .. x.       . . . . |   4  0   0 |   2   2   0   0  0   0   0   0  0 |  * 96  *  *   *   *   *   *   *   *  *   *   *   *  *  *  *  *  * | 1  0  0  1  0  1  0  0   0   0  0  0  0  0  0  0 0 | 1 1  0  0  1  0 0
.. .. o.4x.       . . . . |   4  0   0 |   0   4   0   0  0   0   0   0  0 |  *  * 48  *   *   *   *   *   *   *  *   *   *   *  *  *  *  *  * | 1  0  1  0  0  0  1  0   0   0  0  0  0  0  0  0 0 | 1 1  0  1  0  0 0
qo .. oq ..&#zx   . . . . |   2  2   0 |   0   0   4   0  0   0   0   0  0 |  *  *  * 96   *   *   *   *   *   *  *   *   *   *  *  *  *  *  * | 0  1  1  0  0  0  0  1   0   0  0  0  0  0  0  0 0 | 1 0  1  1  0  0 0
.. xx .. ..&#x    . . . . |   2  2   0 |   1   0   2   0  1   0   0   0  0 |  *  *  *  * 192   *   *   *   *   *  *   *   *   *  *  *  *  *  * | 0  1  0  1  0  0  0  0   1   0  0  0  0  0  0  0 0 | 1 0  1  0  1  0 0
.. .. .. xo&#x    . . . . |   2  1   0 |   0   1   2   0  0   0   0   0  0 |  *  *  *  *   * 192   *   *   *   *  *   *   *   *  *  *  *  *  * | 0  0  1  1  0  0  0  0   0   1  0  0  0  0  0  0 0 | 1 0  0  1  1  0 0
oo3oo3oo4oo&#x  || o3o3o4o |   1  1   1 |   0   0   1   1  0   1   0   0  0 |  *  *  *  *   *   * 384   *   *   *  *   *   *   *  *  *  *  *  * | 0  0  0  0  0  0  0  1   1   1  0  0  0  0  0  0 0 | 0 0  1  1  1  0 0
.. x. .. ..     || . o . . |   2  0   1 |   1   0   0   2  0   0   0   0  0 |  *  *  *  *   *   *   * 192   *   *  *   *   *   *  *  *  *  *  * | 0  0  0  0  1  1  0  0   1   0  0  0  0  0  0  0 0 | 0 1  1  0  1  0 0
.. .. o. ..     || . . x . |   1  0   2 |   0   0   0   2  0   0   0   1  0 |  *  *  *  *   *   *   *   * 192   *  *   *   *   *  *  *  *  *  * | 0  0  0  0  1  0  1  1   0   0  0  0  0  0  0  0 0 | 0 1  1  1  0  0 0
.. .. .. x.     || . . . x |   2  0   2 |   0   1   0   2  0   0   0   0  1 |  *  *  *  *   *   *   *   *   * 192  *   *   *   *  *  *  *  *  * | 0  0  0  0  0  1  1  0   0   1  0  0  0  0  0  0 0 | 0 1  0  1  1  0 0
.o3.x .. ..       . . . . |   0  3   0 |   0   0   0   0  3   0   0   0  0 |  *  *  *  *   *   *   *   *   *   * 32   *   *   *  *  *  *  *  * | 0  2  0  0  0  0  0  0   0   0  2  0  0  0  0  0 0 | 1 0  2  0  0  1 0
.o .. .. ..     || x . . . |   0  1   2 |   0   0   0   0  0   2   1   0  0 |  *  *  *  *   *   *   *   *   *   *  * 192   *   *  *  *  *  *  * | 0  0  0  0  0  0  0  1   0   0  1  1  0  0  0  0 0 | 0 0  1  1  0  1 0
.. .x .. ..     || . o . . |   0  2   1 |   0   0   0   0  1   2   0   0  0 |  *  *  *  *   *   *   *   *   *   *  *   * 192   *  *  *  *  *  * | 0  0  0  0  0  0  0  0   1   0  1  0  1  0  0  0 0 | 0 0  1  0  1  1 0
.. .. .. .o     || . . . x |   0  1   2 |   0   0   0   0  0   2   0   0  1 |  *  *  *  *   *   *   *   *   *   *  *   *   * 192  *  *  *  *  * | 0  0  0  0  0  0  0  0   0   1  0  1  1  0  0  0 0 | 0 0  0  1  1  1 0
.. .. .. ..       x3o . . |   0  0   3 |   0   0   0   0  0   0   3   0  0 |  *  *  *  *   *   *   *   *   *   *  *   *   *   * 64  *  *  *  * | 0  0  0  0  0  0  0  0   0   0  1  0  0  1  1  0 0 | 0 0  1  0  0  1 1
.. .. .. ..       x . x . |   0  0   4 |   0   0   0   0  0   0   2   2  0 |  *  *  *  *   *   *   *   *   *   *  *   *   *   *  * 96  *  *  * | 0  0  0  0  0  0  0  1   0   0  0  0  0  1  0  1 0 | 0 0  1  1  0  0 1
.. .. .. ..       x . . x |   0  0   4 |   0   0   0   0  0   0   2   0  2 |  *  *  *  *   *   *   *   *   *   *  *   *   *   *  *  * 96  *  * | 0  0  0  0  0  0  0  0   0   0  0  1  0  0  1  1 0 | 0 0  0  1  0  1 1
.. .. .. ..       . o3x . |   0  0   3 |   0   0   0   0  0   0   0   3  0 |  *  *  *  *   *   *   *   *   *   *  *   *   *   *  *  *  * 64  * | 0  0  0  0  1  0  0  0   0   0  0  0  0  1  0  0 1 | 0 1  1  0  0  0 1
.. .. .. ..       . . x4x |   0  0   8 |   0   0   0   0  0   0   0   4  4 |  *  *  *  *   *   *   *   *   *   *  *   *   *   *  *  *  *  * 48 | 0  0  0  0  0  0  1  0   0   0  0  0  0  0  0  1 1 | 0 1  0  1  0  0 1
--------------------------+------------+-----------------------------------+-------------------------------------------------------------------+----------------------------------------------------+------------------
.. x.3o.4x.       . . . .   24  0   0 |  24  24   0   0  0   0   0   0  0 |  8 12  6  0   0   0   0   0   0   0  0   0   0   0  0  0  0  0  0 | 8  *  *  *  *  *  *  *   *   *  *  *  *  *  *  * * | 1 1  0  0  0  0 0
qo3xx3oq ..&#zx   . . . .   12 12   0 |  12   0  24   0 12   0   0   0  0 |  4  0  0  6  12   0   0   0   0   0  4   0   0   0  0  0  0  0  0 | * 16  *  *  *  *  *  *   *   *  *  *  *  *  *  * * | 1 0  1  0  0  0 0
qo .. oq4xo&#zx   . . . .    8  4   0 |   0   8  16   0  0   0   0   0  0 |  0  0  2  4   0   8   0   0   0   0  0   0   0   0  0  0  0  0  0 | *  * 24  *  *  *  *  *   *   *  *  *  *  *  *  * * | 1 0  0  1  0  0 0
.. xx .. xo&#x    . . . .    4  2   0 |   2   2   4   0  1   0   0   0  0 |  0  1  0  0   2   2   0   0   0   0  0   0   0   0  0  0  0  0  0 | *  *  * 96  *  *  *  *   *   *  *  *  *  *  *  * * | 1 0  0  0  1  0 0
.. x.3o. ..     || . o3x .    3  0   3 |   3   0   0   6  0   0   0   3  0 |  1  0  0  0   0   0   0   3   3   0  0   0   0   0  0  0  0  1  0 | *  *  *  * 64  *  *  *   *   *  *  *  *  *  *  * * | 0 1  1  0  0  0 0
.. x. .. x.     || . o . x    4  0   2 |   2   2   0   4  0   0   0   0  1 |  0  1  0  0   0   0   0   2   0   2  0   0   0   0  0  0  0  0  0 | *  *  *  *  * 96  *  *   *   *  *  *  *  *  *  * * | 0 1  0  0  1  0 0
.. .. o.4x.     || . . x4x    4  0   8 |   0   4   0   8  0   0   0   4  4 |  0  0  1  0   0   0   0   0   4   4  0   0   0   0  0  0  0  0  1 | *  *  *  *  *  * 48  *   *   *  *  *  *  *  *  * * | 0 1  0  1  0  0 0
qo .. oq ..&#zx || x . x .    2  2   4 |   0   0   4   4  0   4   2   2  0 |  0  0  0  1   0   0   4   0   2   0  0   2   0   0  0  1  0  0  0 | *  *  *  *  *  *  * 96   *   *  *  *  *  *  *  * * | 0 0  1  1  0  0 0
.. xx .. ..&#x  || . o . .    2  2   1 |   1   0   2   2  1   2   0   0  0 |  0  0  0  0   1   0   2   1   0   0  0   0   1   0  0  0  0  0  0 | *  *  *  *  *  *  *  * 192   *  *  *  *  *  *  * * | 0 0  1  0  1  0 0
.. .. .. xo&#x  || . . . x    2  1   2 |   0   1   2   2  0   2   0   0  1 |  0  0  0  0   0   1   2   0   0   1  0   0   0   1  0  0  0  0  0 | *  *  *  *  *  *  *  *   * 192  *  *  *  *  *  * * | 0 0  0  1  1  0 0
.o3.x .. ..     || x3o . .    0  3   3 |   0   0   0   0  3   6   3   0  0 |  0  0  0  0   0   0   0   0   0   0  1   3   3   0  1  0  0  0  0 | *  *  *  *  *  *  *  *   *   * 64  *  *  *  *  * * | 0 0  1  0  0  1 0
.o .. .. .o     || x . . x    0  1   4 |   0   0   0   0  0   4   2   0  2 |  0  0  0  0   0   0   0   0   0   0  0   2   0   2  0  0  1  0  0 | *  *  *  *  *  *  *  *   *   *  * 96  *  *  *  * * | 0 0  0  1  0  1 0
.. .x .. .o     || . o . x    0  2   2 |   0   0   0   0  1   4   0   0  1 |  0  0  0  0   0   0   0   0   0   0  0   0   2   2  0  0  0  0  0 | *  *  *  *  *  *  *  *   *   *  *  * 96  *  *  * * | 0 0  0  0  1  1 0
.. .. .. ..       x3o3x .    0  0  12 |   0   0   0   0  0   0  12  12  0 |  0  0  0  0   0   0   0   0   0   0  0   0   0   0  4  6  0  4  0 | *  *  *  *  *  *  *  *   *   *  *  *  * 16  *  * * | 0 0  1  0  0  0 1
.. .. .. ..       x3o . x    0  0   6 |   0   0   0   0  0   0   6   0  3 |  0  0  0  0   0   0   0   0   0   0  0   0   0   0  2  0  3  0  0 | *  *  *  *  *  *  *  *   *   *  *  *  *  * 32  * * | 0 0  0  0  0  1 1
.. .. .. ..       x . x4x    0  0  16 |   0   0   0   0  0   0   8   8  8 |  0  0  0  0   0   0   0   0   0   0  0   0   0   0  0  4  4  0  2 | *  *  *  *  *  *  *  *   *   *  *  *  *  *  * 24 * | 0 0  0  1  0  0 1
.. .. .. ..       . o3x4x    0  0  24 |   0   0   0   0  0   0   0  24 12 |  0  0  0  0   0   0   0   0   0   0  0   0   0   0  0  0  0  8  6 | *  *  *  *  *  *  *  *   *   *  *  *  *  *  *  * 8 | 0 1  0  0  0  0 1
--------------------------+------------+-----------------------------------+-------------------------------------------------------------------+----------------------------------------------------+------------------
qo3xx3oq4xo&#zx   . . . .  192 96   0 | 192 192 384   0 96   0   0   0  0 | 64 96 48 96 192 192   0   0   0   0 32   0   0   0  0  0  0  0  0 | 8 16 24 96  0  0  0  0   0   0  0  0  0  0  0  0 0 | 1 *  *  *  *  * *
.. x.3o.4x.     || . o3x4x   24  0  24 |  24  24   0  48  0   0   0  24 12 |  8 12  6  0   0   0   0  24  24  24  0   0   0   0  0  0  0  8  6 | 1  0  0  0  8 12  6  0   0   0  0  0  0  0  0  0 1 | * 8  *  *  *  * *
qo3xx3oq ..&#zx || x3o3x .   12 12  12 |  12   0  24  24 12  24  12  12  0 |  4  0  0  6  12   0  24  12  12   0  4  12  12   0  4  6  0  4  0 | 0  1  0  0  4  0  0  6  12   0  4  0  0  1  0  0 0 | * * 16  *  *  * *
qo .. oq4xo&#zx || x . x4x    8  4  16 |   0   8  16  16  0  16   8   8  8 |  0  0  2  4   0   8  16   0   8   8  0   8   0   8  0  4  4  0  2 | 0  0  1  0  0  0  2  4   0   8  0  4  0  0  0  1 0 | * *  * 24  *  * *
.. xx .. xo&#x  || . o . x    4  2   2 |   2   2   4   4  1   4   0   0  1 |  0  1  0  0   2   2   4   2   0   2  0   0   2   2  0  0  0  0  0 | 0  0  0  1  0  1  0  0   2   2  0  0  1  0  0  0 0 | * *  *  * 96  * *
.o3.x .. .o     || x3o . x    0  3   6 |   0   0   0   0  3  12   6   0  3 |  0  0  0  0   0   0   0   0   0   0  1   6   6   6  2  0  3  0  0 | 0  0  0  0  0  0  0  0   0   0  2  3  3  0  1  0 0 | * *  *  *  * 32 *
.. .. .. ..       x3o3x4x    0  0 192 |   0   0   0   0  0   0 192 192 96 |  0  0  0  0   0   0   0   0   0   0  0   0   0   0 64 96 96 64 48 | 0  0  0  0  0  0  0  0   0   0  0  0  0 16 32 24 8 | * *  *  *  *  * 1

© 2004-2024
top of page