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

 h2,3,4γ5のファセットはt0,1,2,3α4(頂点数120),t0,1,2α4(頂点数60)とt1,2β4(頂点数96).

このほかにα3(1,1,0)×α1(頂点数24)と思われるが,・・・

f4=(x/120+y/60+z/96+w/24)f0

x/120+y/60+z/96+w/24=42/960

8x+16y+10z+40w=42

より,α3(1,1,0)×α1(頂点数24)は考えにくい.

8x+16y+10z=42

x+y+z=5

8x+8y+8z=40

8y+2z=2

(x,y,z)=(4,0,1)???

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