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