MODULE BigIntegerFractionPolynomialBasic = PolynomialBasic (BigIntegerFraction, BigIntegerFractionVectorRep) END BigIntegerFractionPolynomialBasic.