MODULE BigIntegerPolynomialBasic = PolynomialBasic (BigInteger, BigIntegerVectorRep) END BigIntegerPolynomialBasic.