PossibleZeroQ

PossibleZeroQ[expr]

gives True if basic symbolic and numerical methods suggest that expr has value zero, and gives False otherwise.

Details and Options

  • The general problem of determining whether an expression has value zero is undecidable; PossibleZeroQ provides a quick but not always accurate test.
  • With the setting Method->"ExactAlgebraics", PossibleZeroQ will use exact guaranteed methods in the case of explicit algebraic numbers.

Examples

open allclose all

Basic Examples  (1)

Test whether a numeric expression is zero:

In[1]:=
Click for copyable input
Out[1]=

Test whether a symbolic expression is likely to be identically zero:

In[2]:=
Click for copyable input
Out[2]=

Scope  (4)

Options  (2)

Applications  (1)

Properties & Relations  (1)

Possible Issues  (1)

See Also

SameQ  Equal  Simplify  FullSimplify  N  ZeroTest

Introduced in 2007
(6.0)