Ｃnより浅切稜の場合も意味論的解釈を行ってみたい．

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

【１】正単体版

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

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

　　（ｎ＋１）（ｎ，１）＝ｎ（ｎ＋１）　　（ＯＫ）

ｋ次元面数は，

　　（ｎ＋１，ｋ＋１）＋（ｎ＋１）（ｎ，ｋ＋１），ｋ＝１〜ｎ−１

辺数は

　　（ｎ＋１，２）＋（ｎ＋１）（ｎ，２）

＝ｎ（ｎ＋１）／２＋（ｎ＋１）ｎ（ｎ−１）／２

＝ｎ^2（ｎ＋１）／２　　（ＯＫ）

ｎ−１次元面数は

　　（ｎ＋１，ｎ）＋ｎ＋１＝２（ｎ＋１）　　（Ｏｋ）

　　ｆ0＝ｎ（ｎ＋１）

　　ｍ＝ｎ，ｆ1＝ｍ／２・ｆ0＝ｎ／２・ｆ0

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

　ｋ次元面数は，

　　（ｎ＋１，ｋ＋１）＋（ｎ＋１）（ｎ，ｋ＋１），ｋ＝２〜ｎ−２

｛３，３，３｝（１１００）→ｆ2＝３０（ＯＫ）

｛３，３，３，３｝（１１０００）→ｆ2＝８０（ＯＫ）

｛３，３，３，３，３｝（１１００００）→ｆ2＝１７５（ＯＫ）

｛３，３，３，３｝（１１０００）→ｆ3＝４５（ＯＫ）

｛３，３，３，３，３｝（１１００００）→ｆ3＝１４０（ＯＫ）

｛３，３，３，３，３｝（１１００００）→ｆ4＝６３（ＯＫ）

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

【２】正軸体版

　βnの頂点が消えて，βn-1に置き換わると考えると，２ｎ個の頂点が消える．

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

　　２ｎ・２（ｎ−１，１）＝４ｎ（ｎ−１）　　（ＯＫ）

ｋ次元面数は，

　　２^k+1（ｎ，ｋ＋１）＋２ｎ・２^k+1（ｎ−１，ｋ＋１），ｋ＝１〜ｎ−１

辺数は

　　４（ｎ，２）＋２ｎ・４（ｎ−１，２）

＝２ｎ（ｎ−１）＋４ｎ（ｎ−１）（ｎ−２）

＝２ｎ（ｎ−１（２ｎ−３）　　（ＯＫ）

ｎ−１次元面数は

　　２^n＋２ｎ　　（Ｏｋ）

　　ｆ0＝４ｎ（ｎ−１）

　　ｍ＝２ｎ−３，ｆ1＝ｍ／２・ｆ0＝（２ｎ−３）／２・ｆ0

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

　　２^k+1（ｎ，ｋ＋１）＋２ｎ・２^k+1（ｎ−１，ｋ＋１），ｋ＝２〜ｎ−２

｛３，３，４｝（１１００）→ｆ2＝９６（ＯＫ）

｛３，３，３，４｝（１１０００）→ｆ2＝４００（ＯＫ）

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

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

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

｛３，３，３，３，４｝（１１００００）→ｆ4＝５７６（ＯＫ）

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