As of Version 6.0, ZeroQ has been superseded by PossibleZeroQ.
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 built‐in transformations did not allow this to be determined.