WOLFRAM

Wolfram 语言与系统参考资料中心

Refine[expr,assum]

给出用满足 assum 假设的数值表达式代替表达式中的符号所获得的 expr 的形式.

Refine[expr]

使用附加的 Assuming 结构指定的默认假设.

更多信息和选项
Details and Options Details and Options
范例  
基本范例  
范围  
选项  
Assumptions  
TimeConstraint  
应用  
属性和关系  
可能存在的问题  
参见
技术笔记
相关指南
历史
按以下格式引用：

Refine

Refine[expr,assum]

给出用满足 assum 假设的数值表达式代替表达式中的符号所获得的 expr 的形式.

Refine[expr]

使用附加的 Assuming 结构指定的默认假设.

更多信息和选项

  • 假设可能由等式、不等式、域说明（比如 x∈Integers）以及这些的逻辑组合构成.
  • Refine 可以用在等式、不等式和域说明中.
  • 出现在代数不等式的量总是假定为真.
  • Refine 是 Simplify 转换形式之一.
  • 给出以下选项：
  • Assumptions $Assumptions附加到 assum 的默认假设
    TimeConstraint 30尝试进行任意的特殊转换所需的时间

范例

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

基本范例  (2)

不能对任意的复数 进行化简：

对精确的正数值表达式 求解为 :

当符号表达式 假设为正数时，Refine 求解 为 ：

不充分的假定可能导致一个不恰当的简化：

Assuming 用来为几个 Refine 调用指定同样的假设：

范围  (9)

嵌套的乘方：

乘方：

对数：

三角函数：

方程和不等式：

Element 说明：

Floor，Ceiling，Round，IntegerPart 和 FractionalPart：

Mod:

Re，Im，Abs， Arg，Conjugate 和 Sign：

选项  (4)

Assumptions  (3)

Assumptions 给出一个参数和一个可选值：

Assumptions 选项的默认值是 $Assumptions：

当 Assumptions 作为一个变量给出时，$Assumptions 也可以使用：

把 Assumptions 指定为可选值，阻止 Refine 用 $Assumptions：

TimeConstraint  (1)

检查一个条件是否服从假设需要很长时间：

如果一个条件不满足假设，检查可能仍然需要很长时间：

TimeConstraint 的值限制了单独条件检查所用时间：

在1秒时间限制下，Refine 不能证明 ：

应用  (1)

写出使用假设的代码，找出 的实根的数目：

属性和关系  (4)

对于数值表达式，Refine 的规则对应于自动化简规则：

Assuming 用来扩散假设：

对更多化简规则，使用 Simplify：

对特殊函数化简，使用 FullSimplify：

可能存在的问题  (1)

在不等式假设中出现的代数表达式假定为实数：

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

文本

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

CMS

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

APA

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

BibTeX

@misc{reference.wolfram_2025_refine, author="Wolfram Research", title="{Refine}", year="2003", howpublished="\url{https://reference.wolfram.com/language/ref/Refine.html}", note=[Accessed: 20-October-2025]}

BibLaTeX

@online{reference.wolfram_2025_refine, organization={Wolfram Research}, title={Refine}, year={2003}, url={https://reference.wolfram.com/language/ref/Refine.html}, note=[Accessed: 20-October-2025]}