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