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