diff options
author | Omar Vega Ramos <ovruni@gnu.org.pe> | 2015-07-16 14:21:34 -0500 |
---|---|---|
committer | Omar Vega Ramos <ovruni@gnu.org.pe> | 2015-07-16 14:21:34 -0500 |
commit | 7a24dbb2f6dca9e0c30f75c3c9b12d81c41bd984 (patch) | |
tree | 95c21b175d249070039a7eaa2ab8b8a2b2a6aa27 /libre/sagemath/ntl9.patch | |
parent | 5c9e07c02b8174ddb3782bfd24c58451654bfe5a (diff) | |
download | abslibre-7a24dbb2f6dca9e0c30f75c3c9b12d81c41bd984.tar.gz abslibre-7a24dbb2f6dca9e0c30f75c3c9b12d81c41bd984.tar.bz2 abslibre-7a24dbb2f6dca9e0c30f75c3c9b12d81c41bd984.zip |
sagemath: add new package to [libre]
Diffstat (limited to 'libre/sagemath/ntl9.patch')
-rw-r--r-- | libre/sagemath/ntl9.patch | 178 |
1 files changed, 178 insertions, 0 deletions
diff --git a/libre/sagemath/ntl9.patch b/libre/sagemath/ntl9.patch new file mode 100644 index 000000000..191491826 --- /dev/null +++ b/libre/sagemath/ntl9.patch @@ -0,0 +1,178 @@ +--- ./src/sage/rings/bernmm/bernmm-test.cpp.orig 2015-02-16 17:15:12.000000000 -0700 ++++ ./src/sage/rings/bernmm/bernmm-test.cpp 2015-05-07 21:39:58.565251320 -0600 +@@ -70,7 +70,7 @@ void bern_naive(mpq_t* res, long n) + */ + int testcase__bern_modp_powg(long p, long k, mpq_t b) + { +- double pinv = 1 / ((double) p); ++ wide_double pinv = wide_double(1) / wide_double(p); + + // compute B_k mod p using _bern_modp_powg() + long x = _bern_modp_powg(p, pinv, k); +@@ -147,7 +147,7 @@ int test__bern_modp_powg() + */ + int testcase__bern_modp_pow2(long p, long k) + { +- double pinv = 1 / ((double) p); ++ wide_double pinv = wide_double(1) / wide_double(p); + + if (PowerMod(2, k, p, pinv) == 1) + return 1; +--- ./src/sage/rings/bernmm/bern_modp.cpp.orig 2015-02-16 17:15:12.000000000 -0700 ++++ ./src/sage/rings/bernmm/bern_modp.cpp 2015-05-07 20:17:37.680381004 -0600 +@@ -43,14 +43,14 @@ namespace bernmm { + pinv = 1 / ((double) p) + g = a multiplicative generator of GF(p), in [0, p) + */ +-long bernsum_powg(long p, double pinv, long k, long g) ++long bernsum_powg(long p, wide_double pinv, long k, long g) + { + long half_gm1 = (g + ((g & 1) ? 0 : p) - 1) / 2; // (g-1)/2 mod p + long g_to_jm1 = 1; + long g_to_km1 = PowerMod(g, k-1, p, pinv); + long g_to_km1_to_j = g_to_km1; + long sum = 0; +- double g_pinv = ((double) g) / ((double) p); ++ wide_double g_pinv = wide_double(g) / wide_double(p); + mulmod_precon_t g_to_km1_pinv = PrepMulModPrecon(g_to_km1, p, pinv); + + for (long j = 1; j <= (p-1)/2; j++) +@@ -224,7 +224,7 @@ public: + #error Number of bits in a long must be divisible by TABLE_LG_SIZE + #endif + +-long bernsum_pow2(long p, double pinv, long k, long g, long n) ++long bernsum_pow2(long p, wide_double pinv, long k, long g, long n) + { + // In the main summation loop we accumulate data into the _tables_ array; + // tables[y][z] contributes to the final answer with a weight of +@@ -481,7 +481,7 @@ long PrepRedc(long n) + (See bernsum_pow2() for code comments; we only add comments here where + something is different from bernsum_pow2()) + */ +-long bernsum_pow2_redc(long p, double pinv, long k, long g, long n) ++long bernsum_pow2_redc(long p, wide_double pinv, long k, long g, long n) + { + long pinv2 = PrepRedc(p); + long F = (1L << (ULONG_BITS/2)) % p; +@@ -655,7 +655,7 @@ long bernsum_pow2_redc(long p, double pi + + Algorithm: uses bernsum_powg() to compute the main sum. + */ +-long _bern_modp_powg(long p, double pinv, long k) ++long _bern_modp_powg(long p, wide_double pinv, long k) + { + Factorisation F(p-1); + long g = primitive_root(p, pinv, F); +@@ -685,7 +685,7 @@ long _bern_modp_powg(long p, double pinv + Algorithm: uses bernsum_pow2() (or bernsum_pow2_redc() if p is small + enough) to compute the main sum. + */ +-long _bern_modp_pow2(long p, double pinv, long k) ++long _bern_modp_pow2(long p, wide_double pinv, long k) + { + Factorisation F(p-1); + long g = primitive_root(p, pinv, F); +@@ -717,7 +717,7 @@ long _bern_modp_pow2(long p, double pinv + 2 <= k <= p-3, k even + pinv = 1 / ((double) p) + */ +-long _bern_modp(long p, double pinv, long k) ++long _bern_modp(long p, wide_double pinv, long k) + { + if (PowerMod(2, k, p, pinv) != 1) + // 2^k != 1 mod p, so we use the faster version +@@ -765,7 +765,7 @@ long bern_modp(long p, long k) + if (m == 0) + return -1; + +- double pinv = 1 / ((double) p); ++ wide_double pinv = wide_double(1) / wide_double (p); + long x = _bern_modp(p, pinv, m); // = B_m/m mod p + return MulMod(x, k, p, pinv); + } +--- ./src/sage/rings/bernmm/bern_modp.h.orig 2015-02-16 17:15:12.000000000 -0700 ++++ ./src/sage/rings/bernmm/bern_modp.h 2015-05-09 08:06:39.732529882 -0600 +@@ -12,6 +12,7 @@ + #ifndef BERNMM_BERN_MODP_H + #define BERNMM_BERN_MODP_H + ++#include <NTL/ZZ.h> + + namespace bernmm { + +@@ -29,8 +30,8 @@ long bern_modp(long p, long k); + /* + Exported for testing. + */ +-long _bern_modp_powg(long p, double pinv, long k); +-long _bern_modp_pow2(long p, double pinv, long k); ++long _bern_modp_powg(long p, NTL::wide_double pinv, long k); ++long _bern_modp_pow2(long p, NTL::wide_double pinv, long k); + + + }; +--- ./src/sage/rings/bernmm/bern_modp_util.cpp.orig 2015-02-16 17:15:12.000000000 -0700 ++++ ./src/sage/rings/bernmm/bern_modp_util.cpp 2015-05-07 21:38:06.662182003 -0600 +@@ -20,7 +20,7 @@ NTL_CLIENT; + namespace bernmm { + + +-long PowerMod(long a, long ee, long n, double ninv) ++long PowerMod(long a, long ee, long n, wide_double ninv) + { + long x, y; + +@@ -89,7 +89,7 @@ PrimeTable::PrimeTable(long bound) + } + + +-long order(long x, long p, double pinv, const Factorisation& F) ++long order(long x, long p, wide_double pinv, const Factorisation& F) + { + // in the loop below, m is always some multiple of the order of x + long m = p - 1; +@@ -113,7 +113,7 @@ long order(long x, long p, double pinv, + + + +-long primitive_root(long p, double pinv, const Factorisation& F) ++long primitive_root(long p, wide_double pinv, const Factorisation& F) + { + if (p == 2) + return 1; +--- ./src/sage/rings/bernmm/bern_modp_util.h.orig 2015-02-16 17:15:12.000000000 -0700 ++++ ./src/sage/rings/bernmm/bern_modp_util.h 2015-05-09 08:58:22.618458475 -0600 +@@ -17,6 +17,7 @@ + #include <vector> + #include <cassert> + #include <climits> ++#include <NTL/ZZ.h> + + + #if ULONG_MAX == 4294967295U +@@ -39,7 +40,7 @@ namespace bernmm { + + (Implementation is adapted from ZZ.c in NTL 5.4.1.) + */ +-long PowerMod(long a, long ee, long n, double ninv); ++long PowerMod(long a, long ee, long n, NTL::wide_double ninv); + + + /* +@@ -123,13 +124,13 @@ long next_prime(long p); + /* + Computes order of x mod p, given the factorisation F of p-1. + */ +-long order(long x, long p, double pinv, const Factorisation& F); ++long order(long x, long p, NTL::wide_double pinv, const Factorisation& F); + + + /* + Finds the smallest primitive root mod p, given the factorisation F of p-1. + */ +-long primitive_root(long p, double pinv, const Factorisation& F); ++long primitive_root(long p, NTL::wide_double pinv, const Factorisation& F); + + + }; // end namespace |