MATHEMATICA 組込みシンボル

PossibleZeroQ

PossibleZeroQ[expr]
基本的な記号・数値メソッドによりexpr が零という値を持つとされた場合にはTrueを，その他の場合にはFalseを返す．

ある式が零という値を持つかどうかを判断するという一般的な問題は決定不能である．PossibleZeroQは簡単ではあるが常に正確であるとは限らないテストを提供する．

数式が零かどうかテストする：

記号式が零と同等であるかどうかテストする：

数式が零かどうかテストする：

Out[1]=

記号式が零と同等であるかどうかテストする：

Out[2]=

数式が零であることを示す：

数式が零ではないことを示す：

近似計算に基づいて数式が零であると判断する：

記号式が零と同等である可能性が高いかどうかテストする：

任意の複素数

について，

は零と同等ではない：

Re[x]>0のとき，

は零と同等である：

デフォルトで，数値近似を使って代数的数が零かどうか判断されることがある：

近似法は不正確な肯定の答を返すことがある：

のとき，明示的な代数的数には厳密法が使われる：

明示的な代数的数について，答は正しい可能性が高い：

多項方程式を解くのには係数が零かどうかの判断が必要である：

Mathematica の方程式ソルバは自動的に零テストを使う：

e が明示的に零と等しいときのみSameQ

はTrueを返す：

は簡単なテストを使って e が零かどうか判断する：

式が零かどうか判断できないとき，Equalは式をそのまま返す：

PossibleZeroQは数値的なメソッドを使って

が零かどうかテストする：

が零であると記号的に証明する：

PossibleZeroQは，零に近い非零の数式に対してTrueを返すことがある：