切頂切稜多面体に対するアルゴリズムを構成してみる．

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

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

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

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

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

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

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

　とくに，ｍ＝０のとき，ｆk＝ｇ0ｆk^(n-1)

　ここまでは切頂多面体と同様である．

［５］ｆk＝ｆk＋Σ(i=m+1-k)ｇiｆ(kｰi)^(n-1ｰi)　　（ｋ＝ｍ＋１＿ｎ−１）

　とくに，ｍ＝０のとき，

　ｆk＝ｆk＋Σ(i=1-k)ｇiｆ(kｰi)^(n-1ｰi)　　（ｋ＝１＿ｎ−１）

＝Σ(i=0-k)ｇiｆ(kｰi)^(n-1ｰi)　　（ｋ＝０＿ｎ−１）

　ここだけが違っているが，同じ公式の形に書くことができるかどうかについてはひとまず後回しにする．

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