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