drop isl_basic_set_drop_redundant_divs
[isl.git] / isl_int.h
blob07be2bae563b33929f84874d03805ff3f3341b65
1 /*
2 * Copyright 2008-2009 Katholieke Universiteit Leuven
4 * Use of this software is governed by the MIT license
6 * Written by Sven Verdoolaege, K.U.Leuven, Departement
7 * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
8 */
10 #ifndef ISL_INT_H
11 #define ISL_INT_H
12 #define ISL_DEPRECATED_INT_H
14 #include <isl/hash.h>
15 #include <isl/printer.h>
16 #include <string.h>
17 #include <isl_config.h>
19 #ifdef USE_GMP_FOR_MP
20 #include <isl_int_gmp.h>
21 #endif
23 #ifdef USE_IMATH_FOR_MP
24 #ifdef USE_SMALL_INT_OPT
25 #include <isl_int_sioimath.h>
26 #else /* USE_SMALL_INT_OPT */
27 #include <isl_int_imath.h>
28 #endif /* USE_SMALL_INT_OPT */
29 #endif /* USE_IMATH_FOR_MP */
31 #define isl_int_is_zero(i) (isl_int_sgn(i) == 0)
32 #define isl_int_is_one(i) (isl_int_cmp_si(i,1) == 0)
33 #define isl_int_is_negone(i) (isl_int_cmp_si(i,-1) == 0)
34 #define isl_int_is_pos(i) (isl_int_sgn(i) > 0)
35 #define isl_int_is_neg(i) (isl_int_sgn(i) < 0)
36 #define isl_int_is_nonpos(i) (isl_int_sgn(i) <= 0)
37 #define isl_int_is_nonneg(i) (isl_int_sgn(i) >= 0)
39 #ifndef USE_SMALL_INT_OPT
40 #define isl_int_print(out,i,width) \
41 do { \
42 char *s; \
43 s = isl_int_get_str(i); \
44 fprintf(out, "%*s", width, s); \
45 isl_int_free_str(s); \
46 } while (0)
47 #endif /* USE_SMALL_INT_OPT */
49 __isl_give isl_printer *isl_printer_print_isl_int(__isl_take isl_printer *p,
50 isl_int i);
52 #endif /* ISL_INT_H */