Assumptions
Assumptions
更多信息
- 典型的缺省设置为 Assumptions:>$Assumptions.
- 假设可以是方程、不等式或定义域指定，或者是这些内容的列表或逻辑组合.
- Assuming 修正 $Assumptions，所以也修正 Assumptions 选项的缺省设置值.
- x∈Reals 可用于指定 x 应该作为实数变量对待.
- 在不等式中显示为代数的量总是被假设为实数.
范例
打开所有单元 关闭所有单元基本范例 (3)
Refine[Sqrt[x ^ 2], Assumptions -> x < 0]Simplify[Cos[k Pi] ^ m, Assumptions -> Element[k, Integers] && Mod[m, 2] == 0]FunctionExpand[Factorial2[n], Assumptions -> n∈Integers]Integrate[x ^ a, {x, 0, 1}, Assumptions -> a > 0]FourierTransform[1 / (x ^ 2 + a), x, w, Assumptions -> a > 0]Limit[x ^ a, x -> Infinity, Assumptions -> a < 0]Series[Min[x ^ 2, 1 + a]Cos[x] + Sin[x], {x, 0, 2}, Assumptions -> a > 0]属性和关系 (3)
对于大部分带有该选项的函数而言，$Assumptions 是 Assumptions 的缺省值：
Quiet[Select[ToExpression /@ Names["System`*"], Head[#] === Symbol && MemberQ[Options[#], Assumptions :> $Assumptions]&]]Assuming 局部设定 $Assumptions 的值：
Assuming[x > 0, {$Assumptions, Refine[Sqrt[x ^ 2]]}]Block 也可用于局部设定 $Assumptions 的值：
Block[{$Assumptions = x > 0}, {$Assumptions, Refine[Sqrt[x ^ 2]]}]这里来自 Assuming 的假定值没有用在 Block 中：
Assuming[x ≥ 0, Block[{$Assumptions = y < 0}, Refine[Sqrt[x ^ 2y ^ 2]]]]来自嵌套 Assuming 的假定被组合：
Assuming[x ≥ 0, Assuming[y < 0, Refine[Sqrt[x ^ 2y ^ 2]]]]
Wolfram Research (1996)，Assumptions，Wolfram 语言函数，https://reference.wolfram.com/language/ref/Assumptions.html （更新于 2003 年）.
文本
Wolfram Research (1996)，Assumptions，Wolfram 语言函数，https://reference.wolfram.com/language/ref/Assumptions.html （更新于 2003 年）.
CMS
Wolfram 语言. 1996. "Assumptions." Wolfram 语言与系统参考资料中心. Wolfram Research. 最新版本 2003. https://reference.wolfram.com/language/ref/Assumptions.html.
APA
Wolfram 语言. (1996). Assumptions. Wolfram 语言与系统参考资料中心. 追溯自 https://reference.wolfram.com/language/ref/Assumptions.html 年