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

（１，１５，６０，８０，４５，１２，１）

　大域幾何は

（４３２，３２４０，７９２０，７２００，２４３０，３４２）

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

　もしファセットが３種類だとしたらｈγ5（頂点数１６），α5（頂点数６）のほかに，もう１種類（頂点数８０）．

ｆ5＝（ｘ／１６＋ｙ／６＋ｚ／８０）・ｆ0

ｘ／１６＋ｙ／６＋ｚ／８０＝３４２／４３２

２７０ｘ＋７２０ｙ＋５４ｚ＝３４２０

ｘ＋ｙ＋ｚ＝１２

７２０ｘ＋７２０ｙ＋７２０ｚ＝８６４０

４５０ｘ＋６６６ｚ＝５２２０　　（ＮＧ）

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