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

Experimental`ExistsRealQ

Usage

ExistsRealQ[ineqs,   ,  , ...  ]用于测试是否存在满足不等式和等式ineqs 值。


Notes

• 另见: ForAllRealQ, ImpliesRealQ, InequalityInstance, Eliminate, CylindricalAlgebraicDecomposition.
• 注意:这是一个试验性的功能,可能不会得到Mathematica未来版本的支持,或者可能会有不同的规格要求。