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