格子の頂点を結ぶと、同じ対称性をもつ多面体を構成することができる。また、基本単体は

格子点からdeep hole, shallow holeまでの距離を表している。すなわち、covering radius.

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

【２】３31

　Ｅ7格子の場合である（内接球をもつと仮定している）

　　Ｐ1（１，０，０，０，０，０，０）

　　Ｐ7（１，１／√３，１／√６，１／√６，１／√３，１，０）

　　Ｐ7（１，１／√３，１／√６，１／√６，０，０，１／２）

が正しいとすると・・・

　Ｒ^2＝１＋１／３＋１／６＋１／６＋１／３＋１

＝（６＋２＋１＋１＋２＋６）／６＝３

　ρ^2＝１

　Ｅ7では（Ｒ／ρ）^2＝３なのでＯＫ．

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