 |
Refine
Refine[expr, assum]
如果表达式中的符号被满足 assum 假设的精确数值表达式代替，则给出获得的 expr 的形式.
更多信息
- 假设可能由等式，不等式，域说明（比如 x
Integers）以及这些的逻辑组合构成. - Refine 可以用在等式，不等式和域说明中.
- 出现在代数不等式的量总是假定为真.
- Refine 是 Simplify 转换形式之一.
- 给出以下选项：
-
Assumptions $Assumptions 附加到 assum 的默认假设 TimeConstraint 30 尝试进行任意的特殊转换所需的时间
版本 5 的新功能
