OBSOLETE EXPERIMENTAL PACKAGE SYMBOL

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.

DetailsDetails

Translate this page: