H. Weyl proved in Weyl (Eins Math Ann 77(3):313-352, 1916) that integer evaluations of polynomials are equidistributed mod 1 whenever at least one of the non-free coefficients (namely a coefficient of a monomial of degree at least 1) is irrational. We use Weyl... ...
