■DE群多面体の面数公式(その138)

[1]321

 N0=x/72・6!=56,x=576・7!

 N1=x/2・2^4・5!=756

 N2=x/6・5!=4032(α2)

 N3=x/24・6・2=10080(α3)

 N4=x/5!・2=12096(α4)

 N5=x/6!・2+x/6!=2016(α5)+4032(α5)

 N6=x/7!+x/2^5・6!=576(α6)+126(β6)

 N0+N2+N4+N6=N1+N3+N5+2=16886

 321のファセットは

311=|E7|/|D6|=126

320=|E7|/|A6|=576

 321の頂点図形は221=E6

(27,216,720,1080,216(α4)+432(α4),72(α5)+27(β5))

321の各頂点に連結する辺は27本

したがって,321の辺数は56・(27/2)=756 (OK)

321の各頂点に連結する面は216

したがって,221の面数は56・(216/3)=4032 (OK)

321の各頂点に連結する3次元面は720

したがって,321の面数は56・(720/4)=10080 (OK)

321の各頂点に連結する4次元面は1080

したがって,321の面数は56・(1080/5)=12096  (OK)

321の各頂点に連結する5次元面は648

したがって,321の面数は56・(648/6)=6048  (OK)

321の各頂点に連結する321の6次元面は27個の311=β6と72個の320=α6

56・(27/12+72/7)=126+576  (OK)

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

321の各頂点に連結する5次元面は648

したがって,321の面数は56・(216/6+432/6)=2016+4032  (OK)

前者より各頂点に連結する321の4次元面α4は5・216個

後者より各頂点に連結する321の4次元面α4は5・432個

1080を単純に360+720に分配してよいだろうか?

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