矩阵谓词
PositiveDefiniteMatrixQ[m] | for all nonzero | |
PositiveSemidefiniteMatrixQ[m] | for all nonzero | |
NegativeDefiniteMatrixQ[m] | for all nonzero | |
NegativeSemidefiniteMatrixQ[m] | for all nonzero | |
IndefiniteMatrixQ[m] | otherwise |
OrthogonalMatrixQ[m] | is identity matrix, | |
UnitaryMatrixQ[m] | is identity matrix, |
DiagonalizableMatrixQ[m] | for diagonal | |
NormalMatrixQ[m] | for diagonal or |