Acronym thesa
Name truncated demihepteract,
cantic hepteract
wrt. ril
17/sqrt(56) = 2.271721
wrt. til
15/sqrt(56) = 2.004459
wrt. thax
3/sqrt(8) = 1.060660
Lace city
in approx. ASCII-art
 ``` ©   ``` ```t u U T -- x3x3o *b3o3o3o (thax) u d D U -- u3o3x *b3o3o3o ((u,x)-rax) U D d u -- x3o3u *b3o3o3o ((x,u)-rax) T U u t -- o3x3x *b3o3o3o (gyro thax) where: t = x3x3o *b3o3o (thin) T = o3x3x *b3o3o (gyro thin) u = u3o3x *b3o3o ((u,x)-rin) U = x3o3u *b3o3o ((x,u)-rin) d = d3o3o *b3o3o (d-hin) D = o3o3d *b3o3o (gyro d-hin) ```
Volume 34081 sqrt(2)/240 = 200.824218
Dihedral angles
(at margins)
• at hix between ril and til:   arccos(-5/7) = 135.584691°
• at rix between ril and thax:   arccos[-1/sqrt(7)] = 112.207654°
• at tix between thax and til:   arccos[-1/sqrt(7)] = 112.207654°
• at thin between thax and thax:   90°
Confer
analogs:
truncated demihypercube tDn
External

Incidence matrix according to Dynkin symbol

```x3x3o *b3o3o3o3o

. . .    . . . . | 1344 |   1   10 |   10    5   20 |   5   20   10   20 |  10   20   10   10 | 10  10   5   2 |  5  2  1
-----------------+------+----------+----------------+--------------------+--------------------+----------------+---------
x . .    . . . . |    2 | 672    * |   10    0    0 |   5   20    0    0 |  10   20    0    0 | 10  10   0   0 |  5  2  0
. x .    . . . . |    2 |   * 6720 |    1    1    4 |   1    4    4    6 |   4    6    6    4 |  6   4   4   1 |  4  1  1
-----------------+------+----------+----------------+--------------------+--------------------+----------------+---------
x3x .    . . . . |    6 |   3    3 | 2240    *    * |   1    4    0    0 |   4    6    0    0 |  6   4   0   0 |  4  1  0
. x3o    . . . . |    3 |   0    3 |    * 2240    * |   1    0    4    0 |   4    0    6    0 |  6   0   4   0 |  4  0  1
. x . *b3o . . . |    3 |   0    3 |    *    * 8960 |   0    1    1    3 |   1    3    3    3 |  3   3   3   1 |  3  1  1
-----------------+------+----------+----------------+--------------------+--------------------+----------------+---------
x3x3o    . . . . ♦   12 |   6   12 |    4    4    0 | 560    *    *    * ♦   4    0    0    0 |  6   0   0   0 |  4  0  0
x3x . *b3o . . . ♦   12 |   6   12 |    4    0    4 |   * 2240    *    * |   1    3    0    0 |  3   3   0   0 |  3  1  0
. x3o *b3o . . . ♦    6 |   0   12 |    0    4    4 |   *    * 2240    * |   1    0    3    0 |  3   0   3   0 |  3  0  1
. x . *b3o3o . . ♦    4 |   0    6 |    0    0    4 |   *    *    * 6720 |   0    1    1    2 |  1   2   2   1 |  2  1  1
-----------------+------+----------+----------------+--------------------+--------------------+----------------+---------
x3x3o *b3o . . . ♦   48 |  24   96 |   32   32   32 |   8    8    8    0 | 280    *    *    * |  3   0   0   0 |  3  0  0
x3x . *b3o3o . . ♦   20 |  10   30 |   10    0   20 |   0    5    0    5 |   * 1344    *    * |  1   2   0   0 |  2  1  0
. x3o *b3o3o . . ♦   10 |   0   30 |    0   10   20 |   0    0    5    5 |   *    * 1344    * |  1   0   2   0 |  2  0  1
. x . *b3o3o3o . ♦    5 |   0   10 |    0    0   10 |   0    0    0    5 |   *    *    * 2688 |  0   1   1   1 |  1  1  1
-----------------+------+----------+----------------+--------------------+--------------------+----------------+---------
x3x3o *b3o3o . . ♦  160 |  80  480 |  160  160  320 |  40   80   80   80 |  10   16   16    0 | 84   *   *   * |  2  0  0
x3x . *b3o3o3o . ♦   30 |  15   60 |   20    0   60 |   0   15    0   30 |   0    6    0    6 |  * 448   *   * |  1  1  0
. x3o *b3o3o3o . ♦   15 |   0   60 |    0   20   60 |   0    0   15   30 |   0    0    6    6 |  *   * 448   * |  1  0  1
. x . *b3o3o3o3o ♦    6 |   0   15 |    0    0   20 |   0    0    0   15 |   0    0    0    6 |  *   *   * 448 |  0  1  1
-----------------+------+----------+----------------+--------------------+--------------------+----------------+---------
x3x3o *b3o3o3o . ♦  480 | 240 1920 |  640  640 1920 | 160  480  480  960 |  60  192  192  192 | 12  32  32   0 | 14  *  *
x3x . *b3o3o3o3o ♦   42 |  21  105 |   35    0  140 |   0   35    0  105 |   0   21    0   42 |  0   7   0   7 |  * 64  *
. x3o *b3o3o3o3o ♦   21 |   0  105 |    0   35  140 |   0    0   35  105 |   0    0   21   42 |  0   0   7   7 |  *  * 64
```