Experimental`ImpliesRealQ

Usage

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

Notes

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