意味論を考えずに，機械的に適用できるアルゴリズムを構成したいところである．

　切頂多面体と切頂切稜多面体のアルゴリズムは相いれるかどうかは一時棚上げにして，切頂多面体に対するアルゴリズムを構成してみる．

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

［１］ｎ−１次多面体までの面数公式は既知とする．

［２］切頂多面体であることを判定すると同時に，Ｐmが消失するｍを求める．

［３］シフト多面体の面数をｆk^(n-1)，ｆk^(n-2)，・・・，ｆk^(1)とする．

　　ｆk^(n)＝１，ｋ＞ｎのとき，ｆk^(n)＝０

　　（０）→ｆk^(1)＝１，（１）→ｆk^(1)＝２

［４］ｆk＝Σ(j=0,m)（−１）^jｇjｆk^(n-1ｰj)　　（ｋ＝０＿ｎ−１）

［５］ｆk＝ｆk＋ｇk　　（ｋ＝ｍ＋１＿ｎ−１）

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