I am trying to use assumptions to simplify an integral, but I can't seem to get the assumptions to apply themselves. Here is the code I am using:

Note the expressions in the assumption can be found in the answer.
Am I doing something wrong? Is there a proper way of using assumptions? I read through the Mathematica tutorial for assumptions but that seems to have confused me more.
a->bbefore. Normally one writesAssumptions->Element[a, Integers]i.e. things that evaluates to boolean (true/false) on the symbols or expression given inside the assumption. I do not understand whatAssumptions->{a->b,c->0}is even suppose to mean? – Nasser Dec 4 '12 at 4:44Rules – Sjoerd C. de Vries Dec 4 '12 at 8:00