Questions about the function Assuming[], the $Assumptions system variable, and the Assumptions option of functions such as Simplify[] and Integrate[].
Assumptions are used to indicate membership of domains (Integers
, Reals
) or other relationships that hold for certain variables.