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

Experimental`ForAllRealQ

Usage

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


Notes

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