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

 (その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種類(頂点数80).

f5=(x/16+y/6+z/80)・f0

x/16+y/6+z/80=342/432

270x+720y+54z=3420

x+y+z=12

720x+720y+720z=8640

450x+666z=5220  (NG)

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