/*
Copyright (C) 2016 Pascal Molin
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 .
*/
#include
#include "acb_dft.h"
#include "flint/profiler.h"
#define LOG 0
#define CSV 1
#define JSON 2
typedef void (*do_f) (acb_ptr z, acb_srcptr x, acb_srcptr y, slong len, slong prec);
int main(int argc, char *argv[])
{
int out;
ulong n, nref, maxq = 5000;
flint_rand_t state;
slong r, nr;
int l, nf = 5;
do_f func[5] = {
acb_dft_convol_naive,
acb_dft_convol_dft,
acb_dft_convol_rad2,
acb_dft_convol_mullow,
acb_dft_convol,
};
char * name[5] = {
"naive",
"dft",
"rad2",
"mullow",
"default"
};
int i, ni = 14;
ulong len[14] = { 60, 5*5*5, 131, 2*3*5*7, 256,
3*3*3*3*3, 2*2*2*43, 503, 2*2*2*101, 3001,
8192, 13*11*61, 10000, 101*103 };
char * factor[14] = { "2^2*3*5", "5^3", "131", "2*3*5*7", "2^8",
"3^5", "2^3*43", "503", "2^3*101", "3001",
"2^13", "11*13*61", "2^4*5^4", "101*103" };
slong ml[14] = { 20, 10, 10, 5, 5,
5, 3, 3, 2, 2,
1, 1, 1, 1};
int j, nj = 4;
slong prec[4] = { 64, 128, 512, 1024 };
slong mp[4] = { 40, 20, 5, 2 };
if (argc < 2)
out = LOG;
else if (!strcmp(argv[1], "json"))
out = JSON;
else if (!strcmp(argv[1], "csv"))
out = CSV;
else if (!strcmp(argv[1], "log"))
out = LOG;
else
{
printf("usage: %s [log|csv|json]\n", argv[0]);
flint_abort();
}
if (out == CSV)
flint_printf("# %-12s, %7s, %7s, %7s\n","name", "prec", "len", "factor", "time");
flint_randinit(state);
for (j = 0; j < nj; j++)
{
for (i = 0; i < ni; i++)
{
slong k, nm;
acb_ptr u, v, w;
nm = mp[j] * ml[i];
u = _acb_vec_init(len[i]);
v = _acb_vec_init(len[i]);
w = _acb_vec_init(len[i]);
for (k = 0; k < len[i]; k++)
{
acb_randtest_precise(u + k, state, prec[j], 4);
acb_randtest_precise(v + k, state, prec[j], 4);
}
if (out == LOG)
flint_printf("%wu * CONV(%wu = %s), prec %wu....\n", nm, len[i], factor[i], prec[j]);
for (l = 0; l < nf; l++)
{
slong m;
if (len[i] > 1000 && l == 0)
continue;
if (out == LOG)
flint_printf("%-14s ... ", name[l]);
else if (out == CSV)
flint_printf("%-12s, %7d, %8s, %7d, ", name[l], prec[j], len[i], factor[i]);
else if (out == JSON)
flint_printf("{ \"name\": \"%s\", \"prec\": %d, \"len\": %d, \"factor\": %s, \"time\": ",
name[l], prec[j], len[i], factor[i]);
TIMEIT_ONCE_START
for (m = 0; m < nm; m++)
func[l](w, u, v, len[i], prec[j]);
TIMEIT_ONCE_STOP
if (out == JSON)
flint_printf("}\n");
else
flint_printf("\n");
}
_acb_vec_clear(u, len[i]);
_acb_vec_clear(v, len[i]);
_acb_vec_clear(w, len[i]);
}
}
flint_cleanup();
return EXIT_SUCCESS;
}