Experimental`
Experimental`

ForAllRealQ

This functionality has been replaced by Resolve and related symbols.

ForAllRealQ[ineqs,{x1,x2,}]

tests whether for all real values of the xi the inequalities and equations ineqs are satisfied.

Details

See Also

ExistsRealQ  ImpliesRealQ  SolveAlways  CylindricalDecomposition