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