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

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

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

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

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

  (1,4,6,4)

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

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

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

(0,1,1,0,0,1)でなく(0,1,0,0,1,1)

1 1

4 1

6 0 1

4 0 0 1

1 0 0 0 1 

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

1 1

4 1 ↓0に変更

6 0 1 ↓0のまま

4 0 1 1 ↓最後の1

1 0 0 1 1 

0 0 0 0 0 1

m=(2 −1 3 3 1 1)とし,

と変更すると,f=(1,7,15,14,6,1)  (一致)

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