INTERFACE LongRealCharPolynomial = CharPolynomial (LongRealRoot, LongRealMatrix) END LongRealCharPolynomial.