OBSOLETE EXPERIMENTAL パッケージ シンボル

ImpliesRealQ

この機能の代りにResolveおよび関連したシンボルが使われるようになった.

ImpliesRealQ[ineqs1,ineqs2]
すべての変数のすべての実数に対して不等式および方程式 ineqs1ineqs2を含意するか否かを判定する.

詳細詳細

  • ImpliesRealQを使うためには,まず試験的関数パッケージをロードしなくてはならない.それにはNeeds["Experimental`"]を実行する必要がある.