■DE群多面体の面数公式(その128)
[1]122の72頂点
(±2,±2,0,0,0;0)40置換
(±1,±1,±1,±1,±1;±√3)32置換(負号は奇数)
[2]231の126頂点(8次元空間)
(2,0,0,0,0,0,0,−2)56置換
(1,1,1,1,−1,−1,−1,−1)70置換
[3]231の126頂点(7次元空間)
(±2,0,0,0,0,0,0)14巡回置換
(±1,±1,±1,0,0,±1,0)112巡回置換
[4]132の576頂点(7次元空間)
(±1,±1,±1,±1,±1,±1,±1,)128
(±1,±1,±2,±1,0,0,0)
(±1,±1,0,±1,±2,0,0)
(±1,±1,0,±1,0,±2,0)
(±1,±1,0,±1,0,0,±2)448巡回置換
===================================