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