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

 231の126頂点は

  (2,0,0,0,0,0,0,−2),56置換

  (1,1,1,1,−1,−1,−1,−1),70置換

 ファセット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に属する.

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

131の頂点図形は031=t1α5

(15,60,80,45,12)

031のファセットは6個のt1α4と6個のα4であることから

231の各辺に連結する231の6次元面は6個の221=E6,6個の230=α6に属する.

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