arb/dlog/test/t-vec.c

111 lines
2.8 KiB
C
Raw Normal View History

2016-09-06 15:43:12 +02:00
/*
2016-03-18 18:28:11 +01:00
Copyright (C) 2016 Pascal Molin
2016-09-06 15:43:12 +02:00
This file is part of Arb.
Arb 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/>.
*/
2016-03-18 18:28:11 +01:00
#include "dlog.h"
typedef void (*vec_f) (ulong *v, ulong nv, ulong a, ulong va, const nmod_t mod, ulong na, const nmod_t order);
2016-03-29 12:52:26 +01:00
2016-03-18 18:28:11 +01:00
void
dlog_vec_trivial(ulong *v, ulong nv, ulong a, ulong va, const nmod_t mod, ulong na, const nmod_t order)
{
ulong k;
dlog_precomp_t pre;
dlog_precomp_n_init(pre, a, mod.n, na, 50);
for (k = 1; k < nv; k++)
if (n_gcd(k, mod.n) > 1)
v[k] = DLOG_NOT_FOUND;
2016-03-18 18:28:11 +01:00
else
v[k] = dlog_precomp(pre, k % mod.n);
dlog_precomp_clear(pre);
2016-03-18 18:28:11 +01:00
}
static ulong
dlog_vec_diff(ulong * v, ulong * ref, ulong nv)
{
ulong k;
for (k = 1; k < nv; k++)
if (ref[k] != v[k])
return k;
return 0;
}
int main()
{
slong bits, nv, iter;
flint_rand_t state;
int f, nf = 4;
vec_f func[4] = { dlog_vec_trivial, dlog_vec_loop, dlog_vec_eratos,
dlog_vec_sieve };
char * n[4] = { "trivial", "loop", "eratos", "sieve" };
2016-03-18 18:28:11 +01:00
2016-03-29 12:52:26 +01:00
flint_printf("vec....");
2016-03-18 18:28:11 +01:00
fflush(stdout);
flint_randinit(state);
2016-09-14 14:49:09 +02:00
for (bits = 10; bits <= FLINT_MIN(35, FLINT_BITS); bits += 5)
2016-03-18 18:28:11 +01:00
{
2016-03-29 12:52:26 +01:00
2016-03-18 18:28:11 +01:00
for (nv = 10; nv <= 10000; nv *= 10)
{
ulong *v, *ref;
int iref;
iref = (bits == 10 && nv <= 1000) ? 0 : 2;
ref = flint_malloc(nv * sizeof(ulong));
v = flint_malloc(nv * sizeof(ulong));
for (iter = 0; iter < 10; iter++)
{
int k;
ulong p, a, va, na;
nmod_t mod, order;
p = n_randprime(state, bits, 0);
a = n_primitive_root_prime(p);
nmod_init(&mod, p);
va = 1; na = p - 1;
nmod_init(&order, na);
dlog_vec_fill(ref, nv, 0);
2016-03-18 18:28:11 +01:00
(func[iref])(ref, nv, a, va, mod, na, order);
/* compare */
for (f = iref + 1; f < nf; f++)
2016-03-18 18:28:11 +01:00
{
dlog_vec_fill(v, nv, 0);
2016-03-18 18:28:11 +01:00
(func[f])(v, nv, a, va, mod, na, order);
if ((k = dlog_vec_diff(v, ref, nv)))
{
flint_printf("FAIL: log(%wu,%wu) mod %wu: %s->%w != %s->%w\n",
2016-03-18 18:28:11 +01:00
k, a, p, n[iref], ref[k], n[f], v[k]);
flint_abort();
2016-03-18 18:28:11 +01:00
}
}
2016-03-29 12:52:26 +01:00
2016-03-18 18:28:11 +01:00
}
2016-03-29 12:52:26 +01:00
2016-03-18 18:28:11 +01:00
flint_free(ref);
flint_free(v);
}
2016-03-29 12:52:26 +01:00
2016-03-18 18:28:11 +01:00
}
flint_randclear(state);
flint_cleanup();
flint_printf("PASS\n");
return EXIT_SUCCESS;
}