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

１次元面について

α1（頂点数2）

ｆ1＝（ｘ／２）・ｆ0

ｘ／2＝3240／４３２

216ｘ＝3240

ｘ＝15・・・OK

0次元面について

α0（頂点数1）

ｆ0＝（ｘ）・ｆ0

ｘ＝432／４３２

ｘ＝1・・・OK

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