isl_int_gmp.h File Reference

#include <gmp.h>

Go to the source code of this file.

Macros
#define	isl_int_init(i)   mpz_init(i)
#define	isl_int_clear(i)   mpz_clear(i)
#define	isl_int_set(r, i)   mpz_set(r,i)
#define	isl_int_set_si(r, i)   mpz_set_si(r,i)
#define	isl_int_set_ui(r, i)   mpz_set_ui(r,i)
#define	isl_int_fits_slong(r)   mpz_fits_slong_p(r)
#define	isl_int_get_si(r)   mpz_get_si(r)
#define	isl_int_fits_ulong(r)   mpz_fits_ulong_p(r)
#define	isl_int_get_ui(r)   mpz_get_ui(r)
#define	isl_int_get_d(r)   mpz_get_d(r)
#define	isl_int_get_str(r)   mpz_get_str(0, 10, r)
#define	isl_int_abs(r, i)   mpz_abs(r,i)
#define	isl_int_neg(r, i)   mpz_neg(r,i)
#define	isl_int_swap(i, j)   mpz_swap(i,j)
#define	isl_int_swap_or_set(i, j)   mpz_swap(i,j)
#define	isl_int_add_ui(r, i, j)   mpz_add_ui(r,i,j)
#define	isl_int_sub_ui(r, i, j)   mpz_sub_ui(r,i,j)
#define	isl_int_add(r, i, j)   mpz_add(r,i,j)
#define	isl_int_sub(r, i, j)   mpz_sub(r,i,j)
#define	isl_int_mul(r, i, j)   mpz_mul(r,i,j)
#define	isl_int_mul_2exp(r, i, j)   mpz_mul_2exp(r,i,j)
#define	isl_int_mul_si(r, i, j)   mpz_mul_si(r,i,j)
#define	isl_int_mul_ui(r, i, j)   mpz_mul_ui(r,i,j)
#define	isl_int_pow_ui(r, i, j)   mpz_pow_ui(r,i,j)
#define	isl_int_addmul(r, i, j)   mpz_addmul(r,i,j)
#define	isl_int_addmul_ui(r, i, j)   mpz_addmul_ui(r,i,j)
#define	isl_int_submul(r, i, j)   mpz_submul(r,i,j)
#define	isl_int_submul_ui(r, i, j)   mpz_submul_ui(r,i,j)
#define	isl_int_gcd(r, i, j)   mpz_gcd(r,i,j)
#define	isl_int_lcm(r, i, j)   mpz_lcm(r,i,j)
#define	isl_int_divexact(r, i, j)   mpz_divexact(r,i,j)
#define	isl_int_divexact_ui(r, i, j)   mpz_divexact_ui(r,i,j)
#define	isl_int_tdiv_q(r, i, j)   mpz_tdiv_q(r,i,j)
#define	isl_int_cdiv_q(r, i, j)   mpz_cdiv_q(r,i,j)
#define	isl_int_cdiv_q_ui(r, i, j)   mpz_cdiv_q_ui(r,i,j)
#define	isl_int_fdiv_q(r, i, j)   mpz_fdiv_q(r,i,j)
#define	isl_int_fdiv_r(r, i, j)   mpz_fdiv_r(r,i,j)
#define	isl_int_fdiv_q_ui(r, i, j)   mpz_fdiv_q_ui(r,i,j)
#define	isl_int_read(r, s)   mpz_set_str(r,s,10)
#define	isl_int_sgn(i)   mpz_sgn(i)
#define	isl_int_cmp(i, j)   mpz_cmp(i,j)
#define	isl_int_cmp_si(i, si)   mpz_cmp_si(i,si)
#define	isl_int_eq(i, j)   (mpz_cmp(i,j) == 0)
#define	isl_int_ne(i, j)   (mpz_cmp(i,j) != 0)
#define	isl_int_lt(i, j)   (mpz_cmp(i,j) < 0)
#define	isl_int_le(i, j)   (mpz_cmp(i,j) <= 0)
#define	isl_int_gt(i, j)   (mpz_cmp(i,j) > 0)
#define	isl_int_ge(i, j)   (mpz_cmp(i,j) >= 0)
#define	isl_int_abs_cmp(i, j)   mpz_cmpabs(i,j)
#define	isl_int_abs_eq(i, j)   (mpz_cmpabs(i,j) == 0)
#define	isl_int_abs_ne(i, j)   (mpz_cmpabs(i,j) != 0)
#define	isl_int_abs_lt(i, j)   (mpz_cmpabs(i,j) < 0)
#define	isl_int_abs_gt(i, j)   (mpz_cmpabs(i,j) > 0)
#define	isl_int_abs_ge(i, j)   (mpz_cmpabs(i,j) >= 0)
#define	isl_int_is_divisible_by(i, j)   mpz_divisible_p(i,j)
#define	isl_int_hash(v, h)   isl_gmp_hash(v,h)
#define	isl_int_free_str(s)

