INTERFACE BigIntegerFractionPolynomialFmtLex = PolynomialFmtLex (BigIntegerFractionFmtLex, BigIntegerFractionPolynomial) END BigIntegerFractionPolynomialFmtLex.