假设
限制符号对象的可能值
使用假设来限制变量或表达式的值的可能范围。详细信息请参见使用符号变量的假设.要验证条件是否成立,请使用总
.
功能
主题
- 使用符号变量的假设
建模你的问题,通过假设得到更简单的结果。
- 清除假设并重置符号引擎
移除假设并重置引擎的状态。
使用假设来限制变量或表达式的值的可能范围。详细信息请参见使用符号变量的假设.要验证条件是否成立,请使用总
.
建模你的问题,通过假设得到更简单的结果。
移除假设并重置引擎的状态。