■DE群多面体の面数公式(その746)
h2,3,4γ5の大域幾何を試してみたい.もう一方の2重接点でない方から始めてみると・・・
===================================
hγ5のfベクトルは(16,80,160,120,16+10)
0次元面→コクセター図形にα4(1,1,1,1)
(120,240,150,30)
1次元面→コクセター図形にα2(1,1)×α1ができる.(12,18,8,1)
2次元面→コクセター図形にα1ができる.(2,1)
3次元面→コクセター図形にα0ができる.(1,0)
[1]0次元面
120・16−12・80=960
[2]1次元面
240・16−18・80=2400
[3]2次元面
150・16−8・80+2・160=2080
[4]3次元面
30・16−1・80+1・160+1・120=680
[5]4次元面
1・16+0・80+0・160+0・120+1・26=42
(その164)と一致.
===================================