「SPLAG」第21章より,E7~を計算する.
v1(0,0,0,0,0,0,0,0)
v2(0,0,0,0,0,0,1/2,-1/2)
v3(1/6,-1/6,-1/6,,-1/6,-1/6,-1/6,1/2,-1/2)
v4(0,0,-1/4,-1/4,-1/4,-1/4,1/2,-1/2)
v5(0,0,0,-1/3,-1/3,-1/3,1/2,-1/2)
v6(0,0,0,0,-1/2,-1/2,1/2,-1/2)
v7(0,0,0,0,0,-1,1/2,-1/2)
v8(-1/4,-1/4,-1/4,-1/4,-1/4,-1/4,1/2,-1/2)
v1v2^2=1/2
v2v3^2=6(1/6)^2=1/6
v3v4^2=2(1/6)^2+4(1/12)^2=1/18+4/144=1/12
v4v5^2=(1/4)^2+3(1/12)^2=1/16+3/144=1/12
v5v6^2=(1/3)^2+2(1/6)^2=1/9+1/18=1/6
v6v7^2=2(1/2)^2=1/2
v4v8^2=2(1/4)^2=1/8
(その78)と一致した.SPLAGでは8次元空間中の座標であるが,(その78)では7次元空間中の座標として与えている.
===================================