行列述語
Mathematica 10には，行列特性をテストするための多数の行列述語が含まれている．行列述語は通常アルゴリズムを実行する前に，入力行列の特性を検証するのに必要なアルゴリズムに対して使われる．
対称関連の行列述語．
![m=TemplateBox[{m}, Transpose]](HTMLImages.ja/index.ja/FB_1.png){kind=small}
二次形式関連の行列述語．
| PositiveDefiniteMatrixQ[m] | すべての非零の  に対して  | |
| PositiveSemidefiniteMatrixQ[m] | すべての非零の  に対して | |
| NegativeDefiniteMatrixQ[m] | すべての非零の  に対して  | |
| NegativeSemidefiniteMatrixQ[m] | すべての非零の  に対して  | |
| IndefiniteMatrixQ[m] | それ以外 |
内積関連の行列述語．
| OrthogonalMatrixQ[m] |  は恒等行列  である | |
| UnitaryMatrixQ[m] |  は恒等行列  である |
固有値関連の行列述語．
| DiagonalizableMatrixQ[m] | 対角要素  に対して  である | |
| NormalMatrixQ[m] | 対角要素  ，または  に対して  である |
