■DE群多面体の面数公式(その169)
hγ6でなくβ6として,もうひとつの端点から計算してみることにする.
===================================
β6のfベクトルは(12,60,160,240,192,64)
0次元面→コクセター図形h2γ5
(160,560,640,280,42)
1次元面→コクセター図形にKaleidoscope,p295,t0,1β4ができる.
(20,40,30,10)
2次元面→コクセター図形にα1ができる.(2,1)
3次元面→コクセター図形にα0ができる.(1,0)
[1]0次元面
160・12−20・60+2・160−1・240=800 (NG)
[2]1次元面
560・12−40・60+1・160−0・240=4480 (NG)
[3]2次元面
640・12−30・60+0・160−0・240=5880 (NG)
[4]3次元面
280・12−10・60+0・160−0・240=2760 (NG)
[5]4次元面
42・12−0・60+0・160−0・240+1・192=696 (NG)
[5]4次元面
1・12−0・60+0・160−0・240+0・192+1・64=76 (OK)
(その167)と一致せず.
===================================