Main Content


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.


expand all

assumeSet assumption on symbolic object
assumeAlsoAdd assumption on symbolic object
assumptionsShow assumptions affecting symbolic variable, expression, or function
inNumeric type of symbolic input
piecewiseConditionally defined expression or function
isAlwaysCheck whether equation or inequality holds for all values of its variables
logicalCheck validity of equation or inequality


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.