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

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

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

β6のfベクトルは(12,60,160,240,192,64)

0次元面→コクセター図形h2γ5

  (160,560,640,280,42)

1次元面→コクセター図形にKaleidoscope,p295,t0,1β4ができる.

  (20,40,30,10)

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

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

[1]0次元面

160・12−20・60+2・160−1・240=800  (NG)

[2]1次元面

560・12−40・60+1・160−0・240=4480  (NG)

[3]2次元面

640・12−30・60+0・160−0・240=5880  (NG)

[4]3次元面

280・12−10・60+0・160−0・240=2760  (NG)

[5]4次元面

42・12−0・60+0・160−0・240+1・192=696  (NG)

[5]4次元面

1・12−0・60+0・160−0・240+0・192+1・64=76  (OK)

(その167)と一致せず.

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