■DE群多面体の面数公式(その588)
[2]231
231は126頂点
ファセット221=E6は56個=|E7|/|E6|
ファセット230=α6は576個=|E7|/|A6|
231の頂点図形は131=hγ6:
(32,240,640,640,252,44)
=(32,240,640,640,192+60,32α5+12hγ5)
したがって,231の各頂点に連結する辺は32本
辺数は126・(32/2)=2016
231の各頂点に連結する面は240
面数は126・(240/3)=10080
231の各頂点に連結する231の6次元面は,131のファセットが32+12であることから12個の221=E6,32個の230=α6に属する.
===================================
12個の221=E6,32個の230=α6から生じる5次元面は
220=α5,211=β5,220=α5である.したがって,
231の各頂点に連結する231の5次元面は,131のファセット(−1)が192+60であることから60個の211=β5,192個の130=α5に属する.
126・(60/10+192/6)=756+4032
220=α5,211=β5,220=α5から生じる4次元面はα4.したがって,
231の各頂点に連結する4次元面は640
面数は126・(640/5)=16128
===================================
前者より各頂点に連結する231の4次元面α4は16・60=960個
後者より各頂点に連結する321の4次元面α4は5・192=960個
640を単純に320+320に分配してよいだろうか?
===================================