MODULE  ExtendedCharPolynomial = CharPolynomial (ExtendedBasic, ExtendedRoot, ExtendedMatrix) END ExtendedCharPolynomial.