/usr/include/numint.h is in libapron-dev 0.9.10-6.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 | /* ********************************************************************** */
/* numint.h */
/* ********************************************************************** */
#ifndef _NUMINT_H_
#define _NUMINT_H_
#include <stdint.h>
#include "gmp.h"
#include "mpfr.h"
#include "ap_scalar.h"
#include "num_config.h"
#if defined(NUMINT_LONGINT) || defined(NUMINT_LONGLONGINT)
#include "numint_native.h"
#elif defined(NUMINT_MPZ)
#include "numint_mpz.h"
#else
#error "HERE"
#endif
#ifdef __cplusplus
extern "C" {
#endif
/*
NUMINT_LONGINT and NUMINT_LONGLONGINT also define
- NUMINT_MAX: max positive value.
It is assumed that (-NUMINT_MAX) is also representable
- NUMINT_NATIVE: no heap allocated memory
*/
/* ====================================================================== */
/* Assignement */
/* ====================================================================== */
static inline void numint_set(numint_t a, numint_t b);
static inline void numint_set_array(numint_t* a, numint_t* b, size_t size);
static inline void numint_set_int(numint_t a, long int i);
/* ====================================================================== */
/* Constructors and Destructors */
/* ====================================================================== */
static inline void numint_init(numint_t a);
static inline void numint_init_array(numint_t* a, size_t size);
static inline void numint_init_set(numint_t a, numint_t b);
static inline void numint_init_set_int(numint_t a, long int i);
static inline void numint_clear(numint_t a);
static inline void numint_clear_array(numint_t* a, size_t size);
static inline void numint_swap(numint_t a, numint_t b)
{ numint_t t; *t=*a;*a=*b;*b=*t; }
/* ====================================================================== */
/* Arithmetic Operations */
/* ====================================================================== */
static inline void numint_neg(numint_t a, numint_t b);
static inline void numint_abs(numint_t a, numint_t b);
static inline void numint_add(numint_t a, numint_t b, numint_t c);
static inline void numint_add_uint(numint_t a, numint_t b, unsigned long int c);
static inline void numint_sub(numint_t a, numint_t b, numint_t c);
static inline void numint_sub_uint(numint_t a, numint_t b, unsigned long int c);
static inline void numint_mul(numint_t a, numint_t b, numint_t c);
static inline void numint_mul_2(numint_t a, numint_t b);
static inline void numint_fdiv_q(numint_t a, numint_t b, numint_t c);
static inline void numint_cdiv_q(numint_t q, numint_t a, numint_t b);
static inline void numint_cdiv_t(numint_t q, numint_t a, numint_t b);
static inline void numint_cdiv_qr(numint_t q, numint_t r, numint_t a, numint_t b);
static inline void numint_cdiv_2(numint_t a, numint_t b);
static inline void numint_cdiv_q_2exp(numint_t a, numint_t b, unsigned long int c);
static inline void numint_fdiv_q_2exp(numint_t a, numint_t b, unsigned long int c);
static inline void numint_min(numint_t a, numint_t b, numint_t c);
static inline void numint_max(numint_t a, numint_t b, numint_t c);
static inline void numint_floor(numint_t a, numint_t b);
static inline void numint_ceil(numint_t a, numint_t b);
static inline void numint_sqrt(numint_t up, numint_t down, numint_t b);
static inline void numint_mul_2exp(numint_t a, numint_t b, int c);
/* ====================================================================== */
/* Arithmetic Integer Operations */
/* ====================================================================== */
static inline void numint_divexact(numint_t a, numint_t b, numint_t c);
static inline void numint_mod(numint_t a, numint_t b, numint_t c);
static inline void numint_gcd(numint_t a, numint_t b, numint_t c);
static inline void numint_lcm(numint_t a, numint_t b, numint_t c);
/* ====================================================================== */
/* Arithmetic Tests */
/* ====================================================================== */
static inline int numint_sgn(numint_t a);
static inline int numint_cmp(numint_t a, numint_t b);
static inline int numint_cmp_int(numint_t a, long int b);
static inline bool numint_equal(numint_t a, numint_t b);
/* ====================================================================== */
/* Printing */
/* ====================================================================== */
static inline void numint_print(numint_t a);
static inline void numint_fprint(FILE* stream, numint_t a);
static inline int numint_snprint(char* s, size_t size, numint_t a);
/* ====================================================================== */
/* Conversions */
/* ====================================================================== */
static inline bool numint_set_int2(numint_t a, long int i, long int j);
/* int2 -> numint */
static inline bool numint_set_mpz(numint_t a, mpz_t b);
/* mpz -> numint */
static inline bool numint_set_mpq(numint_t a, mpq_t b);
/* mpq -> numint */
static inline bool numint_set_double(numint_t a, double b);
/* double -> numint */
static inline bool numint_set_mpfr(numint_t a, mpfr_t b);
/* mpfr -> numint */
static inline bool numint_set_ap_scalar(numint_t a, ap_scalar_t* b);
/* (finite) ap_scalar -> numint */
static inline bool int_set_numint(long int* a, numint_t b);
/* numint -> int */
static inline bool mpz_set_numint(mpz_t a, numint_t b);
/* numint -> mpz */
static inline bool mpq_set_numint(mpq_t a, numint_t b);
/* numint -> mpq */
static inline bool double_set_numint(double* a, numint_t b);
/* numint -> double */
static inline bool mpfr_set_numint(mpfr_t a, numint_t b);
/* numint -> mpfr */
static inline bool ap_scalar_set_numint(ap_scalar_t* a, numint_t b);
/* numint -> ap_scalar */
static inline bool mpz_fits_numint(mpz_t a);
static inline bool mpq_fits_numint(mpq_t a);
static inline bool double_fits_numint(double a);
static inline bool mpfr_fits_numint(mpfr_t a);
static inline bool numint_fits_int(numint_t a);
static inline bool numint_fits_float(numint_t a);
static inline bool numint_fits_double(numint_t a);
static inline bool numint_fits_mpfr(numint_t a);
/* Optimized versions */
static inline bool mpq_fits_numint_tmp(mpq_t a, mpz_t mpz);
static inline bool numint_set_mpq_tmp(numint_t a, mpq_t b,
mpz_t q, mpz_t r);
/* ====================================================================== */
/* Serialization */
/* ====================================================================== */
static inline unsigned char numint_serialize_id(void);
static inline size_t numint_serialize(void* dst, numint_t src);
static inline size_t numint_deserialize(numint_t dst, const void* src);
static inline size_t numint_serialized_size(numint_t a);
/* */
static inline bool numint_set_ap_scalar(numint_t a, ap_scalar_t* b)
{
assert (ap_scalar_infty(b)==0);
switch (b->discr){
case AP_SCALAR_MPQ:
return numint_set_mpq(a,b->val.mpq);
case AP_SCALAR_DOUBLE:
return numint_set_double(a,b->val.dbl);
case AP_SCALAR_MPFR:
return numint_set_mpfr(a,b->val.mpfr);
default: abort();
}
}
static inline bool ap_scalar_set_numint(ap_scalar_t* a, numint_t b)
{
ap_scalar_reinit(a,AP_SCALAR_MPQ);
return mpq_set_numint(a->val.mpq,b);
}
#ifdef __cplusplus
}
#endif
#endif
|