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

 E7~について

  c0=1,c1=2 → L=1

  c1=2,c2=3 → L=1/√3

  c2=3,c3=4 → L=1/√6

  (ここで分岐)

  c3=4,c4=3 → L=1/√6

  c4=3,c5=2 → L=1/√3

  c5=2,c6=1 → L=1/√3

  c6=2,c7=1 → L=1

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

  (0,0,0,0,0,0,0)

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

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

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

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

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

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

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

となるのだろうか?

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