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

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

#include "nmod.h"
#include "nmod_vec.h"
#include "nmod_poly.h"
#include "arith.h"

static void
bsplit_nmod(nn_ptr R, nn_ptr Q, slong a, slong b, nmod_t mod)
{
    if (b - a == 1)
    {
        R[0] = 0;
        R[1] = 1;
        Q[0] = 1;
        Q[1] = nmod_neg(nmod_set_ui(a, mod), mod);
    }
    else
    {
        slong m, len1, len2;
        nn_ptr R1, R2, Q1, Q2;
        m = a + (b - a) / 2;

        len1 = (m - a) + 1;
        len2 = (b - m) + 1;

        R1 = _nmod_vec_init(2 * len1 + 2 * len2);
        Q1 = R1 + len1;
        R2 = Q1 + len1;
        Q2 = R2 + len2;

        bsplit_nmod(R1, Q1, a, m, mod);
        bsplit_nmod(R2, Q2, m, b, mod);

        _nmod_poly_mul(R, Q2, len2, R1, len1, mod);
        _nmod_vec_add(R + (m - a), R + (m - a), R2, len2, mod);
        _nmod_poly_mul(Q, Q2, len2, Q1, len1, mod);

        _nmod_vec_clear(R1);
    }
}

void
arith_bell_number_nmod_vec_ogf(nn_ptr res, slong len, nmod_t mod)
{
    nn_ptr R, Q;

    if (len <= 2 || mod.n == 1)
    {
        arith_bell_number_nmod_vec_recursive(res, len, mod);
        return;
    }

    R = _nmod_vec_init(len + 1);
    Q = _nmod_vec_init(len + 1);

    bsplit_nmod(R, Q, 1, len, mod);
    _nmod_poly_div_series(res, R, len, Q, len, len, mod);
    res[0] = 1;

    _nmod_vec_clear(R);
    _nmod_vec_clear(Q);
}