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
117
118
119
120

/*
    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 norm routine.

    We consider the set-up with p = 17, N = 2^i, i = 0, ..., 19,
    and compute the norm of E = 1 + 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[] = {
        1000000, 10000, 10000, 10000, 10000,
        10000, 10000, 1000, 1000, 1000,
        100, 100, 10, 10, 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 norm (resultant).\n");
    fflush(stdout);

for (l = 0; l < 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 e;
    padic_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(e);
    padic_init(z);

    padic_poly_fit_length(e, d);
    _padic_poly_set_length(e, d);
    e->val = 0;

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

        fmpz_init(f);
        fmpz_init(pow);
        fmpz_set_ui(f, 3 + i);
        fmpz_pow_ui(pow, p, n);
        fmpz_pow_ui(e->coeffs + i, f, 3 * n);
        fmpz_mul(e->coeffs + i, e->coeffs + i, p);
        if (i == 0)
            fmpz_add_ui(e->coeffs + 0, e->coeffs + 0, 1);
        fmpz_mod(e->coeffs + i, e->coeffs + i, pow);
        fmpz_clear(f);
        fmpz_clear(pow);
    }
    _padic_poly_normalise(e);

    c0 = clock();
    for (r = runs[l]; (r); r--)
    {
        qadic_norm_resultant(z, e, ctx);
        padic_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(e);
    padic_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;
}