Developer`
Developer`

ZeroQ

バージョン6.0では，ZeroQの代りにPossibleZeroQが使われるようになった．

ZeroQ[expr]

組込み変換則により expr が数値的にゼロであることが決定できればTrue，そうでなければFalseを返す．

詳細とオプション

  • ZeroQを使うためには，まず開発者ユーティリティパッケージをロードしなくてはならない．それにはNeeds["Developer`"]を実行する必要がある．
  • ZeroQは，記号変換とランダム数値評価を組み合せて使用する．
  • ZeroQ[expr]がFalseを返したとしても，expr が数学的にゼロではないということを必ずしも意味している訳ではなく，組込み変換では決定できなかったということを示しているだけである．