INTERFACE Integer32CharPolynomial = CharPolynomial (Integer32Root, Integer32Matrix) END Integer32CharPolynomial.