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