INTERFACE BigIntegerFractionPolynomial = Polynomial (BigIntegerFraction, BigIntegerFractionVector, BigIntegerFractionPolynomialBasic) END BigIntegerFractionPolynomial.