■置換多面体の空間充填性(その96)

 (その92)のやり直しである.

===================================

 以上をまとめると

[1]は

{3,3,4}(1,0,0,0)頂点数8・・・(tp+1,3)=1個

{3,3,3}(0,0,1,1)頂点数20・・・2^n-3-fp(n−2−fp)=4個

→2^n-3-fp(n−1−fp)(n−2−fp)/2=6個

[2]は

{3,3,3}(1,1,0,0)頂点数20・・・(tp,1)(tp+1,1)2^n-1-fp=48個

  f4=(1/8+6/20+48/20)・f0

  f4=(1/8+54/20)

  f0=2240→f4=280+6048=6328  (OK)

===================================