INTERFACE BigIntegerFractionPolynomialBasic = PolynomialBasic (BigIntegerFraction, BigIntegerFractionVector) END BigIntegerFractionPolynomialBasic.