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