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

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

　大域幾何は

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

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

　もしファセットが３種類だとしたらｈγ5（頂点数１６），α5（頂点数６）のほかに，もう１種類求めなければならない．

ｈγ5の大域幾何は（１６，８０，１６０，１２０，１６＋１０）

二重節点から始める．

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

０次元面→コクセター図形にα4（１，０，０，０）

　　（５，１０，１０，５）

１次元面→コクセター図形にα2ができる．（３，３，１）

２次元面→コクセター図形にα1ができる．（２，１）

３次元面→コクセター図形にα0ができる．（１，０）

［１］０次元面

５・１６＝８０

［２］１次元面

１０・１６＋３・８０＝４００

［３］２次元面

１０・１６＋３・８０＋２・１６０＝７２０

［４］３次元面

５・１６＋１・８０＋１・１６０＋１・１２０＝４４０

［５］４次元面

１・１６＋０・８０＋０・１６０＋０・１２０＋１・２６＝４２

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

８０−４００＋７２０−４４０＋４２＝２

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