The Equation domain provides equations as mathematical objects. These are used, for example, as the input to various solvesolveTransSolvePackage operations.
Equations are created using the equals symbol, =.
The left- and right-hand sides of an equation are accessible using the operations lhslhsEquation and rhsrhsEquation.
Arithmetic operations are supported and operate on both sides of the equation.
Equations may be created for any type so the arithmetic operations will be defined only when they make sense. For example, exponentiation is not defined for equations involving non-square matrices.
Note that an equals symbol is also used to test for equality of values in certain contexts. For example, x+1 and y are unequal as polynomials.
If an equation is used where a Boolean value is required, then it is evaluated using the equality test from the operand type.
If one wants a Boolean value rather than an equation, all one has to do is ask!