Refine

Refine[expr,assum]
如果表达式中的符号被满足 assum 假设的精确数值表达式代替,则给出获得的 expr 的形式.

Refine[expr]
用任意封闭 Assuming 结构指定的默认假设.

更多信息和选项更多信息和选项

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

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

基本范例  (2)基本范例  (2)

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

In[1]:=
Click for copyable input
Out[1]=

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

In[2]:=
Click for copyable input
Out[2]=

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

In[3]:=
Click for copyable input
Out[3]=

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

In[4]:=
Click for copyable input
Out[4]=

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

In[1]:=
Click for copyable input
Out[1]=
2003年引入
(5.0)