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 |
|
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 |