■DE群多面体の計量(その110)

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

4次元面について

t0,3α4(頂点数20)

α4(頂点数5)

β4(頂点数8)

α3xα1(頂点数8)

f4=(x/20+y/5+z/8)・f0

x/20+y/5+z/8=2430/432

216x+864y+540z=24300

x+y+z=45

864x+864y+864z=38880

648x+324z=14580

X=10,z=25,Y=10

10/20・432=216

10/5・432=864

25/8・432=1350・・・OK

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