（その７７９）の続き．

　Wythoff's constructon for uniform polytopes, p49の局所幾何は

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

　大域幾何は

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

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

［１］ファセット

　ｈγ5（頂点数１６），α5（頂点数６）のほかに，ｈ4γ5（頂点数８０）．

　さらに，α4×α1（頂点数１０）が加わる．

　ｈγ5（頂点数１６）→α4，β4

　α5（頂点数６）→α4

　ｈ4γ5（頂点数８０）→α4，β4，ｔ0,3α4

　α4×α1（頂点数１０）→α3×α1

［２］４次元面

　ｔ0,3α4（頂点数２０）

　α4（頂点数５）

　β4（頂点数８）

　α3×α1（頂点数８）

　ｔ0,3α4（頂点数２０）→α3

　α4（頂点数５）→α3

　β4（頂点数８）→α3

　α3×α1（頂点数８）→α1×α1（三角柱）

［３］３次元面

　三角柱（頂点数６）

　α3（頂点数４）

　α2×α1→α1×α1＝β2

　α3→α2

［４］２次元面

　α2（頂点数３）

　β2（頂点数４）

［５］１次元面

　α1（頂点数２）

［６］０次元面

　α0（頂点数１）

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