/* Defining polynomial */ x^2 - x + 10 /* GCD of coefficients */ 2 /* 24 * |disc|^(3/2) /(8*pi^2)* zeta_F(2) */ 165.575703699268335816789176311 /* Belt */ [ <48, 1/4*(w + 2)>, <14, 1/10*(3*w + 7)>, <8, 1/8*(w + 10)>, <4, 1/16*(3*w - 9)>, <8, 1/12*(w - 2)>, <8, 1/8*(w - 3)>, <4, 1/5*(w - 1)>, <14, 1/16*(3*w + 7)>, <12, 1/3*(w + 4)>, <12, 1/5*w>, <8, 1/10*w>, <2, 1/9*(w + 9)>, <12, 1/10*(w + 10)>, <8, 1/16*(w + 2)>, <-4, 1/16*(-3*w - 6)>, <-4, -1/5*w>, <-12, 1/3*(-w + 5)>, <-12, 1/5*(-w + 1)>, <-2, 1/9*(-w + 10)>, <-12, 1/10*(-w + 11)> ]