OBSOLETE 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.

更多信息更多信息

Translate this page: