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