weyl sum