行列述語
PositiveDefiniteMatrixQ[m] | すべての非零の に対して | |
PositiveSemidefiniteMatrixQ[m] | すべての非零の に対して | |
NegativeDefiniteMatrixQ[m] | すべての非零の に対して | |
NegativeSemidefiniteMatrixQ[m] | すべての非零の に対して | |
IndefiniteMatrixQ[m] | それ以外 |
OrthogonalMatrixQ[m] | は恒等行列 である | |
UnitaryMatrixQ[m] | は恒等行列 である |
DiagonalizableMatrixQ[m] | 対角要素 に対して である | |
NormalMatrixQ[m] | 対角要素 ,または に対して である |