Experimental`
Experimental`

ExistsRealQ

This functionality has been replaced by Resolve and related symbols.

ExistsRealQ[ineqs,{x1,x2,}]

tests whether there exist real values of the xi for which the inequalities and equations ineqs are satisfied.

Details

See Also

ForAllRealQ  ImpliesRealQ  FindInstance  Eliminate  CylindricalDecomposition