PossibleZeroQ

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

Details and OptionsDetails 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.
Introduced in 2007
(6.0)