■基本単体の二面角(その40)
SPLAGのなかで用いられている座標系について調べてみたい.以下は格子(無限離散群)の場合であると思われる.
===================================
(p458)An格子
x0=x1,x1=x2,x2=x3,・・・,xn-1=xn,
−x0+xn=1
===================================
(p459)Dn格子
x1=x2,x2=x3,・・・,xn-1=xn,
x1+x2=1
xn-1+xn=1
===================================
(p460)E8格子
x1=x2,x2=x3,・・・,x6=x7,
x7+x8=1
x1+x8=x2+x3+x4+x5+x6+x7
===================================
(p460)E7格子
x1=x2,x2=x3,・・・,x5=x6,
x7+x8=1,x7−x8=1
x1+x8=x2+x3+x4+x5+x6+x7
===================================
(p460)E6格子
x1=x2,x2=x3,・・・,x4=x5,
x1+x2=0
x1+x8=x2+x3+x4+x5+x6+x7
1/2)(x1+x2+・・・+x5−x6−x7+x8)=1
===================================