MODULE LongRealComplexCharPolynomial = CharPolynomial (LongRealComplex, LongRealComplexRoot, LongRealComplexMatrix) END LongRealComplexCharPolynomial.