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

 hγ5でなくβ5として,もうひとつの端点から計算してみることにする.

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

β5のfベクトルは(10,40,80,80,32)

0次元面→コクセター図形にKaleidoscope,p295,t1,2β4

  (96,192,120,24)

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

  (12,18,8)

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

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

[1]0次元面

96・10=960

[2]1次元面

192・10+12・40=2400

[3]2次元面

120・10+18・40+2・80=2080

[4]3次元面

24・10+8・40+1・80+1・80=720  (NG)

[5]4次元面

1・10+1・40+0・80+0・80+1・32=82  (NG)

(その164)と一致せず.

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