MODULE BigIntegerFractionPolynomialFmtLex = PolynomialFmtLex (BigIntegerFraction, BigIntegerFractionFmtLex, BigIntegerFractionVectorFmtLex) END BigIntegerFractionPolynomialFmtLex.