/* Defining polynomial */ x^2 + 6 /* Minimal vectors */ [ , <1, -1>, <1, 0>, <-w + 1, w + 1>, , , <-w + 2, w>, <-w + 2, w + 1>, <4, w - 2>, , <-w + 1, w + 2>, <2, w - 1>, <3, w - 2>, <3, w - 1>, <0, 1> ] /* Voronoi top cells */ [ { 1, 2, 3, 4, 5, 6, 7, 8, 9 }, { 1, 2, 3, 4, 5, 8, 10, 11, 12, 13, 14, 15 } ] /* Faces of top cells */ [ [ { 2, 3, 6, 7 }, { 1, 3, 6 }, { 1, 2, 3, 4, 5, 8 }, { 4, 5, 7, 9 }, { 2, 4, 7 }, { 1, 6, 8, 9 }, { 5, 8, 9 }, { 6, 7, 9 } ], [ { 1, 2, 3, 4, 5, 8 }, { 1, 3, 10, 12, 14, 15 }, { 2, 4, 11, 12, 13, 15 }, { 5, 8, 10, 11, 13, 14 }, { 10, 11, 12 }, { 4, 5, 13 }, { 1, 8, 14 }, { 2, 3, 15 } ] ] /* Order of PGL_2(O) stabilizers of Voronoi top cells */ [ 3, 12 ] /* GAP id of GL_2(O) stabilizers of Voronoi top cells */ [ <6, 2>, <24, 3> ]