[math-fun] Theta polynomials