■DE群多面体の面数公式(その173)
もう一方の2重接点でない方から始めてみると・・・
===================================
hγ6のfベクトルは(32,240,640,640,192+60,32+12)
0次元面→コクセター図形にα5(1,1,1,0,0)
(120,300,290,135,27)
1次元面→コクセター図形にα3×α1ができる.(8,16,14,6,1)
2次元面→コクセター図形にα0ができる.(1,0)
3次元面→コクセター図形にα0ができる.(1,0)
[1]0次元面
120・32−8・240=1920
[2]1次元面
300・32−16・240=5760
[3]2次元面
290・32−14・240+1・640=6560
[4]3次元面
135・32−6・240+0・640+1・640=3520
[5]4次元面
27・32−1・240+0・640+0・640+1・252=876
[6]5次元面
1・32−0・240+0・640+0・640+0・252+1・44=76
(その172)と一致.
===================================