Verified the characteristic polynomial and three rational zeros.
