isUnipotent
P160548
predicate
Indicates that an element (typically a linear operator or matrix) differs from the identity by a nilpotent part, so that some power of (element − identity) equals zero.