■DE群多面体の面数公式(その168)
もう一方の2重接点でない方から始めてみると・・・
===================================
hγ6のfベクトルは(32,240,640,640,192+60,32+12)
0次元面→コクセター図形にα5(1,1,0,0,0)
(30,75,80,45,12)
1次元面→コクセター図形にα1ができる.(2,1)
2次元面→コクセター図形にα0ができる.(1,0)
3次元面→コクセター図形にα0ができる.(1,0)
[1]0次元面
30・32−2・240=480
[2]1次元面
75・32−1・240=2160
[3]2次元面
80・32−0・240+1・640=3200
[4]3次元面
45・32−0・240+0・640+1・640=2080
[5]4次元面
12・32−0・240+0・640+0・640+1・252=636
[6]5次元面
1・32−0・240+0・640+0・640+0・252+1・44=76
(その167)と一致.
===================================