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
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.