■DE群多面体の面数公式(その160)
h3γ5についても調べてみたい.
===================================
hγ5のfベクトルは(16,80,160,120,16+10)
0次元面→コクセター図形にα4(0,1,0,0)
(10,30,30,10)
1次元面→コクセター図形にα3ができる.(3,3,1,0)
2次元面→コクセター図形にα0ができる.(1,0)
3次元面→コクセター図形にα0ができる.(1,0)
[1]0次元面
10・16=160
[2]1次元面
30・16+3・80=720
[3]2次元面
30・16+3・80+1・160=880
[4]3次元面
10・16+1・80+0・160+1・120=360
[5]4次元面
1・16+0・80+0・160+0・120+1・26=42
===================================
160−720+880−360+42=2
===================================