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

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

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

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

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

  (1,6,9,5,1)

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

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

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

1 1 1

6 3 0

9 3 1

5 1 0 1

1 0 0 0 1 

0 0 0 0 0 1→3 −3 1 3 3 1

 これより

(1,9,19,15,6,1)→これが正しいと思われる

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