■DE群多面体の面数公式(その527)
131の頂点図形は031=t1α5 → 交点は常に二重節点である?
(15,60,80,45,12)
031のファセットは6個のt1α4と6個のα4であることから
021:|A5|/|A4|=6
030:|A5|/|A4|=6
231の各辺に連結する231の6次元面は6個の221=E6,6個の230=α6に属する.
===================================
022の頂点図形は(−1)22=α2×α2
(3,3,1,0)×(3,3,1,0)よりfベクトルは
(9,18,15,6)
E8の頂点図形は321(E7)
その頂点図形は(E8の辺図形に相当するものであるが)221(E6)
その頂点図形は(E8の面図形に相当するものであるが)121(E5)
その頂点図形は(E8の3図形に相当するものであるが)021(t1α4)
その頂点図形は(E8の4図形に相当するものであるが)(−1)21(α2×α1)
===================================
132の頂点数は576,頂点図形は032=t2α6 → 交点は常に二重節点である?
(35,210,350,245,84,14)
ファセット122は56個=|E7|/|E6|
ファセット131=hγ6は126個=|E7|/|D6|
142の頂点数は17280,頂点図形は042=t2α7 → 交点は常に二重節点である?
(56,420,840,770,392,112,16)
ファセット132は240個=|E8|/|E7|
ファセット141=hγ7は2160個=|E8|/|D7|
===================================