Experimental`
Experimental`

ImpliesRealQ

This functionality has been replaced by Resolve and related symbols.

ImpliesRealQ[ineqs1,ineqs2]

tests whether the inequalities and equations ineqs1 imply the ineqs2 for all real values of all variables.

Details

See Also

ForAllRealQ  ExistsRealQ  ImpliesQ  CylindricalDecomposition