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`	Determine if symbolic conditions are true for all values of variables
`logical`	Determine if symbolic equation, inequality, or condition is true

Topics

Use Assumptions on Symbolic Variables
Set, check, and clear assumptions on symbolic variables.
Clear Assumptions and Reset the Symbolic Engine
Remove assumptions and reset the state of the engine.