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