■DE群多面体の面数公式(その166)
hγ5でなくβ5として,もうひとつの端点から計算してみることにする.
===================================
β5のfベクトルは(10,40,80,80,32)
0次元面→コクセター図形にKaleidoscope,p295,t1,2β4
(96,192,120,24)
1次元面→コクセター図形にα3(1,1,0)ができる.
(12,18,8)
2次元面→コクセター図形にα1ができる.(2,1)
3次元面→コクセター図形にα0ができる.(1,0)
[1]0次元面
96・10=960
[2]1次元面
192・10+12・40=2400
[3]2次元面
120・10+18・40+2・80=2080
[4]3次元面
24・10+8・40+1・80+1・80=720 (NG)
[5]4次元面
1・10+1・40+0・80+0・80+1・32=82 (NG)
(その164)と一致せず.
===================================