INTERFACE BigIntegerPolynomial = Polynomial (BigInteger, BigIntegerVector, BigIntegerPolynomialBasic) END BigIntegerPolynomial.