 The matrix inequality formula_239 denotes that formula_240 is positive definite (semidefinite).formula_241 denotes the trace of a symmetric matrix formula_242.formula_243 is a formula_244-variate trigonometric polynomial of degree formula_245, with real symmetric coefficients formula_246 = formula_247 
formula_248

The above summation is over all integer vectors formula_249 that satisfy formula_250, where the inequalities between the vectors are interpreted element-wise.