【１】正単体系（１０１１）→ｆ＝（６０，１５０，１２０，３０）

　５個の頂点に正単体系（０１１）ができる．それを切稜する．

（０１１）→ｆ＝（１２，１８，８）

（１１）→ｆ＝（６，６）

ｆ0＝５・１２＝６０　　（ＯＫ）

ｆ1＝５・１８＋１０・６＝１５０　　（ＯＫ）

ｆ2＝５・８＋１０・６＋１０・１＝１１０　　（ＮＧ）

ｆ3＝５＋１０＋１０＋５＝３０はワイソフ算術で計算　（ＯＫ）

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

【２】正軸体系（１０１１）→ｆ＝（１９２，４８０，３６８，８０）

　８個の頂点に正軸体系（０１１）ができる．それを切稜する．

（０１１）→ｆ＝（２４，３６，１４）

（１１）→ｆ＝（８，８）

ｆ0＝８・２４＝１９２　　（ＯＫ）

ｆ1＝８・３６＋２４・８＝４８０　　（ＯＫ）

ｆ2＝８・１４＋２４・８＋３２・１＝３３６　　（ＮＧ）

ｆ3＝８＋２４＋３２＋１６＝８０はワイソフ算術で計算　（ＯＫ）

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

【３】まとめ

　原因はあとで追求するが，途中に０が入るときもうまくいかないようである．

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