#include <isl_int.h> uint32_t isl_imath_hash(mp_int v, uint32_t hash) { … } /* Try a standard conversion that fits into a long. */ int isl_imath_fits_slong_p(mp_int op) { … } /* Try a standard conversion that fits into an unsigned long. */ int isl_imath_fits_ulong_p(mp_int op) { … } void isl_imath_addmul_ui(mp_int rop, mp_int op1, unsigned long op2) { … } void isl_imath_submul_ui(mp_int rop, mp_int op1, unsigned long op2) { … } /* Compute the division of lhs by a rhs of type unsigned long, rounding towards * positive infinity (Ceil). */ void isl_imath_cdiv_q_ui(mp_int rop, mp_int lhs, unsigned long rhs) { … } /* Compute the division of lhs by a rhs of type unsigned long, rounding towards * negative infinity (Floor). */ void isl_imath_fdiv_q_ui(mp_int rop, mp_int lhs, unsigned long rhs) { … }