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