此为 Mathematica 7 文档,内容基于更早版本的 Wolfram 语言
查看最新文档(版本11.1)

Assuming

Assuming[assum, expr]
计算 expr 并且将 assum 附加到 $Assumptions,使类似RefineSimplifyIntegrate 函数所使用的缺省的假设条件中包含 assum
  • 假设条件可以是方程、不等式或者指定域,也可以是列表或这些内容的逻辑组合。
  • 嵌套的假设条件是 Assuming 的混合。
  • Assuming 将假设条件列表 {a1, a2, ...} 转换为 a1&&a2&&...
5 的新功能