Developer`ZeroQ

ZeroQ[ausdr] liefert True, wenn mit eingebauten Transformationen festgestellt werden kann, daß ausdr numerisch gleich Null ist, und liefert sonst False.

ZeroQ verwendet eine Kombination symbolischer Transformationen und randomisierter numerischer Evaluierung.

Wenn ZeroQ[ausdr] False liefert, so bedeutet dies nicht notwendigerweise, daß ausdr mathematisch nicht gleich Null ist; dies bedeutet nur, daß eingebaute Transformationen dies nicht feststellen konnten.

Siehe auch: ImpliesQ.