矩阵谓词
Mathematica 10 增添了多个矩阵谓词，用于矩阵谓词属性. 矩阵谓词通常被用于在运行算法前需要确认输入矩阵属性的算法.
对称相关的矩阵谓词.
![m=TemplateBox[{m}, Transpose]](https://files.wolframcdn.com/pub/www.wolfram.com/mathematica/new-in-10/enhanced-algebraic-computation/HTMLImages.zh/index.zh/FB_1.png){kind=small}
二次型相关的矩阵谓词.
| 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  |
