We reduce the computation of Poisson traces on quotients of symplectic vector
spaces by finite subgroups of symplectic automorphisms to a finite one, by
proving several results which bound the degrees of such traces as well as the
dimension in each degree. This applies more generally to traces on all
polynomial functions which are invariant under invariant Hamiltonian flow.