INTERFACE BigIntegerCharPolynomial = CharPolynomial (BigIntegerRoot, BigIntegerMatrix) END BigIntegerCharPolynomial.