［１］Ｐ11が両方とも二重節点の場合，同時に枝切り（１０）、B群として扱う

［２］Ｐ11が両方とも二重節点でない場合，同時に枝切り（００）、B群として扱う

［３］Ｐ11の一方が二重節点の場合，最後に二重接点を枝切りする

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

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

１

１０　　１

３０　　４　　１

３０　　６　　１　　１

１０　　４　　０　　０　　１

１　　　１　　０　　０　　０　　１

０　　　０　　０　　０　　０　　０　　１

１

１０　　１　　　　　↓最後の１を０に変更

３０　　４　　１　　　　　↓０のまま

３０　　６　　１　　１

１０　　４　　０　　１　　１　　↓（最後の１）

１　　　１　　０　　０　　１　　１

０　　　０　　０　　０　　０　　０　　１

（１，０，０，１，０，０，１）→（１，０，０，０，０，１，１）

→（１，５，１０，１０，５，１，１）

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

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