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:

my code

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.

  • 2
    $\begingroup$ Could you please include yor code in the answer - with all preliminary function and variable defenitions. $\endgroup$ Commented Dec 4, 2012 at 4:57
  • $\begingroup$ Apsrt from the tutorial on Assumptions you probably should also read its dedicated documentation page. There, under the heading "More information" (v8) or "Details" (v9) you can find: "The assumptions can be equations, inequalities, or domain specifications, or lists or logical combinations of these." So: no Rules $\endgroup$ Commented Dec 4, 2012 at 8:00

1 Answer 1


Assumptions need to be quantified equations or inequalities, so replace your rules with equations. I'm guessing Integrate probably won't do too much with these, either, so attempt to use FullSimplify on the results with your new assumptions.


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.