OBSOLETE EXPERIMENTAL パッケージ シンボル

ForAllRealQ

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

ForAllRealQ[ineqs,{x1,x2,}]
xi のすべての実数値に対して,不等式および方程式 ineqs が満足されるか否かを判定する.

詳細詳細

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