Mathematica 9 is now available
Built-in Functions / Additional Functions / Experimental Context / Algebraic Computation /

Experimental`ImpliesRealQ

Usage

• ImpliesRealQ[ , ] tests whether the inequalities and equations imply the for all real values of all variables.


Notes

• See also: ForAllRealQ, ExistsRealQ, ImpliesQ, CylindricalDecomposition.
Further Examples


Any questions about topics on this page? Click here to get an individual response.Buy NowMore Information
THIS IS DOCUMENTATION FOR AN OBSOLETE PRODUCT.
SEE THE DOCUMENTATION CENTER FOR THE LATEST INFORMATION.