Assuming

Assuming[assum,expr]

将 assum 追加到 $Assumptions，计算 expr，从而使诸如 Refine、Simplify 和 Integrate 等函数所使用的缺省假定中包含 assum.

更多信息

  • Assuming 对所有带 Assumptions 选项的函数的缺省假定产生影响.
  • 假定可以是方程、不等式或者定义域的指定，也可以是列表或这些内容的逻辑组合.
  • 来自 Assuming 嵌套调用的假定被合并.
  • Assuming[assum,expr] 实际上等价于 Block[{$Assumptions=$Assumptions&&assum},expr].
  • Assuming 将假定列表 {a1,a2,…} 转换为 a1&&a2&&….

范例

打开所有单元关闭所有单元

基本范例  (2)

给出 Refine 和 Integrate 相同的假定：

为多个 Refine 调用指定相同的假定：

范围  (3)

为化简指定假定：

为 Integrate 和积分变换指定假定：

为 Limit 和 Series 指定假定：

应用  (1)

编写使用假定的代码；求出 a x2+b x+c 的实根个数：

属性和关系  (5)

Assuming 局部设置 $Assumptions 的值：

来自 Assuming 嵌套调用的假定被合并：

Block 也可用于局部设置 $Assumptions 的值：

由 Assuming 给出的假定不用于 Block 内：

这等价于使用嵌套 Assuming：

Assuming 影响使用 Assumptions :> $Assumptions 选项的函数：

某些函数的假定可以作为自变量给出，也可以作为选项值给出：

可能存在的问题  (1)

直接设置 Assumptions 选项时，不使用由 Assuming 给出的假定：

Wolfram Research (2003)，Assuming，Wolfram 语言函数，https://reference.wolfram.com/language/ref/Assuming.html.

文本

Wolfram Research (2003)，Assuming，Wolfram 语言函数，https://reference.wolfram.com/language/ref/Assuming.html.

CMS

Wolfram 语言. 2003. "Assuming." Wolfram 语言与系统参考资料中心. Wolfram Research. https://reference.wolfram.com/language/ref/Assuming.html.

APA

Wolfram 语言. (2003). Assuming. Wolfram 语言与系统参考资料中心. 追溯自 https://reference.wolfram.com/language/ref/Assuming.html 年

BibTeX

@misc{reference.wolfram_2024_assuming, author="Wolfram Research", title="{Assuming}", year="2003", howpublished="\url{https://reference.wolfram.com/language/ref/Assuming.html}", note=[Accessed: 21-November-2024 ]}

BibLaTeX

@online{reference.wolfram_2024_assuming, organization={Wolfram Research}, title={Assuming}, year={2003}, url={https://reference.wolfram.com/language/ref/Assuming.html}, note=[Accessed: 21-November-2024 ]}