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

 基本単体の計算には座標が必要になる.(その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巡回置換

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