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

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

1次元面について

α1(頂点数2)

f1=(x/2)・f0

x/2=3240/432

216x=3240

x=15・・・OK

0次元面について

α0(頂点数1)

f0=(x)・f0

x=432/432

x=1・・・OK

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