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