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