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

 Wythoff's constructon for uniform polytopes, p49の局所幾何の計算.

(1,15,60,80,45,12,1)

 大域幾何は

(432,3240,7920,7200,2430,342)

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

 もしファセットが3種類だとしたらhγ5(頂点数16),α5(頂点数6)のほかに,もう1種類求めなければならない.

hγ5の大域幾何は(16,80,160,120,16+10)

二重節点から始める.

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

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

  (5,10,10,5)

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

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

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

[1]0次元面

5・16=80

[2]1次元面

10・16+3・80=400

[3]2次元面

10・16+3・80+2・160=720

[4]3次元面

5・16+1・80+1・160+1・120=440

[5]4次元面

1・16+0・80+0・160+0・120+1・26=42

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

80−400+720−440+42=2

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