正単体系でも（１）とするか（２）とするかの切り分けの問題を生ずるかどうかを確認しておきたい．

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

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

　頂点に（０１０），辺に（１０）柱ができている（ＯＫ）．

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

（０１）→ｆ＝（３，３）

ｆ0＝５・６＝３０　　（ＯＫ）

ｆ1＝５・１２＋１０・３＝９０　　（ＯＫ）

ｆ2＝５・８＋１０・３＋１０・１＝８０　　（ＯＫ）

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

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

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

　頂点に（１０１）ができているが，辺は消失していて，三角形面を重複して数え上げていることになる．

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

（０１）→ｆ＝（３，３）

（２）ならば

ｆ0＝５・１２−１０・３＝３０　

ｆ1＝５・２４−１０・３＝９０　　（ＯＫ）

ｆ2＝５・１４−１０・１＋１０・２＝１２０　　（ＯＫ）

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

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

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

　頂点に（１１０），辺に（１０）柱ができている（ＯＫ）．

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

（１０）→ｆ＝（３，３）

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

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

ｆ2＝５・８＋１０・３＋１０・１＝８０　　（ＯＫ）

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

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

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

　頂点に（１０１），辺に（０１）柱ができている（ＯＫ）．

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

（０１）→ｆ＝（３，３）

（２）ならば

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

ｆ1＝５・２４＋１０・３＝１５０　　（ＯＫ）

ｆ2＝５・１４＋１０・３＋１０・２＝１２０　　（ＯＫ）

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

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

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

　頂点に（０１１），辺に（１１）柱ができている（ＯＫ）．

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

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

（２）ならば

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

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

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

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

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

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

　頂点に（１１１）ができているが，辺は消失していて，六角形面を重複して数え上げていることになる．

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

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

（２）ならば

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

ｆ1＝５・３６−１０・６＝１２０　　（Ｏ）

ｆ2＝５・１４−１０・１＋１０・２＝８０　　（ＯＫ）

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

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