（その５２）ではｆ0の問題を生じた．この問題は（００１０００）だけでなく，（０１００００）でも起こっていたものと思われる．まず，そのことを確認してみよう．

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

【１】正単体系

［１］（０１００）の場合

　αnの頂点がαn-1に置き換わると考えると，（ｎ＋１）個の頂点と（ｎ＋１，２）個の辺が消えて，αn-1個の頂点と辺になる．

　すると，最終的な頂点数と辺数と面数は

　　（ｎ＋１）αn-1（０）

　　（ｎ＋１）αn-1（１）

２次元面以上は残存するから，

　　（ｎ＋１）αn-1（ｋ）＋（ｎ＋１，ｋ＋１）

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

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

ｆ0＝５・４＝２０　　（ＮＧ）

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

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

ｆ3＝５・１＋５＝１０　　（ＯＫ）

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

｛３，３，３，３｝（０１０００）→ｆ＝（１５，６０，８０，４５，１２）

ｆ0＝６・５＝３０　　（ＮＧ）

ｆ1＝６・１０＝６０　　（ＯＫ）

ｆ2＝６・１０＋２０＝８０　　（ＯＫ）

ｆ3＝６・５＋１５＝４５　　（ＯＫ）

ｆ4＝６・１＋６＝１２　　（ＯＫ）

｛３，３，３，３）（１００００）→ｆ＝（６，１５，２０，１５，６）

｛３，３，３，３，３｝（０１００００）→ｆ＝（２１，１０５，１７５，１４０，６３，１４）

ｆ0＝７・６＝４２　（ＮＧ）

ｆ1＝７・１５＝１０５　　（ＯＫ）

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

ｆ3＝７・１５＋３５＝１４０　　（ＯＫ）

ｆ4＝７・６＋２１＝６３　　（ＯＫ）

ｆ5＝７・１＋７＝１４　　（ＯＫ）

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

【２】正軸体系

［１］（０１００）の場合

　βnの頂点がβn-1に置き換わると考えると，２ｎ個の頂点と２ｎ（ｎ−１）個の辺が消えて，βn-1個の頂点と辺と面になる．

　すると，最終的な頂点数と辺数は

　　２ｎβn-1（０）

　　２ｎβn-1（１）

２次元面以上は残存するから，

　　２ｎβn-1（ｋ）＋２^k+1（ｎ，ｋ＋１）

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

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

ｆ0＝８・６＝４８　　（ＮＧ）

ｆ1＝８・１２＝９６　　（ＯＫ）

ｆ2＝８・８＋３２＝９６　　（ＯＫ）

ｆ3＝８・１＋１６＝２４　　（ＯＫ）

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

｛３，３，３，４｝（０１０００）→ｆ＝（４０，２４０，４００，２４０，４２）

ｆ0＝１０・８＝８０　　（ＮＧ）

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

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

ｆ3＝１０・１６＋８０＝２８０　　（ＯＫ）

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

｛３，３，３，４）（１００００）→ｆ＝（１０，４０，８０，８０，３２）

｛３，３，３，３，４｝（０１００００）→ｆ＝（６０，４８０，１１２０，１２００，５７６，７６）

ｆ0＝１２・１０＝１２０　　（ＮＧ）

ｆ1＝１２・４０＝４８０　　（ＯＫ）

ｆ2＝１２・８０＋１６０＝１１２０　　（ＯＫ）

ｆ3＝１２・８０＋２４０＝１２００　　（ＯＫ）

ｆ4＝１２・３２＋１９２＝５７６　　（ＯＫ）

ｆ5＝１２・１＋６４＝７６　　（ＯＫ）

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

【３】まとめ

　この問題はｆ0のマイナーチェンジだけでも対処できるが，ｆ2以上に拡大することはないと思われるので，ｆ0はワイソフ算術で補正することにしたい．

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