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