-
Notifications
You must be signed in to change notification settings - Fork 0
/
ulong_extras.h
524 lines (349 loc) · 13.6 KB
/
ulong_extras.h
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
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
/*
Copyright (C) 2006, 2007, 2008, 2009, 2016 William Hart
Copyright (C) 2008, Peter Shrimpton
Copyright (C) 2009, Tom Boothby
Copyright (C) 2010, Fredrik Johansson
This file is part of FLINT.
FLINT is free software: you can redistribute it and/or modify it under
the terms of the GNU Lesser General Public License (LGPL) as published
by the Free Software Foundation; either version 2.1 of the License, or
(at your option) any later version. See <http://www.gnu.org/licenses/>.
*/
#ifndef ULONG_EXTRAS_H
#define ULONG_EXTRAS_H
#ifdef ULONG_EXTRAS_INLINES_C
#define ULONG_EXTRAS_INLINE FLINT_DLL
#else
#define ULONG_EXTRAS_INLINE static __inline__
#endif
#include <gmp.h>
#include "flint.h"
#ifdef __cplusplus
extern "C" {
#endif
typedef struct pair_s
{
ulong x, y;
} n_pair_t;
#define FLINT_MAX_FACTORS_IN_LIMB 15
typedef struct {
int num;
int exp[FLINT_MAX_FACTORS_IN_LIMB];
ulong p[FLINT_MAX_FACTORS_IN_LIMB];
} n_factor_t;
#define FLINT_ODDPRIME_SMALL_CUTOFF 4096
#define FLINT_NUM_PRIMES_SMALL 172
#define FLINT_PRIMES_SMALL_CUTOFF 1030
#define FLINT_PSEUDOSQUARES_CUTOFF 1000
#define FLINT_FACTOR_TRIAL_PRIMES 3000
/* nth_prime(FLINT_FACTOR_TRIAL_PRIMES) */
#define FLINT_FACTOR_TRIAL_PRIMES_PRIME UWORD(27449)
#define FLINT_FACTOR_TRIAL_CUTOFF (UWORD(27449) * UWORD(27449))
#define FLINT_PRIMES_TAB_DEFAULT_CUTOFF 1000000
#define FLINT_FACTOR_SQUFOF_ITERS 50000
#define FLINT_FACTOR_ONE_LINE_MAX (UWORD(1)<<39)
#define FLINT_FACTOR_ONE_LINE_ITERS 40000
#define FLINT_PRIME_PI_ODD_LOOKUP_CUTOFF 311
#define FLINT_SIEVE_SIZE 65536
#if FLINT64
#define UWORD_MAX_PRIME UWORD(18446744073709551557)
#else
#define UWORD_MAX_PRIME UWORD(4294967291)
#endif
#define UWORD_HALF (UWORD_MAX / 2 + 1)
typedef struct
{
slong small_i;
slong small_num;
unsigned int * small_primes;
ulong sieve_a;
ulong sieve_b;
slong sieve_i;
slong sieve_num;
char * sieve;
}
n_primes_struct;
typedef n_primes_struct n_primes_t[1];
FLINT_DLL void n_primes_init(n_primes_t iter);
FLINT_DLL void n_primes_clear(n_primes_t iter);
FLINT_DLL void n_primes_extend_small(n_primes_t iter, ulong bound);
FLINT_DLL void n_primes_sieve_range(n_primes_t iter, ulong a, ulong b);
FLINT_DLL void n_primes_jump_after(n_primes_t iter, ulong n);
ULONG_EXTRAS_INLINE ulong
n_primes_next(n_primes_t iter)
{
if (iter->small_i < iter->small_num)
return iter->small_primes[(iter->small_i)++];
for (;;)
{
while (iter->sieve_i < iter->sieve_num)
if (iter->sieve[iter->sieve_i++] != 0)
return iter->sieve_a + 2 * (iter->sieve_i - 1);
if (iter->sieve_b == 0)
n_primes_jump_after(iter, iter->small_primes[iter->small_num-1]);
else
n_primes_jump_after(iter, iter->sieve_b);
}
}
FLINT_DLL extern const unsigned int flint_primes_small[];
extern FLINT_TLS_PREFIX ulong * _flint_primes[FLINT_BITS];
extern FLINT_TLS_PREFIX double * _flint_prime_inverses[FLINT_BITS];
extern FLINT_TLS_PREFIX int _flint_primes_used;
#if defined(_OPENMP)
#pragma omp threadprivate(_flint_primes, _flint_prime_inverses, _flint_primes_used)
#endif
FLINT_DLL void n_compute_primes(ulong num_primes);
FLINT_DLL void n_cleanup_primes(void);
FLINT_DLL const ulong * n_primes_arr_readonly(ulong n);
FLINT_DLL const double * n_prime_inverses_arr_readonly(ulong n);
#if 0 /* not needed by ampff */
FLINT_DLL ulong n_randlimb(flint_rand_t state);
FLINT_DLL ulong n_randint(flint_rand_t state, ulong limit);
FLINT_DLL ulong n_randbits(flint_rand_t state, unsigned int bits);
FLINT_DLL ulong n_randtest_bits(flint_rand_t state, int bits);
FLINT_DLL ulong n_randtest(flint_rand_t state);
FLINT_DLL ulong n_randtest_not_zero(flint_rand_t state);
FLINT_DLL ulong n_randprime(flint_rand_t state, ulong bits, int proved);
FLINT_DLL ulong n_randtest_prime(flint_rand_t state, int proved);
#endif /* not needed by ampff */
FLINT_DLL ulong n_pow(ulong n, ulong exp);
FLINT_DLL ulong n_flog(ulong n, ulong b);
FLINT_DLL ulong n_clog(ulong n, ulong b);
ULONG_EXTRAS_INLINE
double n_precompute_inverse(ulong n)
{
return (double) 1 / (double) n;
}
ULONG_EXTRAS_INLINE
ulong n_preinvert_limb(ulong n)
{
ulong norm, ninv;
count_leading_zeros(norm, n);
invert_limb(ninv, n << norm);
return ninv;
}
FLINT_DLL ulong n_mod_precomp(ulong a, ulong n, double ninv);
FLINT_DLL ulong n_mod2_precomp(ulong a, ulong n, double ninv);
FLINT_DLL ulong n_divrem2_precomp(ulong * q, ulong a,
ulong n, double npre);
FLINT_DLL ulong n_divrem2_preinv(ulong * q, ulong a, ulong n, ulong ninv);
FLINT_DLL ulong n_div2_preinv(ulong a, ulong n, ulong ninv);
FLINT_DLL ulong n_mod2_preinv(ulong a, ulong n, ulong ninv);
FLINT_DLL ulong n_ll_mod_preinv(ulong a_hi, ulong a_lo,
ulong n, ulong ninv);
FLINT_DLL ulong n_lll_mod_preinv(ulong a_hi, ulong a_mi,
ulong a_lo, ulong n, ulong ninv);
FLINT_DLL ulong n_mulmod_precomp(ulong a, ulong b,
ulong n, double ninv);
ULONG_EXTRAS_INLINE
ulong n_mulmod2_preinv(ulong a, ulong b, ulong n, ulong ninv)
{
ulong p1, p2;
FLINT_ASSERT(n != 0);
umul_ppmm(p1, p2, a, b);
return n_ll_mod_preinv(p1, p2, n, ninv);
}
ULONG_EXTRAS_INLINE
ulong n_mulmod2(ulong a, ulong b, ulong n)
{
ulong p1, p2, ninv;
FLINT_ASSERT(n != 0);
ninv = n_preinvert_limb(n);
umul_ppmm(p1, p2, a, b);
return n_ll_mod_preinv(p1, p2, n, ninv);
}
FLINT_DLL ulong n_mulmod_preinv(ulong a, ulong b,
ulong n, ulong ninv, ulong norm);
FLINT_DLL ulong n_powmod_ui_precomp(ulong a, ulong exp, ulong n, double npre);
FLINT_DLL ulong n_powmod_precomp(ulong a, slong exp, ulong n, double npre);
ULONG_EXTRAS_INLINE
ulong n_powmod(ulong a, slong exp, ulong n)
{
double npre = n_precompute_inverse(n);
return n_powmod_precomp(a, exp, n, npre);
}
FLINT_DLL ulong n_powmod2_preinv(ulong a, slong exp, ulong n, ulong ninv);
FLINT_DLL ulong n_powmod2_ui_preinv(ulong a, ulong exp, ulong n, ulong ninv);
FLINT_DLL ulong n_powmod_ui_preinv(ulong a, ulong exp, ulong n,
ulong ninv, ulong norm);
ULONG_EXTRAS_INLINE
ulong n_powmod2(ulong a, slong exp, ulong n)
{
ulong ninv;
FLINT_ASSERT(n != 0);
ninv = n_preinvert_limb(n);
return n_powmod2_preinv(a, exp, n, ninv);
}
ULONG_EXTRAS_INLINE
ulong n_addmod(ulong x, ulong y, ulong n)
{
FLINT_ASSERT(x < n);
FLINT_ASSERT(y < n);
FLINT_ASSERT(n != 0);
return (n - y > x ? x + y : x + y - n);
}
ULONG_EXTRAS_INLINE
ulong n_submod(ulong x, ulong y, ulong n)
{
FLINT_ASSERT(x < n);
FLINT_ASSERT(y < n);
FLINT_ASSERT(n != 0);
return (y > x ? x - y + n : x - y);
}
ULONG_EXTRAS_INLINE
ulong n_negmod(ulong x, ulong n)
{
FLINT_ASSERT(x < n);
FLINT_ASSERT(n != 0);
return n_submod(0, x, n);
}
FLINT_DLL ulong n_sqrtmod(ulong a, ulong p);
FLINT_DLL slong n_sqrtmod_2pow(ulong ** sqrt, ulong a, slong exp);
FLINT_DLL slong n_sqrtmod_primepow(ulong ** sqrt, ulong a,
ulong p, slong exp);
FLINT_DLL slong n_sqrtmodn(ulong ** sqrt, ulong a, n_factor_t * fac);
FLINT_DLL ulong n_gcd(ulong x, ulong y);
#define n_gcd_full n_gcd
FLINT_DLL ulong n_xgcd(ulong * a, ulong * b, ulong x, ulong y);
FLINT_DLL ulong n_gcdinv(ulong * a, ulong x, ulong y);
ULONG_EXTRAS_INLINE
ulong n_invmod(ulong x, ulong y)
{
ulong r, g;
g = n_gcdinv(&r, x, y);
#if 0 /* not needed by ampff */
if (g != 1)
flint_throw(FLINT_IMPINV, "Cannot invert modulo %wd*%wd\n", g, g/y);
#endif /* not needed by ampff */
return r;
}
FLINT_DLL ulong n_revbin(ulong in, ulong bits);
FLINT_DLL int n_jacobi(slong x, ulong y);
FLINT_DLL int n_jacobi_unsigned(ulong x, ulong y);
FLINT_DLL ulong n_sqrt(ulong a);
FLINT_DLL ulong n_sqrtrem(ulong * r, ulong a);
FLINT_DLL int n_is_square(ulong x);
FLINT_DLL double n_cbrt_estimate(double a);
FLINT_DLL ulong n_cbrt(ulong a);
FLINT_DLL ulong n_cbrt_binary_search(ulong x);
FLINT_DLL ulong n_cbrt_newton_iteration(ulong n);
FLINT_DLL ulong n_cbrt_chebyshev_approx(ulong n);
FLINT_DLL ulong n_cbrtrem(ulong* remainder, ulong n);
FLINT_DLL int n_is_perfect_power235(ulong n);
FLINT_DLL int n_is_perfect_power(ulong * root, ulong n);
FLINT_DLL int n_is_oddprime_small(ulong n);
FLINT_DLL int n_is_oddprime_binary(ulong n);
FLINT_DLL int n_is_probabprime_fermat(ulong n, ulong i);
FLINT_DLL int n_is_probabprime_fibonacci(ulong n);
FLINT_DLL int n_is_probabprime_lucas(ulong n);
FLINT_DLL int n_is_probabprime_BPSW(ulong n);
FLINT_DLL int n_is_strong_probabprime_precomp(ulong n,
double npre, ulong a, ulong d);
FLINT_DLL int n_is_strong_probabprime2_preinv(ulong n,
ulong ninv, ulong a, ulong d);
FLINT_DLL int n_is_probabprime(ulong n);
FLINT_DLL int n_is_prime_pseudosquare(ulong n);
FLINT_DLL int n_is_prime_pocklington(ulong n, ulong iterations);
FLINT_DLL int n_is_prime(ulong n);
FLINT_DLL ulong n_nth_prime(ulong n);
FLINT_DLL void n_nth_prime_bounds(ulong *lo, ulong *hi, ulong n);
FLINT_DLL ulong n_prime_pi(ulong n);
FLINT_DLL void n_prime_pi_bounds(ulong *lo, ulong *hi, ulong n);
FLINT_DLL int n_remove(ulong * n, ulong p);
FLINT_DLL int n_remove2_precomp(ulong * n, ulong p, double ppre);
ULONG_EXTRAS_INLINE
void n_factor_init(n_factor_t * factors)
{
factors->num = UWORD(0);
}
FLINT_DLL void n_factor_insert(n_factor_t * factors, ulong p, ulong exp);
FLINT_DLL ulong n_factor_trial_range(n_factor_t * factors,
ulong n, ulong start, ulong num_primes);
FLINT_DLL ulong n_factor_trial_partial(n_factor_t * factors, ulong n,
ulong * prod, ulong num_primes, ulong limit);
FLINT_DLL ulong n_factor_trial(n_factor_t * factors,
ulong n, ulong num_primes);
FLINT_DLL ulong n_factor_partial(n_factor_t * factors,
ulong n, ulong limit, int proved);
FLINT_DLL ulong n_factor_power235(ulong *exp, ulong n);
FLINT_DLL ulong n_factor_one_line(ulong n, ulong iters);
FLINT_DLL ulong n_factor_lehman(ulong n);
FLINT_DLL ulong n_factor_SQUFOF(ulong n, ulong iters);
FLINT_DLL void n_factor(n_factor_t * factors, ulong n, int proved);
FLINT_DLL ulong n_factor_pp1(ulong n, ulong B1, ulong c);
FLINT_DLL int n_factor_pollard_brent_single(ulong *factor, ulong n,
ulong ninv, ulong ai,
ulong xi, ulong normbits,
ulong max_iters);
#if 0 /* not needed by ampff */
FLINT_DLL int n_factor_pollard_brent(ulong *factor, flint_rand_t state,
ulong n_in, ulong max_tries,
ulong max_iters);
#endif /* not needed by ampff */
FLINT_DLL int n_is_squarefree(ulong n);
FLINT_DLL int n_moebius_mu(ulong n);
FLINT_DLL void n_moebius_mu_vec(int * mu, ulong len);
FLINT_DLL ulong n_euler_phi(ulong n);
FLINT_DLL int n_sizeinbase(ulong n, int base);
FLINT_DLL ulong n_nextprime(ulong n, int proved);
FLINT_DLL ulong n_factorial_mod2_preinv(ulong n, ulong p, ulong pinv);
FLINT_DLL ulong n_factorial_fast_mod2_preinv(ulong n, ulong p, ulong pinv);
FLINT_DLL ulong n_primitive_root_prime_prefactor(ulong p, n_factor_t * factors);
FLINT_DLL ulong n_primitive_root_prime(ulong p);
FLINT_DLL ulong n_discrete_log_bsgs(ulong b, ulong a, ulong n);
FLINT_DLL ulong n_root_estimate(double a, int n);
FLINT_DLL ulong n_rootrem(ulong* remainder, ulong n, ulong root);
FLINT_DLL ulong n_root(ulong n, ulong root);
/***** ECM functions *********************************************************/
typedef struct n_ecm_s {
ulong x, z; /* the coordinates */
ulong a24; /* value (a + 2)/4 */
ulong ninv;
ulong normbits;
ulong one;
unsigned char *GCD_table; /* checks whether baby step int is
coprime to Primorial or not */
unsigned char **prime_table;
} n_ecm_s;
typedef n_ecm_s n_ecm_t[1];
FLINT_DLL void n_factor_ecm_double(ulong *x, ulong *z, ulong x0,
ulong z0, ulong n, n_ecm_t n_ecm_inf);
FLINT_DLL void n_factor_ecm_add(ulong *x, ulong *z, ulong x1,
ulong z1, ulong x2, ulong z2,
ulong x0, ulong z0, ulong n,
n_ecm_t n_ecm_inf);
FLINT_DLL void n_factor_ecm_mul_montgomery_ladder(ulong *x, ulong *z,
ulong x0, ulong z0,
ulong k, ulong n,
n_ecm_t n_ecm_inf);
FLINT_DLL int n_factor_ecm_select_curve(ulong *f, ulong sig, ulong n,
n_ecm_t n_ecm_inf);
FLINT_DLL int n_factor_ecm_stage_I(ulong *f, const ulong *prime_array,
ulong num, ulong B1, ulong n,
n_ecm_t n_ecm_inf);
FLINT_DLL int n_factor_ecm_stage_II(ulong *f, ulong B1, ulong B2,
ulong P, ulong n, n_ecm_t n_ecm_inf);
#if 0 /* not needed by ampff */
FLINT_DLL int n_factor_ecm(ulong *f, ulong curves, ulong B1,
ulong B2, flint_rand_t state, ulong n);
#endif /* not needed by ampff */
FLINT_DLL mp_limb_t n_mulmod_precomp_shoup(mp_limb_t w, mp_limb_t p);
static __inline__
mp_limb_t
n_mulmod_shoup(mp_limb_t w, mp_limb_t t, mp_limb_t w_precomp, mp_limb_t p)
{
mp_limb_t q, r, p_hi, p_lo;
umul_ppmm(p_hi, p_lo, w_precomp, t);
q = p_hi;
r = w * t;
r -= q * p;
if (r >= p)
{
r -= p;
}
return r;
}
#ifdef __cplusplus
}
#endif
#endif