■DE群多面体の面数公式(その162)
hγ5でなくβ5として,もうひとつの端点から計算してみることにする.
===================================
β5のfベクトルは(10,40,80,80,32)
0次元面→コクセター図形にKaleidoscope,p317,t2β4
(32,96,88,24)
1次元面→コクセター図形にα3(1,0,0)ができる.
(4,6,4)
2次元面→コクセター図形にα1ができる.(2,1)
3次元面→コクセター図形にα0ができる.(1,0)
[1]0次元面
32・10−4・40=160
[2]1次元面
96・10−6・40=720
[3]2次元面
88・10−4・40+2・80=880
[4]3次元面
24・10−1・40+1・80+1・80=360
[5]4次元面
1・10−0・40+0・80+0・80+1・32=42
(その160)と一致.
===================================