■DE群多面体の面数公式(その177)
もう一方の2重接点でない方から始めてみると・・・
===================================
hγ6のfベクトルは(32,240,640,640,192+60,32+12)
0次元面→コクセター図形にα5(1,1,1,1,1)
(720,1800,1560,540,62)
1次元面→コクセター図形にα3(1,1,1)×α1ができる.
(48,96,64,16,1)
2次元面→コクセター図形にα2(1,1)ができる.(6,6,1)
3次元面→コクセター図形にα1ができる.(2,1,0)
[1]0次元面
720・32−48・240=11520
[2]1次元面
1800・32−96・240=34560
[3]2次元面
1560・32−64・240+6・640=38400
[4]3次元面
540・32−16・240+6・640+2・640=18560
[5]4次元面
62・32−1・240+1・640+1・640+1・252=3276
[6]5次元面
1・32−0・240+0・640+0・640+0・252+1・44=76
(その176)と一致.
===================================