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

Experimental`ImpliesRealQ

Usage

ImpliesRealQ[ ,  ] 用于测试对于所有变量的实值,不等式或等式 是否包含


Notes

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