【１】Ｅ7無限鏡映群の基本単体の頂点座標

　　（０，０，０，０，０，０，０，０）

　　（０，０，０，０，０，０，１／２，−１／２）

　　（１／６，−１／６，−１／６，−１／６，−１／６，−１／６，１／２，−１／２）

　　（０，０，−１／４，−１／４，−１／４，−１／４，１／２，−１／２）

　　（０，０，０，−１／３，−１／３，−１／３，１／２，−１／２）

　　（０，０，０，０，−１／２，−１／２，１／２，−１／２）

　　（０，０，０，０，０，−１，１／２，−１／２）

　　（−１／４，−１／４，−１／４，−１／４，−１／４，−１／４，１／２，−１／２）

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

【２】Ｅ7のボロノイ細胞

［１］ｘ7−ｘ8＝１

［２］ｘ1＋ｘ8＝ｘ2＋ｘ3＋・・・＋ｘ7

［３］ｘ1＝ｘ2

［４］ｘ2＝ｘ3

［５］ｘ3＝ｘ4

［６］ｘ4＝ｘ5

［７］ｘ5＝ｘ6

［８］ｘ1＝−ｘ2

［２］を外すと

　ｘ1＝ｘ2＝ｘ3＝ｘ4＝ｘ5＝ｘ6＝０

　ｘ7＝１／２，ｘ8＝−１／２

［３］を外すと

　ｘ1＝１／６

　ｘ2＝ｘ3＝ｘ4＝ｘ5＝ｘ6＝−１／６

　ｘ7＝１／２，ｘ8＝−１／２

［４］を外すと

　ｘ1＝ｘ2＝０

　ｘ3＝ｘ4＝ｘ5＝ｘ6＝−１／４

　ｘ7＝１／２，ｘ8＝−１／２

［５］を外すと

　ｘ1＝ｘ2＝ｘ3＝０

　ｘ4＝ｘ5＝ｘ6＝−１／３

　ｘ7＝１／２，ｘ8＝−１／２

［６］を外すと

　ｘ1＝ｘ2＝ｘ3＝ｘ4＝０

　ｘ5＝ｘ6＝−１／２

　ｘ7＝１／２，ｘ8＝−１／２

［７］を外すと

　ｘ1＝ｘ2＝ｘ3＝ｘ4＝ｘ5＝０

　ｘ6＝−１

　ｘ7＝１／２，ｘ8＝−１／２

［８］を外すと

　ｘ1＝ｘ2＝ｘ3＝ｘ4＝ｘ5＝ｘ6＝１／４

　ｘ7＝１／２，ｘ8＝−１／２

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

【３】Ｅ7~について（３31）

　　（０，０，０，０，０，０，０）

　　（１，０，０，０，０，０，０）

　　（１，１／√３，０，０，０，０，０）

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

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

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

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

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

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