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