Experimental`ForAllRealQ

Usage

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

Notes

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