writer
6,694
edits
Changes
Jump to navigation
Jump to search
Created page with "<div style="font-size:30px">'''MATRIXTYPE (Matrix,Type)'''</div><br/> *<math>Matrix </math> is the set of values. *<math>Type </math> is the type of the matrix. ==Descripti..."
<div style="font-size:30px">'''MATRIXTYPE (Matrix,Type)'''</div><br/>
*<math>Matrix </math> is the set of values.
*<math>Type </math> is the type of the matrix.
==Description==
*This function is the tester function of Idempotent and Projection matrix.
*In <math>MATRIXTYPE (Matrix,Type)</math>,<math>Matrix</math> is set of values and <math>Type</math> is the type of the matrix either Idempotent or Projection.
*Idempotent a matrix which, when multiplied by itself, yields itself.
*A square matrix P is called Projection then <math>P^2=P</math>.
*So the given matrix values are satisfied Idempotent and the given Matrix Type also Idempotent then this function will return as TRUE otherwise FALSE.
*In same way the given values are satisfies Projection and the Matrix Type also Projection then this function will return as TRUE otherwise FALSE.
==Examples==
#MATRIXTYPE(IM(2),"idempotent") = true
#MATRIXTYPE([[1,0,1],[0,1,2]],"idempotent") = false
#MATRIXTYPE([[1,0,0],[0,1,0],[0,0,1]],"projection") = true
#MATRIXTYPE([[1,0,1],[0,1,0],[0,0,1]],"projection") = false
==See Also==
*[[Manuals/calci/MATRIXIDENTITY | MATRIXIDENTITY]]
*[[Manuals/calci/MATRIXOPERATORS| MATRIXOPERATORS]]
==References==
*[https://en.wikipedia.org/wiki/Identity_matrix Identity]
*[[Z_API_Functions | List of Main Z Functions]]
*[[ Z3 | Z3 home ]]
*<math>Matrix </math> is the set of values.
*<math>Type </math> is the type of the matrix.
==Description==
*This function is the tester function of Idempotent and Projection matrix.
*In <math>MATRIXTYPE (Matrix,Type)</math>,<math>Matrix</math> is set of values and <math>Type</math> is the type of the matrix either Idempotent or Projection.
*Idempotent a matrix which, when multiplied by itself, yields itself.
*A square matrix P is called Projection then <math>P^2=P</math>.
*So the given matrix values are satisfied Idempotent and the given Matrix Type also Idempotent then this function will return as TRUE otherwise FALSE.
*In same way the given values are satisfies Projection and the Matrix Type also Projection then this function will return as TRUE otherwise FALSE.
==Examples==
#MATRIXTYPE(IM(2),"idempotent") = true
#MATRIXTYPE([[1,0,1],[0,1,2]],"idempotent") = false
#MATRIXTYPE([[1,0,0],[0,1,0],[0,0,1]],"projection") = true
#MATRIXTYPE([[1,0,1],[0,1,0],[0,0,1]],"projection") = false
==See Also==
*[[Manuals/calci/MATRIXIDENTITY | MATRIXIDENTITY]]
*[[Manuals/calci/MATRIXOPERATORS| MATRIXOPERATORS]]
==References==
*[https://en.wikipedia.org/wiki/Identity_matrix Identity]
*[[Z_API_Functions | List of Main Z Functions]]
*[[ Z3 | Z3 home ]]