|
Experimental`ExistsRealQ
ExistsRealQ[ineqs,  , , ... ] tests whether there exist real values of the for which the inequalities and equations ineqs are satisfied.
See also: ForAllRealQ, ImpliesRealQ, InequalityInstance, Eliminate, CylindricalAlgebraicDecomposition.
Note: this is an experimental feature, and in future versions of Mathematica it may not be supported, or may have a different specification.
THIS IS DOCUMENTATION FOR AN OBSOLETE PRODUCT. SEE THE DOCUMENTATION CENTER FOR THE LATEST INFORMATION. | |