Manuals/calci/MATRIXEQUAL

MATRIXEQUAL (a,b)

• $a$ and $b$ are any two matrices.

Description

• This function is the tester function of matrix equalities.
• In $MATRIXEQUAL(a,b)$ ,$a$ and $b$ are any two matrices.
• For two matrices to be equal, they must be of the same size and have all the same entries in the same places.
• If the Matrices are equal it should follow the below three conditions.

1. Both the matrices has the same number of rows.
2. Both the matrices has the same number of columns.
3. Corresponding elements within each matrix are equal

• Suppose all the entries of the two matrices are equal then this function return as TRUE.
• If any one entry is not equal compared with the first matrix and second matrix then this function will return as FALSE.

Examples

1. MATRIXEQUAL([2,4;5,6],[2,4;5,6]) = true
2. MATRIXEQUAL([3,4,5;9,8,7],[3,4,5;8,9,7]) = false
3. MATRIXEQUAL([1,4;2,5;3,6],[1,4,2;5,3,6]) = false

Related Videos

Equal Matrices

See Also

• MATRIXMULTIPLY
• MATRIXDIVIDE
• MATRIXADD

References

• Equal matrix

• List of Main Z Functions
• Z3 home