Assertion list
eigenvalue (aspect of matrix ) → HasProperty
Results from Ascent++: 4
eigenvalue → HasProperty → positive 0.84
eigenvalue → HasProperty → real 0.78
eigenvalue → HasProperty → equal 0.65
eigenvalue → HasProperty → complex 0.54