Typedefs
typedef mpz_t	isl_int
typedef void(*	isl_int_print_mp_free_t) (void *, size_t)

Functions
uint32_t	isl_gmp_hash (mpz_t v, uint32_t hash)
void	mp_get_memory_functions (void *(**alloc_func_ptr)(size_t), void *(**realloc_func_ptr)(void *, size_t, size_t), void(**free_func_ptr)(void *, size_t))

Macro Definition Documentation

isl_int_abs

#define isl_int_abs	(		r,
			i
	)		mpz_abs(r,i)

Definition at line 23 of file isl_int_gmp.h.

isl_int_abs_cmp

#define isl_int_abs_cmp	(		i,
			j
	)		mpz_cmpabs(i,j)

Definition at line 63 of file isl_int_gmp.h.

isl_int_abs_eq

#define isl_int_abs_eq	(		i,
			j
	)		(mpz_cmpabs(i,j) == 0)

Definition at line 64 of file isl_int_gmp.h.

isl_int_abs_ge

#define isl_int_abs_ge	(		i,
			j
	)		(mpz_cmpabs(i,j) >= 0)

Definition at line 68 of file isl_int_gmp.h.

isl_int_abs_gt

#define isl_int_abs_gt	(		i,
			j
	)		(mpz_cmpabs(i,j) > 0)

Definition at line 67 of file isl_int_gmp.h.

isl_int_abs_lt

#define isl_int_abs_lt	(		i,
			j
	)		(mpz_cmpabs(i,j) < 0)

Definition at line 66 of file isl_int_gmp.h.

isl_int_abs_ne

#define isl_int_abs_ne	(		i,
			j
	)		(mpz_cmpabs(i,j) != 0)

Definition at line 65 of file isl_int_gmp.h.

isl_int_add

#define isl_int_add	(		r,
			i,
			j
	)		mpz_add(r,i,j)

Definition at line 30 of file isl_int_gmp.h.

isl_int_add_ui

#define isl_int_add_ui	(		r,
			i,
			j
	)		mpz_add_ui(r,i,j)

Definition at line 27 of file isl_int_gmp.h.

isl_int_addmul

#define isl_int_addmul	(		r,
			i,
			j
	)		mpz_addmul(r,i,j)

Definition at line 37 of file isl_int_gmp.h.

isl_int_addmul_ui

#define isl_int_addmul_ui	(		r,
			i,
			j
	)		mpz_addmul_ui(r,i,j)

Definition at line 38 of file isl_int_gmp.h.

isl_int_cdiv_q

#define isl_int_cdiv_q	(		r,
			i,
			j
	)		mpz_cdiv_q(r,i,j)

Definition at line 47 of file isl_int_gmp.h.

isl_int_cdiv_q_ui

#define isl_int_cdiv_q_ui	(		r,
			i,
			j
	)		mpz_cdiv_q_ui(r,i,j)

Definition at line 48 of file isl_int_gmp.h.

isl_int_clear

#define isl_int_clear

(

i

)

mpz_clear(i)

Definition at line 12 of file isl_int_gmp.h.

isl_int_cmp

#define isl_int_cmp	(		i,
			j
	)		mpz_cmp(i,j)

Definition at line 55 of file isl_int_gmp.h.

isl_int_cmp_si

#define isl_int_cmp_si	(		i,
			si
	)		mpz_cmp_si(i,si)

