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