Assumptions

Restrict possible values of a symbolic object

Use assumptions to restrict the possible range of values of variables or expressions. For details, see Use Assumptions on Symbolic Variables. To verify if a condition holds, use isAlways.

Functions

expand all

Set Assumptions

`assume`	Set assumption on symbolic object
`assumeAlso`	Add assumption on symbolic object
`assumptions`	Show assumptions affecting symbolic variable, expression, or function
`in`	Numeric type of symbolic input
`piecewise`	Conditionally defined expression or function

Check Conditions

`isAlways`	Check whether equation or inequality holds for all values of its variables
`logical`	Check validity of equation or inequality

Topics

Use Assumptions on Symbolic Variables
Model your problem and get simpler results by using assumptions.
Clear Assumptions and Reset the Symbolic Engine
Remove assumptions and reset the state of the engine.