Definition at line 56 of file isl_int_gmp.h.

isl_int_divexact

#define isl_int_divexact	(		r,
			i,
			j
	)		mpz_divexact(r,i,j)

Definition at line 44 of file isl_int_gmp.h.

isl_int_divexact_ui

#define isl_int_divexact_ui	(		r,
			i,
			j
	)		mpz_divexact_ui(r,i,j)

Definition at line 45 of file isl_int_gmp.h.

isl_int_eq

#define isl_int_eq	(		i,
			j
	)		(mpz_cmp(i,j) == 0)

Definition at line 57 of file isl_int_gmp.h.

isl_int_fdiv_q

#define isl_int_fdiv_q	(		r,
			i,
			j
	)		mpz_fdiv_q(r,i,j)

Definition at line 49 of file isl_int_gmp.h.

isl_int_fdiv_q_ui

#define isl_int_fdiv_q_ui	(		r,
			i,
			j
	)		mpz_fdiv_q_ui(r,i,j)

Definition at line 51 of file isl_int_gmp.h.

isl_int_fdiv_r

#define isl_int_fdiv_r	(		r,
			i,
			j
	)		mpz_fdiv_r(r,i,j)

Definition at line 50 of file isl_int_gmp.h.

isl_int_fits_slong

#define isl_int_fits_slong

(

r

)

mpz_fits_slong_p(r)

Definition at line 17 of file isl_int_gmp.h.

isl_int_fits_ulong

#define isl_int_fits_ulong

(

r

)

mpz_fits_ulong_p(r)

Definition at line 19 of file isl_int_gmp.h.

isl_int_free_str

#define isl_int_free_str

(

s

)

Value:

  do {                \
    isl_int_print_mp_free_t mp_free;      \
    mp_get_memory_functions(NULL, NULL, &mp_free);    \
    (*mp_free)(s, strlen(s) + 1);       \
  } while (0)

Definition at line 82 of file isl_int_gmp.h.

isl_int_gcd

#define isl_int_gcd	(		r,
			i,
			j
	)		mpz_gcd(r,i,j)

Definition at line 42 of file isl_int_gmp.h.

isl_int_ge

#define isl_int_ge	(		i,
			j
	)		(mpz_cmp(i,j) >= 0)

Definition at line 62 of file isl_int_gmp.h.

isl_int_get_d

#define isl_int_get_d

(

r

)

mpz_get_d(r)

Definition at line 21 of file isl_int_gmp.h.

isl_int_get_si

#define isl_int_get_si

(

r

)

mpz_get_si(r)

Definition at line 18 of file isl_int_gmp.h.

isl_int_get_str

#define isl_int_get_str

(

r

)

mpz_get_str(0, 10, r)

Definition at line 22 of file isl_int_gmp.h.

isl_int_get_ui

#define isl_int_get_ui

(

r

)

mpz_get_ui(r)

Definition at line 20 of file isl_int_gmp.h.

isl_int_gt

#define isl_int_gt	(		i,
			j
	)		(mpz_cmp(i,j) > 0)

Definition at line 61 of file isl_int_gmp.h.

isl_int_hash

#define isl_int_hash	(		v,
			h
	)		isl_gmp_hash(v,h)

Definition at line 72 of file isl_int_gmp.h.

isl_int_init

#define isl_int_init

(

i

)

mpz_init(i)

Definition at line 11 of file isl_int_gmp.h.

isl_int_is_divisible_by

#define isl_int_is_divisible_by	(		i,
			j
	)		mpz_divisible_p(i,j)

Definition at line 69 of file isl_int_gmp.h.

isl_int_lcm

#define isl_int_lcm	(		r,
			i,
			j
	)		mpz_lcm(r,i,j)

Definition at line 43 of file isl_int_gmp.h.

isl_int_le

#define isl_int_le	(		i,
			j
	)		(mpz_cmp(i,j) <= 0)

Definition at line 60 of file isl_int_gmp.h.

isl_int_lt

#define isl_int_lt	(		i,
			j
	)		(mpz_cmp(i,j) < 0)

Definition at line 59 of file isl_int_gmp.h.

isl_int_mul

