remove unnecessary Q.complex(DFT(n)) assumptions

Assumptions knows that Q.complex_elements(DFT(n))
Merge branch 'master' of github.com:mrocklin/computations