PossibleZeroQ

PossibleZeroQ[expr]

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

詳細とオプション

  • ある式が零という値を持つかどうかを判断するという一般的な問題は決定不能である．PossibleZeroQは簡単ではあるが常に正確であるとは限らないテストを提供する．
  • Method->"ExactAlgebraics"という設定の場合，PossibleZeroQは明示的な代数的数には厳密に保証されたメソッドを使う．

例題

すべて開くすべて閉じる

例  (1)

数式が零かどうかの検定を行う：

記号式が零と同等であるかどうかの検定を行う：

スコープ  (4)

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

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

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

記号式が零と同等である可能性が高いかどうかの検定を行う：

オプション  (2)

Assumptions  (1)

任意の複素数xについて，fは零と同等ではない：

Re[x]>0のとき，fは零と同等である：

Method  (1)

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

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

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

明示的な代数的数について，答が正しいことは立証可能である：

アプリケーション  (1)

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

Wolfram言語の方程式ソルバは自動的に零検定を使う：

特性と関係  (1)

e が明示的に零と等しいときのみSameQ[e,0]はTrueを返す：

Equal[e,0]は簡単な検定を使って e が零かどうか判断する：

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

PossibleZeroQは数値的なメソッドを使ってeeが零かどうかの検定を行う：

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

考えられる問題  (1)

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

Wolfram Research (2007), PossibleZeroQ, Wolfram言語関数， https://reference.wolfram.com/language/ref/PossibleZeroQ.html.

テキスト

Wolfram Research (2007), PossibleZeroQ, Wolfram言語関数， https://reference.wolfram.com/language/ref/PossibleZeroQ.html.

CMS

Wolfram Language. 2007. "PossibleZeroQ." Wolfram Language & System Documentation Center. Wolfram Research. https://reference.wolfram.com/language/ref/PossibleZeroQ.html.

APA

Wolfram Language. (2007). PossibleZeroQ. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/PossibleZeroQ.html

BibTeX

@misc{reference.wolfram_2024_possiblezeroq, author="Wolfram Research", title="{PossibleZeroQ}", year="2007", howpublished="\url{https://reference.wolfram.com/language/ref/PossibleZeroQ.html}", note=[Accessed: 22-November-2024 ]}

BibLaTeX

@online{reference.wolfram_2024_possiblezeroq, organization={Wolfram Research}, title={PossibleZeroQ}, year={2007}, url={https://reference.wolfram.com/language/ref/PossibleZeroQ.html}, note=[Accessed: 22-November-2024 ]}