■DE群多面体の面数公式(その587)
[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に分配してよいだろうか?
===================================