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

Mathematica provides a general mechanism for specifying constraints on patterns. All you need to do is to put /;condition at the end of a pattern to signify that it applies ...

ZeroTest is an option to various linear algebra functions that gives a function to use in testing whether symbolic expressions should be treated as zero.

IntervalMemberQ[interval, x] gives True if the number x lies within the specified interval, and False otherwise. IntervalMemberQ[interval_1, interval_2] gives True if ...

New Polynomial Functions, Discriminant, SymmetricPolynomial, SymmetricReduction, New in Polynomial Manipulation, PolynomialQuotientRemainder, PolynomialExtendedGCD, ...

lhs == rhs returns True if lhs and rhs are identical.

lhs === rhs yields True if the expression lhs is identical to rhs, and yields False otherwise.

Mathematica handles formulas of all types, from polynomials with millions of terms to complex combinations of higher mathematical functions. It provides powerful general ...

Unitize[x] gives 0 when x is zero, and 1 when x has any other numerical value.

lhs != rhs or lhs != rhs returns False if lhs and rhs are identical.