As of Version 6.0, ZeroQ has been superseded by PossibleZeroQ.


returns True if builtin transformations allow it to be determined that expr is numerically equal to zero, and returns False otherwise.

Details and Options

  • To use ZeroQ, you first need to load the Developer Utilities Package using Needs["Developer`"].
  • ZeroQ uses a combination of symbolic transformations and randomized numerical evaluation.
  • If ZeroQ[expr] returns False it does not necessarily mean that expr is mathematically not equal to zero; all it means is that builtin transformations did not allow this to be determined.