Mathematica 9 is now available
THIS IS DOCUMENTATION FOR AN OBSOLETE PRODUCT.
SEE THE DOCUMENTATION CENTER FOR THE LATEST INFORMATION.
Wolfram Mathematica Documentation Center
DOCUMENTATION CENTER SEARCH
New to Mathematica? Find your learning path »
Mathematica > 数学和算法 > 公式处理 > Refine >
MATHEMATICA 内置符号教程 »|参见 »|更多关于 »

Refine

Refine
如果表达式中的符号被满足 assum 假设的精确数值表达式代替，则给出获得的 expr 的形式.
Refine[expr]
用任意封闭 Assuming 结构指定的默认假设.
更多信息
  • 假设可能由等式，不等式，域说明（比如 Integers）以及这些的逻辑组合构成.
  • Refine 可以用在等式，不等式和域说明中.
  • 出现在代数不等式的量总是假定为真.
  • 给出以下选项：
Assumptions$Assumptions附加到 assum 的默认假设
TimeConstraint30尝试进行任意的特殊转换所需的时间
范例关闭所有单元
例   (2)
不能对任意的复数 进行化简：
对精确的正数值表达式 求解为 :
当符号表达式 假设为正数时，Refine 求解 为 ：
不充分的假定可能导致一个不恰当的简化：
Assuming 用来为几个 Refine 调用指定同样的假设：
不能对任意的复数 进行化简：
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]=
范围   (9)
嵌套的乘方：
乘方：
对数：
三角函数：
方程和不等式：
Element 说明：
Re，Im，Abs， Arg，Conjugate 和 Sign：
选项   (4)
Assumptions 给出一个参数和一个可选值：
Assumptions 选项的默认值是 $Assumptions：
当 Assumptions 作为一个变量给出时，$Assumptions 也可以使用：
把 Assumptions 指定为可选值，阻止 Refine 用 $Assumptions：
检查一个条件是否服从假设需要很长时间：
如果一个条件不满足假设，检查可能仍然需要很长时间：
TimeConstraint 的值限制了单独条件检查所用时间：
在1秒时间限制下，Refine 不能证明 ：
应用   (1)
写出使用假设的代码，找出 的实根的数目：
属性和关系   (4)
对于数值表达式，Refine 的规则对应于自动化简规则：
Assuming 用来扩散假设：
对更多化简规则，使用 Simplify：
对特殊函数化简，使用 FullSimplify：
可能存在的问题   (1)
在不等式假设中出现的代数表达式假定为实数：
版本 5 的新功能
Ask a question about this page  |  Suggest an improvement  |  Leave a message for the team
格式:   HTML  |  CDF