hasJordanForm
P160147
predicate
Indicates that one mathematical object (typically a matrix or linear operator) possesses a specific Jordan normal form associated with it.