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