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

Refine

Refine[expr, assum]
如果满足 assum 假设的精确数值表达式代替其中的符号,expr 的形式将得到。
Refine[expr]
用任意封闭 Assuming 结构指定的默认假设。
  • 假设可能由等式,不等式,域说明正如 xElementIntegers,以及这些的逻辑组合。
  • Refine 可以用在等式,不等式和域说明中。
  • 出现在代数不等式的量总是假定为真。
  • 给出以下选项:
Assumptions$Assumptions附加到 assum
TimeConstraint30的假设为多少秒进行任意的特殊转换
不能简化为任意的 x
In[1]:=
Click for copyable input
Out[1]=
对精确的正数值表达式 求解为 x:
In[2]:=
Click for copyable input
Out[2]=
当符号表达式 x 假设为正数时,Refine 求解 x
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]=
5 的新功能 | 4 中的修改功能