/* Defining polynomial */ x^2 - x + 39 /* Minimal vectors */ [ , <2*w + 3, -2*w + 9>, <7, -w - 4>, , <-2*w + 11, -18>, <14, -2*w - 9>, <-w + 1, w - 7>, <1, -1>, <6, -w - 6>, <6, -w - 5>, <0, 1>, , , <-w + 6, -11>, <6, -w - 4>, <-7*w + 7, 3*w - 41>, <11*w + 27, -10*w + 48>, <-4*w + 38, -3*w - 38>, <-12*w + 49, -86>, <-w + 76, -10*w - 38>, <3*w + 31, -6*w + 3>, <-9*w + 80, -6*w - 83>, , <6, -w - 3>, <-3*w + 1, 2*w - 18>, <-w + 5, -9>, <-3*w + 8, w - 22>, <2*w + 17, -4*w + 2>, , <-w + 5, -8>, <8, -w - 4>, <3*w + 6, -3*w + 14>, , <3*w + 13, -4*w + 10>, <-3*w + 14, -25>, <-2*w + 23, -2*w - 24>, <-w + 4, -8>, <-w + 18, -2*w - 16>, , <20, -3*w - 11>, <-2*w + 2, w - 12>, <-w + 4, -7>, <7, -w - 3>, <2*w + 5, -2*w + 9>, <-w + 11, -w - 11>, <14, -2*w - 7>, <4*w + 34, -7*w + 7>, <3*w + 38, -7*w>, <-3*w + 41, -4*w - 34>, <7*w, -4*w + 38>, <1, 0> ] /* Voronoi top cells */ [ { 1, 2, 3, 4, 5, 6 }, { 7, 8, 9, 10, 11, 12 }, { 10, 12, 13, 14, 15 }, { 1, 2, 3, 6, 13 }, { 16, 17, 18, 19, 20 }, { 18, 19, 21, 22 }, { 11, 15, 23, 24 }, { 8, 10, 11, 12, 13, 15 }, { 3, 25, 26, 27, 28 }, { 1, 8, 29, 30, 31 }, { 1, 3, 8, 13 }, { 3, 32, 33, 34, 35, 36 }, { 16, 18, 19, 21 }, { 11, 23, 24, 37 }, { 11, 15, 23, 26 }, { 8, 11, 13, 15, 26 }, { 3, 8, 13, 26 }, { 3, 23, 25, 26, 28, 38 }, { 8, 30, 31, 39 }, { 1, 3, 8, 30 }, { 3, 23, 32, 33, 35, 40 }, { 3, 30, 39, 41 }, { 16, 18, 21, 42 }, { 11, 23, 37, 43 }, { 3, 8, 11, 23, 26 }, { 3, 8, 30, 39 }, { 3, 23, 33, 39, 41, 43, 44, 45, 46 }, { 16, 18, 39, 42, 43, 47, 48, 49, 50 }, { 3, 8, 11, 23, 39, 43 }, { 8, 11, 39, 42, 43, 51 } ] /* Faces of top cells */ [ [ { 1, 3, 4 }, { 1, 2, 4, 5 }, { 1, 2, 3, 6 }, { 3, 4, 5, 6 }, { 2, 5, 6 } ], [ { 7, 9, 10, 12 }, { 7, 8, 9, 11 }, { 8, 10, 11, 12 }, { 9, 10, 11 }, { 7, 8, 12 } ], [ { 10, 14, 15 }, { 10, 12, 13, 15 }, { 13, 14, 15 }, { 10, 12, 14 }, { 12, 13, 14 } ], [ { 1, 2, 3, 6 }, { 1, 3, 13 }, { 1, 2, 13 }, { 3, 6, 13 }, { 2, 6, 13 } ], [ { 17, 18, 19 }, { 16, 18, 19 }, { 16, 17, 18, 20 }, { 17, 19, 20 }, { 16, 19, 20 } ], [ { 18, 19, 22 }, { 19, 21, 22 }, { 18, 21, 22 }, { 18, 19, 21 } ], [ { 11, 15, 24 }, { 11, 23, 24 }, { 11, 15, 23 }, { 15, 23, 24 } ], [ { 10, 12, 13, 15 }, { 8, 11, 13, 15 }, { 8, 10, 11, 12 }, { 10, 11, 15 }, { 8, 12, 13 } ], [ { 3, 26, 27 }, { 3, 25, 27 }, { 3, 25, 26, 28 }, { 25, 27, 28 }, { 26, 27, 28 } ], [ { 1, 29, 30, 31 }, { 1, 8, 30 }, { 1, 8, 29 }, { 8, 30, 31 }, { 8, 29, 31 } ], [ { 1, 3, 13 }, { 1, 3, 8 }, { 3, 8, 13 }, { 1, 8, 13 } ], [ { 3, 33, 34, 36 }, { 3, 32, 34 }, { 3, 32, 33, 35 }, { 32, 34, 35, 36 }, { 33, 35, 36 } ], [ { 18, 19, 21 }, { 16, 18, 19 }, { 16, 19, 21 }, { 16, 18, 21 } ], [ { 11, 24, 37 }, { 11, 23, 24 }, { 11, 23, 37 }, { 23, 24, 37 } ], [ { 11, 15, 26 }, { 11, 15, 23 }, { 11, 23, 26 }, { 15, 23, 26 } ], [ { 13, 15, 26 }, { 8, 11, 13, 15 }, { 8, 13, 26 }, { 8, 11, 26 }, { 11, 15, 26 } ], [ { 3, 13, 26 }, { 3, 8, 26 }, { 3, 8, 13 }, { 8, 13, 26 } ], [ { 3, 23, 26 }, { 3, 25, 26, 28 }, { 3, 23, 25, 38 }, { 23, 26, 28, 38 }, { 25, 28, 38 } ], [ { 30, 31, 39 }, { 8, 30, 31 }, { 8, 31, 39 }, { 8, 30, 39 } ], [ { 1, 3, 30 }, { 3, 8, 30 }, { 1, 3, 8 }, { 1, 8, 30 } ], [ { 3, 32, 33, 35 }, { 3, 23, 33 }, { 3, 23, 32, 40 }, { 23, 33, 35, 40 }, { 32, 35, 40 } ], [ { 3, 30, 39 }, { 3, 30, 41 }, { 3, 39, 41 }, { 30, 39, 41 } ], [ { 16, 18, 21 }, { 18, 21, 42 }, { 16, 18, 42 }, { 16, 21, 42 } ], [ { 11, 37, 43 }, { 11, 23, 43 }, { 11, 23, 37 }, { 23, 37, 43 } ], [ { 3, 23, 26 }, { 3, 8, 26 }, { 3, 8, 11, 23 }, { 8, 11, 26 }, { 11, 23, 26 } ], [ { 3, 30, 39 }, { 3, 8, 30 }, { 3, 8, 39 }, { 8, 30, 39 } ], [ { 39, 41, 43, 44, 45, 46 }, { 3, 39, 41 }, { 3, 23, 39, 43 }, { 3, 33, 41, 46 }, { 3, 23, 33 }, { 23, 33, 44, 45 }, { 23, 43, 45 }, { 33, 44, 46 } ], [ { 16, 42, 43, 48 }, { 39, 42, 43 }, { 18, 39, 42, 47 }, { 16, 18, 47, 48, 49, 50 }, { 16, 18, 42 }, { 43, 48, 49 }, { 39, 43, 49, 50 }, { 39, 47, 50 } ], [ { 3, 23, 39, 43 }, { 3, 8, 39 }, { 3, 8, 11, 23 }, { 8, 11, 39, 43 }, { 11, 23, 43 } ], [ { 8, 11, 39, 43 }, { 8, 39, 42, 51 }, { 11, 42, 43, 51 }, { 39, 42, 43 }, { 8, 11, 51 } ] ] /* Order of PGL_2(O) stabilizers of Voronoi top cells */ [ 2, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 1, 1, 1, 1, 2, 1, 1, 3, 1, 1, 1, 1, 1, 3, 3, 1, 3 ] /* GAP id of GL_2(O) stabilizers of Voronoi top cells */ [ <4, 1>, <4, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <4, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <4, 1>, <2, 1>, <2, 1>, <6, 2>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <2, 1>, <6, 2>, <6, 2>, <2, 1>, <6, 2> ]