search for:

x == y -- a binary operator for testing mathematical equality.

A test for mathematical equality will typically involve doing a computation to see whether two representations of the same mathematical object are being compared. For example, an ideal in a ring is represented by giving its generators, and checking whether two sets of generators produce the same ideal involves a computation with Groebner bases.

It may happen that for certain types of objects, there is no method installed for testing mathematical equality, in which strict equality will be tested with the operator ===. If a test for mathematical equality is installed later, your results may change.

Warning: whether this comparison operator returns true is not necessarily related to whether the comparison operator ? returns symbol ==.

See also:

This operator may be used as a binary operator in an expression like x == y. The user may install binary methods for handling such expressions with code such as

              X == Y := (x,y) -> ...

Methods for == :

search for: