MODULE Integer32PolynomialBasic = PolynomialBasic (Integer32Basic, Integer32VectorRep) END Integer32PolynomialBasic.