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