Mathematica > 数学和算法 > 多项式代数 > 多项式系统 > Resolve
MATHEMATICA 内置符号

Resolve

Resolve[expr]
尝试把 expr 变成一种消除 ForAll 和 Exists 量词的形式.

Resolve[expr, dom]
作用于域 dom. dom 常见的选择是 Complexes， Reals 和 Booleans.

更多信息更多信息

  • Resolve 实际上是自动地被 Reduce 应用.
  • expr 可以包含方程式，不等式，域的设定和量词，和在 Reduce 中形式一样.
  • Resolve[expr] 的结果总是描述和 expr 完全一样的数学问题，但没有量词.
  • 默认下，Resolve[expr] 假定以代数形式出现在不等式中量是实数，而所有其他的量是复数.
  • 当一个量词如 ForAll[x, ...] 被消去后，其结果将不提及局部变量 x.
  • 如果 expr 仅包含实数或复数域上的多项式方程和不等式，则 Resolve[expr] 原则上总可以消除量词.
  • 对于任何布尔表达式，Resolve[expr] 原则上总可以消除量词.

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

基本范例 (1)基本范例 (1)

证明单位圆盘非空：

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

找出二次方形在实数上为正数的条件：

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

找出二次方程式至少有两个不同的复数根的条件：

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

范围 (39)范围 (39)

选项 (4)选项 (4)

应用 (6)应用 (6)

属性和关系 (3)属性和关系 (3)

可能存在的问题 (1)可能存在的问题 (1)

Top
版本 5 的新功能
Send Feedback
Mathematica 9 is now available!

400+ new features, including the new Wolfram Predictive Interface, social network analysis, enterprise CDF deployment, and more »

Try Now
Buy/Upgrade
New to Mathematica? Find your learning path »
Have a question? Ask support »