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