Currently Sympy (and GiNaC as well) are not handle to simplify sums of roots of unity to one, which makes arithmetic progressions hard to handle.
Currently Sympy (and GiNaC as well) are not handle to simplify sums of roots of unity to one, which makes arithmetic progressions hard to handle.