/* Defining polynomial */ x^2 - x + 20 /* GCD of coefficients */ 2 /* 24 * |disc|^(3/2) /(8*pi^2)* zeta_F(2) */ 435.391531518559536722332957733 /* Belt */ [ <30, 1/10*(w - 1)>, <30, 1/10*(w + 10)>, <24, 1/8*(w + 4)>, <6, 1/25*(w + 5)>, <30, 1/10*(w + 9)>, <6, 1/11*(4*w + 15)>, <12, 1/22*(3*w + 3)>, <24, 1/26*(3*w + 6)>, <24, 1/26*(3*w + 17)>, <30, 1/11*(w + 9)>, <44, 1/26*(5*w + 11)>, <6, 1/13*(4*w - 12)>, <12, 1/32*(w - 4)>, <24, 1/40*(3*w + 12)>, <12, 1/143*(6*w + 116)>, <24, 1/13*(2*w + 7)>, <24, 1/40*(3*w + 25)>, <24, 1/13*(2*w + 4)>, <12, 1/143*(10*w + 98)>, <12, 1/3*(5*w - 17)>, <12, 1/32*(5*w + 12)>, <12, 1/22*(25*w + 25)>, <6, 1/25*(3*w + 16)>, <2, 1/676*(5*w + 11)>, <-24, 1/8*(-w + 5)>, <-6, 1/25*(-w + 6)>, <-6, 1/11*(-4*w + 19)>, <-6, 1/13*(-4*w - 8)>, <-12, 1/32*(-w - 3)>, <-12, 1/143*(-6*w + 122)>, <-12, 1/143*(-10*w + 108)>, <-12, 1/3*(-5*w - 12)>, <-12, 1/32*(-5*w + 17)>, <-12, 1/22*(-25*w + 50)>, <-6, 1/25*(-3*w + 19)>, <-2, 1/676*(-5*w + 16)> ]