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