INTERFACE Integer32PolynomialBasic = PolynomialBasic (Integer32Basic, Integer32Vector) END Integer32PolynomialBasic.