/* Defining polynomial */ x^2 - x + 3 /* GCD of coefficients */ 1 /* 24 * |disc|^(3/2) /(8*pi^2)* zeta_F(2) */ 16.5912996948317504840598401340 /* Belt */ [ <6, 1/3*(w + 2)>, <1, 1/15*(2*w + 1)>, <1, 1/6*(w + 2)>, <1, 1/5*(w + 8)>, <1, 1/15*(2*w + 6)>, <2, 1/2*(w + 1)>, <1, 1/3*(w + 3)>, <2, 1/2*w>, <1, 1/9*(2*w + 4)>, <-1, 1/15*(-2*w + 3)>, <-1, 1/6*(-w + 3)>, <-1, 1/5*(-w + 9)>, <-1, 1/15*(-2*w + 8)>, <-1, 1/3*(-w + 4)>, <-1, 1/9*(-2*w + 6)> ]