Assertion list
eigenvalue (aspect of matrix ) → HasA
Results from Ascent++: 2
eigenvalue → HasA → magnitude 0.45
eigenvalue → HasA → negative real parts 0.41