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