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