flint-sys 0.9.0

Bindings to the FLINT C library
Documentation 
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

/*
    Copyright (C) 2012 Sebastian Pancratz

    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 3 of the License, or
    (at your option) any later version.  See <https://www.gnu.org/licenses/>.
*/

/*
    Benchmarks for the q-adic exponential (rectangular) routine.

    We consider the set-up with p = 17, N = 2^i, i = 0, ..., 19,
    and compute the norm of p A mod p^N, where

        A = [a{0},...,a{d-1}], where a{i} = (3+i)^{3N}.
 */

#include <sys/types.h>
#include <time.h>
#include <unistd.h>

#include "fmpz.h"
#include "qadic.h"

int
main(void)
{
    slong l, len = 20;
    slong runs[] = {
        10000000, 1000000, 100000, 100000, 10000,
        10000, 1000, 1000, 1000, 100,
        10, 10, 1, 1, 1,
        1, 1, 1, 1, 1
    };
    slong N[] = {
        1, 2, 4, 8, 16,
        32, 64, 128, 256, 512,
        1024, WORD(1) << 11, WORD(1) << 12, WORD(1) << 13, WORD(1) << 14,
        WORD(1) << 15, WORD(1) << 16, WORD(1) << 17, WORD(1) << 18, WORD(1) << 19
    };
    slong T[20] = {0};

    flint_printf("Benchmark for q-adic exponential (rectangular).\n");
    fflush(stdout);

for (l = 0; l < FLINT_MIN(16, len); l++)
{
    slong d = 5, i, n = N[l], r;
    clock_t c0, c1;
    long double cputime;

    fmpz_t p;
    qadic_ctx_t ctx;
    qadic_t b;
    qadic_t z;

    FLINT_TEST_INIT(state);

    fmpz_init_set_ui(p, 17);

    qadic_ctx_init_conway(ctx, p, d, n, n, "X", PADIC_VAL_UNIT);

    qadic_init(b);
    qadic_init(z);

    padic_poly_fit_length(b, d);
    _padic_poly_set_length(b, d);
    b->val = 1;

    for (i = 0; i < d; i++)
    {
        fmpz_t f, pN;

        fmpz_init(f);
        fmpz_init(pN);
        fmpz_set_ui(f, 3 + i);
        fmpz_pow_ui(pN, p, n - 1);
        fmpz_powm_ui(b->coeffs + i, f, 3 * n, pN);
        fmpz_clear(f);
        fmpz_clear(pN);
    }
    _padic_poly_normalise(b);

    c0 = clock();
    for (r = runs[l]; (r); r--)
    {
        qadic_exp_rectangular(z, b, ctx);
        qadic_zero(z);
    }
    c1 = clock();

    cputime = (long double) (c1 - c0) / (long double) CLOCKS_PER_SEC;

    T[l] = (slong) (cputime * (1000000000 / runs[l]));

    flint_printf("%2ld, %4XYXYXYXY, %8ld, %wd\n",
        l, cputime, runs[l], T[l]);

    qadic_clear(b);
    qadic_clear(z);

    fmpz_clear(p);
    qadic_ctx_clear(ctx);
    FLINT_TEST_CLEAR(state);
}

    flint_printf("Output as a list:\n");
    for (l = 0; l < len; l++)
        flint_printf("%wd, ", T[l]);
    flint_printf("\n");

    return 0;
}