■基本単体の二面角(その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)
===================================