■DE群多面体の面数公式(その171)

 もう一方の2重接点でない方から始めてみると・・・

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

hγ6のfベクトルは(32,240,640,640,192+60,32+12)

0次元面→コクセター図形にα5(1,0,1,0,0)

  (60,240,290,135,27)

1次元面→コクセター図形にα3×α1ができる.(8,16,14,6,1)

2次元面→コクセター図形にα0ができる.(1,0)

3次元面→コクセター図形にα0ができる.(1,0)

[1]0次元面

60・32−8・240+1・640=640

[2]1次元面

240・32−16・240+0・640=3840

[3]2次元面

290・32−14・240+0・640=5920

[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次元面

27・32−0・240+0・640+0・640+0・252+1・44=76

(その170)と一致.

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