Manuals/calci/MATRIXEQUAL

MATRIXDIVPARTS (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
• 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

See Also

• MATRIXMULTIPLY
• MATRIXDIVIDE
• MATRIXADD

References

• Equal matrix

• List of Main Z Functions
• Z3 home