■基本単体の二面角(その209)

 これまでの結果をまとめておきたい.無限鏡映群の基本単体は・・・

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

【1】E8格子の場合

  P1(1,0,0,0,0,0,0,0)

  P8(1,1/√3,1/√6,1/√10,1/√15,1/√12,1/2,0)

  P8(1,1/√3,1/√6,1/√10,1/√15,0,0,1/3)

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

【2】E7格子の場合

  P1(1,0,0,0,0,0,0)

  P7(1,1/√3,1/√6,1/√6,1/√3,1,0)

  P7(1,1/√3,1/√6,1/√6,0,0,1/2)

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

【3】E6格子の場合

  P1(1,0,0,0,0,0,0)

  P6(1,1/√3,1/√3,1,0,0)

  P6(1,1/√3,0,0,1/√3,1)

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