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