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