#define isl_int_mul	(		r,
			i,
			j
	)		mpz_mul(r,i,j)

Definition at line 32 of file isl_int_gmp.h.

isl_int_mul_2exp

#define isl_int_mul_2exp	(		r,
			i,
			j
	)		mpz_mul_2exp(r,i,j)

Definition at line 33 of file isl_int_gmp.h.

isl_int_mul_si

#define isl_int_mul_si	(		r,
			i,
			j
	)		mpz_mul_si(r,i,j)

Definition at line 34 of file isl_int_gmp.h.

isl_int_mul_ui

#define isl_int_mul_ui	(		r,
			i,
			j
	)		mpz_mul_ui(r,i,j)

Definition at line 35 of file isl_int_gmp.h.

isl_int_ne

#define isl_int_ne	(		i,
			j
	)		(mpz_cmp(i,j) != 0)

Definition at line 58 of file isl_int_gmp.h.

isl_int_neg

#define isl_int_neg	(		r,
			i
	)		mpz_neg(r,i)

Definition at line 24 of file isl_int_gmp.h.

isl_int_pow_ui

#define isl_int_pow_ui	(		r,
			i,
			j
	)		mpz_pow_ui(r,i,j)

Definition at line 36 of file isl_int_gmp.h.

isl_int_read

#define isl_int_read	(		r,
			s
	)		mpz_set_str(r,s,10)

Definition at line 53 of file isl_int_gmp.h.

isl_int_set

#define isl_int_set	(		r,
			i
	)		mpz_set(r,i)

Definition at line 14 of file isl_int_gmp.h.

isl_int_set_si

#define isl_int_set_si	(		r,
			i
	)		mpz_set_si(r,i)

Definition at line 15 of file isl_int_gmp.h.

isl_int_set_ui

#define isl_int_set_ui	(		r,
			i
	)		mpz_set_ui(r,i)

Definition at line 16 of file isl_int_gmp.h.

isl_int_sgn

#define isl_int_sgn

(

i

)

mpz_sgn(i)

Definition at line 54 of file isl_int_gmp.h.

isl_int_sub

#define isl_int_sub	(		r,
			i,
			j
	)		mpz_sub(r,i,j)

Definition at line 31 of file isl_int_gmp.h.

isl_int_sub_ui

#define isl_int_sub_ui	(		r,
			i,
			j
	)		mpz_sub_ui(r,i,j)

Definition at line 28 of file isl_int_gmp.h.

isl_int_submul

#define isl_int_submul	(		r,
			i,
			j
	)		mpz_submul(r,i,j)

Definition at line 39 of file isl_int_gmp.h.

isl_int_submul_ui

#define isl_int_submul_ui	(		r,
			i,
			j
	)		mpz_submul_ui(r,i,j)

Definition at line 40 of file isl_int_gmp.h.

isl_int_swap

#define isl_int_swap	(		i,
			j
	)		mpz_swap(i,j)

Definition at line 25 of file isl_int_gmp.h.

isl_int_swap_or_set

#define isl_int_swap_or_set	(		i,
			j
	)		mpz_swap(i,j)

Definition at line 26 of file isl_int_gmp.h.

isl_int_tdiv_q

#define isl_int_tdiv_q	(		r,
			i,
			j
	)		mpz_tdiv_q(r,i,j)

Definition at line 46 of file isl_int_gmp.h.

Typedef Documentation

isl_int

typedef mpz_t isl_int

Definition at line 9 of file isl_int_gmp.h.

isl_int_print_mp_free_t

typedef void(* isl_int_print_mp_free_t) (void *, size_t)

Definition at line 81 of file isl_int_gmp.h.

Function Documentation

isl_gmp_hash()

uint32_t isl_gmp_hash	(	mpz_t	v,
		uint32_t	hash
	)

Definition at line 12 of file isl_gmp.c.

References isl_hash_byte.

mp_get_memory_functions()

void mp_get_memory_functions	(	void *(**)(size_t)	alloc_func_ptr,
		void *(**)(void *, size_t, size_t)	realloc_func_ptr,
		void(**)(void *, size_t)	free_func_ptr
	)

Definition at line 3 of file mp_get_memory_functions.c.