無限鏡映群についても計算してみたい．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

【１】ＢＣ2~型ルート格子

　　｜ＢＣ2~｜＝｜２　√２　０｜

　　　　　　　　｜√２　２　√２｜＝８−８＝０

　　　　　　　　｜０　√２　２｜

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

【２】Ｄ4~型ルート格子

　　　　　　　｜２　１　０　０　０｜　｜　　　　　　　　０｜

　　｜Ｄ4~｜＝｜１　２　１　１　１｜＝｜　　Ｄ4 　　　　１｜

　　　　　　　｜０　１　２　０　０｜　｜　　　　　　　　０｜

　　　　　　　｜０　１　０　２　０｜　｜　　　　　　　　０｜

　　　　　　　｜０　１　０　０　２｜　｜０　１　０　０　２｜

＝２｜Ｄ4｜−｜２　０　０　０｜＝２｜Ｄ4 ｜−２｜１　１　１｜

　　　　　　 ｜１　１　１　１｜　　　　　　　　｜２　０　０｜

　　　　　　 ｜０　２　０　０｜　　　　　　　　｜０　２　０｜

　　　　　　 ｜０　０　２　０｜

−８−８＝０

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