Experimental`ExistsRealQ

Usage

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

Notes

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