MODULE BigIntegerCharPolynomial = CharPolynomial (BigInteger, BigIntegerRoot, BigIntegerMatrix) END BigIntegerCharPolynomial.