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

 h3γ5の大域幾何.もう一方の2重接点でない方から始めてみると・・・

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

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

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

  (30,90,80,20)

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

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

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

[1]0次元面

30・16−6・80+1・160=160

[2]1次元面

90・16−9・80+0・160=720

[3]2次元面

80・16−5・80+0・160=880

[4]3次元面

20・16−1・80+0・160+1・120=360

[5]4次元面

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

(その160)と一致.

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