flint3-sys 3.2.2

Rust bindings to the FLINT C library
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

/*
    Copyright (C) 2015 William Hart
    Copyright (C) 2015 Fredrik Johansson
    Copyright (C) 2015 Kushagra Singh

    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 <math.h>
#include "ulong_extras.h"


/* this table contains the value of UWORD_MAX / n, for n in range [1, FLINT_BITS] */

static const ulong mul_factor[] = {
#ifdef FLINT64
                        UWORD(0), UWORD_MAX,        UWORD(9223372036854775807),
                        UWORD(6148914691236517205), UWORD(4611686018427387903),
                        UWORD(3689348814741910323), UWORD(3074457345618258602),
                        UWORD(2635249153387078802), UWORD(2305843009213693951),
                        UWORD(2049638230412172401), UWORD(1844674407370955161),
                        UWORD(1676976733973595601), UWORD(1537228672809129301),
                        UWORD(1418980313362273201), UWORD(1317624576693539401),
                        UWORD(1229782938247303441), UWORD(1152921504606846975),
                        UWORD(1085102592571150095), UWORD(1024819115206086200),
                        UWORD(970881267037344821), UWORD(922337203685477580),
                        UWORD(878416384462359600), UWORD(838488366986797800),
                        UWORD(802032351030850070), UWORD(768614336404564650),
                        UWORD(737869762948382064), UWORD(709490156681136600),
                        UWORD(683212743470724133), UWORD(658812288346769700),
                        UWORD(636094623231363848), UWORD(614891469123651720),
                        UWORD(595056260442243600), UWORD(576460752303423487),
                        UWORD(558992244657865200), UWORD(542551296285575047),
                        UWORD(527049830677415760), UWORD(512409557603043100),
                        UWORD(498560650640798692), UWORD(485440633518672410),
                        UWORD(472993437787424400), UWORD(461168601842738790),
                        UWORD(449920587163647600), UWORD(439208192231179800),
                        UWORD(428994048225803525), UWORD(419244183493398900),
                        UWORD(409927646082434480), UWORD(401016175515425035),
                        UWORD(392483916461905353), UWORD(384307168202282325),
                        UWORD(376464164769582686), UWORD(368934881474191032),
                        UWORD(361700864190383365), UWORD(354745078340568300),
                        UWORD(348051774975651917), UWORD(341606371735362066),
                        UWORD(335395346794719120), UWORD(329406144173384850),
                        UWORD(323627089012448273), UWORD(318047311615681924),
                        UWORD(312656679215416129), UWORD(307445734561825860),
                        UWORD(302405640552615600), UWORD(297528130221121800),
                        UWORD(292805461487453200), UWORD(288230376151711743)
#else
                        UWORD(0), UWORD_MAX, UWORD(2147483647), UWORD(1431655765),
                        UWORD(1073741823), UWORD(858993459), UWORD(715827882),
                        UWORD(613566756), UWORD(536870911), UWORD(477218588),
                        UWORD(429496729), UWORD(390451572), UWORD(357913941),
                        UWORD(330382099), UWORD(306783378), UWORD(286331153),
                        UWORD(268435455), UWORD(252645135), UWORD(238609294),
                        UWORD(226050910), UWORD(214748364), UWORD(204522252),
                        UWORD(195225786), UWORD(186737708), UWORD(178956970),
                        UWORD(171798691), UWORD(165191049), UWORD(159072862),
                        UWORD(153391689), UWORD(148102320), UWORD(143165576),
                        UWORD(138547332), UWORD(134217727),
#endif
                                                            };
                        /* this table consists of 65 values in case of FLINT64,
                           otherwise 33 */

/* function to get a good approximation of the cube root */
/* Algorithm for this approximation is mentioned in this article */
/* https://en.wikipedia.org/wiki/Fast_inverse_square_root */
/* Instead of the inverse square root, we calculate the nth root */

ulong
n_root_estimate(double a, int n)
{
    typedef union {
        slong      uword_val;
#ifdef FLINT64
        double     double_val;
#else
        float      double_val;
#endif
    } uni;

    uni alias;
    ulong i, hi, lo, s;
    alias.double_val = a;

#ifdef FLINT64
    s = ((1 << 10) - 1);
    s <<= 52;
#else
    s = ((1 << 7) - 1);
    s <<= 23;
#endif

    i = alias.uword_val;
    i -= s;
    umul_ppmm(hi, lo, i, mul_factor[n]);
    i = hi;
    i += s;
    alias.uword_val = i;
    return (ulong)alias.double_val;
}