■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)と一致.

===================================