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

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

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

hγ5のfベクトルは(16,80,160,120,16+10)

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

  (20,40,30,10)

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

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

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

[1]0次元面

20・16−2・80=160

[2]1次元面

40・16−1・80=560

[3]2次元面

30・16−0・80+1・160=640

[4]3次元面

10・16−0・80+0・160+1・120=280

[5]4次元面

1・16+0・80+0・160+0・120+1・26=42

(その157)と一致.

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