/usr/include/fplll/nr/nr.h is in libfplll-dev 5.0.3-1.
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 | #ifndef FPLLL_NR_H
#define FPLLL_NR_H
/**
* loading definitions
*/
#include <iostream>
#include "../defs.h"
#include "fplll/nr/nr_rand.inl"
#include "fplll/nr/nr_Z.inl"
#include "fplll/nr/nr_Z_l.inl"
#include "fplll/nr/nr_Z_d.inl"
#include "fplll/nr/nr_Z_mpz.inl"
#include "fplll/nr/nr_FP.inl"
#include "fplll/nr/nr_FP_d.inl"
#include "fplll/nr/nr_FP_ld.inl"
#ifdef FPLLL_WITH_DPE
#include "fplll/nr/nr_FP_dpe.inl"
#endif
#ifdef FPLLL_WITH_QD
#include "fplll/nr/nr_FP_dd.inl"
#include "fplll/nr/nr_FP_qd.inl"
#endif
#include "fplll/nr/nr_FP_mpfr.inl"
#include "fplll/nr/nr_Z_misc.inl"
#include "fplll/nr/nr_FP_misc.inl"
FPLLL_BEGIN_NAMESPACE
/**
* Some defaults.
*/
/* Default floating-point type */
typedef mpfr_t FloatT;
typedef FP_NR<FloatT> Float;
/* Default integer type */
typedef mpz_t IntegerT;
typedef Z_NR<IntegerT> Integer;
/* Floating-point type inside the SVP/CVP solver */
typedef double enumf;
typedef double enumxt;
//typedef int enumxt;
/**
* return type
*/
template<class T> inline const char* num_type_str() {return "";}
#ifdef FPLLL_WITH_ZLONG
template<> inline const char* num_type_str<long>() {return "long";}
#endif
template<> inline const char* num_type_str<double>() {return "double";}
template<> inline const char* num_type_str<mpz_t>() {return "mpz_t";}
#ifdef FPLLL_WITH_LONG_DOUBLE
template<> inline const char* num_type_str<long double>() {return "long double";}
#endif
#ifdef FPLLL_WITH_DPE
template<> inline const char* num_type_str<dpe_t>() {return "dpe_t";}
#endif
#ifdef FPLLL_WITH_QD
template<> inline const char* num_type_str<dd_real>() {return "dd_real";}
template<> inline const char* num_type_str<qd_real>() {return "qd_real";}
#endif
template<> inline const char* num_type_str<mpfr_t>() {return "mpfr_t";}
FPLLL_END_NAMESPACE
#endif
|