MODULE Integer32CharPolynomial = CharPolynomial (Integer32Basic, Integer32Root, Integer32Matrix) END Integer32CharPolynomial.