INTERFACE  ExtendedCharPolynomial = CharPolynomial (ExtendedRoot, ExtendedMatrix) END ExtendedCharPolynomial.