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