Assumptions

Assumptions

is an option for functions such as Simplify, Refine, and Integrate that specifies default assumptions to be made about symbolic quantities.

Details

  • The typical default setting is Assumptions:>$Assumptions.
  • The assumptions can be equations, inequalities, or domain specifications, or lists or logical combinations of these.
  • Assuming modifies $Assumptions and so modifies the value of default settings for Assumptions options.
  • xReals can be used to specify that x should be treated as a real variable.
  • Quantities that appear algebraically in inequalities are always assumed to be real.

Examples

open allclose all

Basic Examples  (1)

Properties & Relations  (3)

$Assumptions is the default value of Assumptions for most functions that have the option:

Assuming locally sets the value of $Assumptions:

Block can also be used to locally set the value of $Assumptions:

Here the assumptions from Assuming are not used inside Block:

Assumptions from nested Assuming are combined:

Wolfram Research (1996), Assumptions, Wolfram Language function, https://reference.wolfram.com/language/ref/Assumptions.html (updated 2003).

Text

Wolfram Research (1996), Assumptions, Wolfram Language function, https://reference.wolfram.com/language/ref/Assumptions.html (updated 2003).

CMS

Wolfram Language. 1996. "Assumptions." Wolfram Language & System Documentation Center. Wolfram Research. Last Modified 2003. https://reference.wolfram.com/language/ref/Assumptions.html.

APA

Wolfram Language. (1996). Assumptions. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/Assumptions.html

BibTeX

@misc{reference.wolfram_2023_assumptions, author="Wolfram Research", title="{Assumptions}", year="2003", howpublished="\url{https://reference.wolfram.com/language/ref/Assumptions.html}", note=[Accessed: 19-March-2024 ]}

BibLaTeX

@online{reference.wolfram_2023_assumptions, organization={Wolfram Research}, title={Assumptions}, year={2003}, url={https://reference.wolfram.com/language/ref/Assumptions.html}, note=[Accessed: 19-March-2024 ]}