INTERFACE BigIntegerPolynomialBasic = PolynomialBasic (BigInteger, BigIntegerVector) END BigIntegerPolynomialBasic.