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