■置換多面体の空間充填性(その98)
空間充填2^n+2n細胞体に関する,これまでの結果を公式化しておきたい.
===================================
[1]頂点に集まるn−3次元面数
3進フラッグ{3,・・・,4}():x=(tp+1,3)個(頂点数a)
3退フラッグ{3,・・・,3}():y=2^n-3-fp(n−1−fp)(n−2−fp)/2+tp(tp+1)2^n-1-fp個(頂点数b)
fn-3=(x/a+y/b)f0
{3,3,3,4}(01100):f2=(9/3)・240=720
{3,3,3,3,4}(001000):f3=(54/4)・160=2160
===================================