■置換多面体の空間充填性(その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)
===================================