Manuals/calci/MATRIXNOTEQUAL

MATRIXNOTEQUAL (a,b)

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

Description

• This function is the tester function of matrix inequalities.
• In $MATRIXNOTEQUAL(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 any one entries are different while comparing two matrices then this function will return as TRUE.Suppose all the entries are same then this function will return as FALSE.

Examples

1. MATRIXNOTEQUAL([[72,25],[54,-83]],[[72,25],[54,-83]]) = false
2. MATRIXNOTEQUAL([[6,5],[4,-3]],[[5,6],[4,-3]]) = true
3. MATRIXNOTEQUAL([[1],[2]],1,2) = true

See Also

• MATRIXEQUAL
• MATRIXMULTIPLY
• MATRIXDIVIDE
• MATRIXADD

References

• Equal matrix

• List of Main Z Functions
• Z3 home