■基本単体の二面角(その74)
 (その72),無限離散群の基本単体の座標が大体求まったが,どのように接合させればよいのかはまだ決定されていない.
===================================
 B4~について
  c0=1,c1=2 → L=1
  c1=2,c2=2 → L=1/√2
  c2=2,c3=2 → L=1/√2
  c3=2,c4=√2,α=arccos1/√2 → L=1/√2
  (0,0,0,0)
  (1,0,0,0)
  (1,1/√2,0,0)
  (1,1/√2,1/√2,0)
  (1,1/√2,1/√2,1/√2)
  (2,0,0,0)を加えるのだろうか?
===================================
 C4~について
  c0=1,c1=√2,α=arccos1/√2 → L=1
  c1=√2,c2=√2 → L=1
  c2=√2,c3=√2 → L=1
  c3=√2,c4=1,α=arccos1/√2 → L=1
  (0,0,0,0)
  (1,0,0,0)
  (1,1,0,0)
  (1,1,1,0)
  (1,1,1,1)
===================================
 D4~について
  c0=1,c1=2 → L=1
  c1=2,c2=2 → L=1/√2
  c2=2,c3=2 → L=1/√2
  c3=2,c4=1 → L=1
  (0,0,0,0)
  (1,0,0,0)
  (1,1/√2,0,0)
  (1,1/√2,1/√2,0)
  (1,1/√2,1/√2,1)
  (2,0,0,0)と(1,1/√2,1/√2,−1)を加えるのだろうか?
===================================
 F4~について
  c0=1,c1=2 → L=1
  c1=2,c2=3 → L=1/√3
  c2=3,c3=2√2,α=arccos1/√2 → L=1/√6
  c3=2√2,c4=√2 → L=1/√2
  (0,0,0,0)
  (1,0,0,0)
  (1,1/√3,0,0)
  (1,1/√3,1/√6,0)
  (1,1/√3,1/√6,1/√2)
===================================
 G2~について
  c0=1,c1=2 → L=1
  c1=2,c2=√3,α=arccos√3/2 → L=1/√3
  (0,0)
  (1,0)
  (1,1/√3)
 これは正六角形の基本単体である.
===================================
 
