/usr/include/FLINT/flint.h is in libflint-dev 1.011-2.
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 | /*============================================================================
This file is part of FLINT.
FLINT is free software; you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation; either version 2 of the License, or
(at your option) any later version.
FLINT is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
You should have received a copy of the GNU General Public License
along with FLINT; if not, write to the Free Software
Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
===============================================================================*/
/******************************************************************************
flint.h
Main header file for FLINT.
(C) 2006 William Hart and David Harvey
******************************************************************************/
#ifndef FLINT_H
#define FLINT_H
#include <limits.h>
#include <assert.h>
#include <gmp.h>
#include <math.h>
#include <stdint.h>
#include "longlong_wrapper.h"
#ifdef __cplusplus
extern "C" {
#endif
#if 0
#define FLINT_ASSERT assert
#else
#define FLINT_ASSERT(zzz_dummy)
#endif
#ifndef __USE_ISOC99
#define round(x) floor(x + 0.5)
#endif
#define FLINT_MAX(zzz1, zzz2) ((zzz1) > (zzz2) ? (zzz1) : (zzz2))
#define FLINT_MIN(zzz1, zzz2) ((zzz1) > (zzz2) ? (zzz2) : (zzz1))
#define FLINT_ABS(zzz) ((long)(zzz) < 0 ? (-zzz) : (zzz))
/*
FLINT_BITS is the number of bits per limb.
*/
#if ULONG_MAX == 4294967295U
#define FLINT_BITS 32
#define FLINT_D_BITS 32
#define FLINT_LG_BITS_PER_LIMB 5
#define FLINT_BYTES_PER_LIMB 4
#define FLINT_LG_BYTES_PER_LIMB 2
#elif ULONG_MAX == 18446744073709551615U
#define FLINT_BITS 64
#define FLINT_D_BITS 53
#define FLINT_LG_BITS_PER_LIMB 6
#define FLINT_BYTES_PER_LIMB 8
#define FLINT_LG_BYTES_PER_LIMB 3
#else
// only 32 and 64 bits are supported
#error FLINT requires that unsigned long is 32 bits or 64 bits
#endif
/*
Cache hints to speed up reads from data in memory
*/
#if defined(__GNUC__)
#define FLINT_PREFETCH(addr,n) __builtin_prefetch((unsigned long*)addr+n,1,0)
#elif defined(_MSC_VER) && _MSC_VER >= 1400
#define FLINT_PREFETCH(addr,n) PreFetchCacheLine(PF_TEMPORAL_LEVEL_1, (unsigned long*)addr+n)
#else
#define FLINT_PREFETCH(addr,n) /* nothing */
#endif
/*
Cache size in bytes.
*/
#define FLINT_CACHE_SIZE 65536
#define FLINT_POL_DIV_1_LENGTH 10
#if FLINT_BITS == 32
#define half_ulong uint16_t
#define half_long int16_t
#define HALF_FLINT_BITS 16
#else
#define half_ulong uint32_t
#define half_long int32_t
#define HALF_FLINT_BITS 32
#endif
#if defined(__GNUC__)
#if FLINT_BITS == 64
#define count_lead_zeros(a,b) \
a = __builtin_clzll(b);
#define count_trail_zeros(a,b) \
a = __builtin_ctzll(b);
#else
#define count_lead_zeros(a,b) \
a = __builtin_clzl(b);
#define count_trail_zeros(a,b) \
a = __builtin_ctzl(b);
#endif
#else
#error Currently FLINT only compiles with GCC
#endif
/*
On some platforms arithmetic shifts by FLINT_BITS don't yield all zeros
So we define these macros for use in situations where this would be a problem
*/
static inline unsigned long r_shift(unsigned long in, unsigned long shift)
{
if (shift == FLINT_BITS) return 0L;
return (in>>shift);
}
static inline unsigned long l_shift(unsigned long in, unsigned long shift)
{
if (shift == FLINT_BITS) return 0L;
return (in<<shift);
}
static inline unsigned long FLINT_BIT_COUNT(unsigned long x)
{
unsigned long zeros = 0L;
if (x) count_lead_zeros(zeros, x);
return FLINT_BITS-zeros;
}
/*
Returns ceil(log2(x)).
If x == 0, returns 0.
*/
static inline unsigned long ceil_log2(unsigned long x)
{
unsigned long result = 0;
if (x)
{
x--;
result = FLINT_BIT_COUNT(x);
}
return result;
}
#ifdef __cplusplus
}
#endif
#endif
// end of file ****************************************************************
|