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

Resolve

Resolve[expr]
企图把 expr 变成一种消除 ForAllExists 量词的形式。
Resolve[expr, dom]
作用于域 domdom 常见的选择是 ComplexesRealsBooleans
  • expr 可以包含方程式,不等式,域名规范和量词,和在 Reduce 中形式一样。
  • Resolve[expr] 的结果总是描述为和 expr 完全一样的数学集合,但没有量词。
  • 默认下,Resolve[expr] 假定出现在不等式中的代数数量是实数,而所有其他的数量是复数。
  • 当一个量词如 ForAll[x, ...] 被删除,其结果将不提及局部变量 x
  • Resolve[expr] 原则上可以永远删除量词,如果 expr 仅包含在实数或复数域上的多项式方程和不等式。
  • 对于任何布尔表达式,Resolve[expr] 原则上可以永远删除量词。
证明单位圆盘非空:
In[1]:=
Click for copyable input
Out[1]=
找出二次方程式在实数上为正数的条件:
In[2]:=
Click for copyable input
Out[2]=
找出二次方程式至少有两个不同的复数根的条件:
In[3]:=
Click for copyable input
Out[3]=
5 的新功能