■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|

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