MODULE  LongRealCharPolynomial = CharPolynomial (LongRealBasic, LongRealRoot, LongRealMatrix) END LongRealCharPolynomial.