Experimental`Resolve
 Usage
• Resolve[expr]用于去除 expr中的量词。
Notes
• Resolve处理Exists[x, condition, expr]和ForAll[x, condition, expr]形式的量词。
• Exists[x, c, expr]可以以 的形式输入。
• ForAll[x, c, expr] 可以以 的形式输入。
• 变量列表可用于Exists和ForAll中。
• Resolve的运算法则在 FullSimplify中是被自动使用的。
• 另见： CylindricalAlgebraicDecomposition, FullSimplify.
• 注意：这是一个试验性的功能，可能不会得到Mathematica未来版本的支持，或者可能会有不同的规格要求。
|
