INTERFACE LongRealComplexCharPolynomial = CharPolynomial (LongRealComplexRoot, LongRealComplexMatrix) END LongRealComplexCharPolynomial.