■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)→これが正しいと思われる
===================================