summaryrefslogtreecommitdiffstats
path: root/lib/ellint_2.c
blob: 59660cdec7031c0456ecc7b5a134539f2b3f06d9 (plain)
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
// Complete Elliptic Integral of the Second Kind
//
// ellint_2 - E(m)
//
// E(m) = ∫₀^(π/2) √(1 - m*sin²(θ)) dθ, computed via AGM
//
// Inputs:    1 (parameter m)
// Outputs:   1 (E(m))
// Constants: 0

#include <math.h>
#include "ts.h"


ts_parameter_t const ts_ellint_2_p = { .n_inputs = 1, .n_outputs = 1, .n_constants = 0, .params_size = 0 };

uint_t ts_ellint_2_offset( ts_constant_t const *c )
{
	( void )c;
	return ( 0 );
}

int ts_ellint_2(
	fp_t * const *y, uint_t y_n,
	fp_t const * const *x, uint_t x_n,
	uint_t n, ts_constant_t const *c
)
{
	TS_PROLOGUE( ts_ellint_2_p );
	(void)c;
    for (uint_t i = 0; i < n; ++i)
    {
        fp_t m = x[0][i];
        if (m <= 0.0)
        {
            y[0][i] = PI / 2.0;
        }
        else if (m >= 1.0)
        {
            y[0][i] = 1.0;
        }
        else
        {
            fp_t a = 1.0;
            fp_t b = sqrt(1.0 - m);
            fp_t s = 0.0;
            fp_t scale = 0.5;
            for (uint_t j = 0; j < 30; ++j)
            {
                fp_t a_new = (a + b) / 2.0;
                fp_t b_new = sqrt(a * b);
                fp_t c_new = (a - b) / 2.0;
                s += scale * c_new * c_new;
                a = a_new;
                b = b_new;
                scale *= 2.0;
                if (c_new < 1e-15) break;
            }
            y[0][i] = (PI / (2.0 * a)) * (1.0 - s);
        }
    }
	return 0;
}