bigdecimal-math_r 0.2.0 → 0.2.2
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- checksums.yaml +4 -4
- data/README.md +63 -10
- data/changelog.md +32 -0
- data/ext/bigdecimal/math_r/algofunc.h +11 -1
- data/ext/bigdecimal/math_r/api/bigmath/const_e.h +1 -1
- data/ext/bigdecimal/math_r/api/bigmath/const_euler_gamma.h +5 -0
- data/ext/bigdecimal/math_r/api/bigmath/csqrt.h +1 -1
- data/ext/bigdecimal/math_r/api/kernel/rb_BigDecimal_flo.h +8 -2
- data/ext/bigdecimal/math_r/api/numeric/domain_p.h +7 -0
- data/ext/bigdecimal/math_r/api/numeric/nan_p.h +4 -1
- data/ext/bigdecimal/math_r/api.h +2 -0
- data/ext/bigdecimal/math_r/const.c +42 -5
- data/ext/bigdecimal/math_r/decl.h +11 -1
- data/ext/bigdecimal/math_r/exp.c +45 -3
- data/ext/bigdecimal/math_r/extconf.rb +5 -1
- data/ext/bigdecimal/math_r/{gamma_r.c → gamma_beta.c} +11 -78
- data/ext/bigdecimal/math_r/internal/algo/bigmath/E/{ser.h → napier.h} +1 -1
- data/ext/bigdecimal/math_r/internal/algo/bigmath/EulerGamma/borwein_bailey.h +37 -0
- data/ext/bigdecimal/math_r/internal/algo/bigmath/LOG10/ser.h +4 -2
- data/ext/bigdecimal/math_r/internal/algo/bigmath/LOG_PI/builtin.h +3 -1
- data/ext/bigdecimal/math_r/internal/algo/bigmath/SQRT2/builtin.h +4 -1
- data/ext/bigdecimal/math_r/internal/algo/bigmath/SQRT3/builtin.h +4 -1
- data/ext/bigdecimal/math_r/internal/algo/bigmath/acos/branch.h +11 -4
- data/ext/bigdecimal/math_r/internal/algo/bigmath/acosh/branch.h +2 -2
- data/ext/bigdecimal/math_r/internal/algo/bigmath/acosh/edom.h +7 -5
- data/ext/bigdecimal/math_r/internal/algo/bigmath/acot/logrep.h +9 -6
- data/ext/bigdecimal/math_r/internal/algo/bigmath/acoth/branch.h +4 -4
- data/ext/bigdecimal/math_r/internal/algo/bigmath/acoth/edom.h +4 -3
- data/ext/bigdecimal/math_r/internal/algo/bigmath/acoth/logrep.h +5 -2
- data/ext/bigdecimal/math_r/internal/algo/bigmath/acsc/branch.h +3 -4
- data/ext/bigdecimal/math_r/internal/algo/bigmath/acsc/edom.h +7 -6
- data/ext/bigdecimal/math_r/internal/algo/bigmath/acsc/logrep.h +6 -5
- data/ext/bigdecimal/math_r/internal/algo/bigmath/acsch/branch.h +3 -9
- data/ext/bigdecimal/math_r/internal/algo/bigmath/acsch/logrep.h +7 -6
- data/ext/bigdecimal/math_r/internal/algo/bigmath/asec/branch.h +7 -4
- data/ext/bigdecimal/math_r/internal/algo/bigmath/asec/edom.h +7 -6
- data/ext/bigdecimal/math_r/internal/algo/bigmath/asec/logrep.h +8 -7
- data/ext/bigdecimal/math_r/internal/algo/bigmath/asech/branch.h +2 -5
- data/ext/bigdecimal/math_r/internal/algo/bigmath/asech/edom.h +10 -6
- data/ext/bigdecimal/math_r/internal/algo/bigmath/asech/logrep.h +3 -2
- data/ext/bigdecimal/math_r/internal/algo/bigmath/asin/branch.h +4 -2
- data/ext/bigdecimal/math_r/internal/algo/bigmath/asin/edom.h +6 -5
- data/ext/bigdecimal/math_r/internal/algo/bigmath/asin/logrep.h +3 -2
- data/ext/bigdecimal/math_r/internal/algo/bigmath/asin/ser.h +1 -0
- data/ext/bigdecimal/math_r/internal/algo/bigmath/asinh/logrep.h +6 -5
- data/ext/bigdecimal/math_r/internal/algo/bigmath/asinh/ser.h +1 -0
- data/ext/bigdecimal/math_r/internal/algo/bigmath/atan/branch.h +1 -1
- data/ext/bigdecimal/math_r/internal/algo/bigmath/atan/logrep.h +7 -6
- data/ext/bigdecimal/math_r/internal/algo/bigmath/atan/ser_euler.h +4 -50
- data/ext/bigdecimal/math_r/internal/algo/bigmath/atan/ser_usual.h +2 -9
- data/ext/bigdecimal/math_r/internal/algo/bigmath/atanh/branch.h +4 -3
- data/ext/bigdecimal/math_r/internal/algo/bigmath/atanh/edom.h +6 -3
- data/ext/bigdecimal/math_r/internal/algo/bigmath/atanh/logrep.h +2 -0
- data/ext/bigdecimal/math_r/internal/algo/bigmath/atanh/ser.h +1 -0
- data/ext/bigdecimal/math_r/internal/algo/bigmath/cabs/formula.h +6 -2
- data/ext/bigdecimal/math_r/internal/algo/bigmath/cacos/logrep.h +7 -4
- data/ext/bigdecimal/math_r/internal/algo/bigmath/cacosh/logrep.h +6 -5
- data/ext/bigdecimal/math_r/internal/algo/bigmath/cacot/logrep.h +3 -2
- data/ext/bigdecimal/math_r/internal/algo/bigmath/cacoth/logrep.h +8 -4
- data/ext/bigdecimal/math_r/internal/algo/bigmath/cacsc/logrep.h +5 -4
- data/ext/bigdecimal/math_r/internal/algo/bigmath/cacsch/logrep.h +7 -3
- data/ext/bigdecimal/math_r/internal/algo/bigmath/carg/formula.h +6 -2
- data/ext/bigdecimal/math_r/internal/algo/bigmath/casec/logrep.h +5 -4
- data/ext/bigdecimal/math_r/internal/algo/bigmath/casech/logrep.h +3 -1
- data/ext/bigdecimal/math_r/internal/algo/bigmath/casin/logrep.h +6 -4
- data/ext/bigdecimal/math_r/internal/algo/bigmath/casinh/logrep.h +1 -0
- data/ext/bigdecimal/math_r/internal/algo/bigmath/catan/logrep.h +3 -2
- data/ext/bigdecimal/math_r/internal/algo/bigmath/catanh/logrep.h +5 -2
- data/ext/bigdecimal/math_r/internal/algo/bigmath/ccbrt/branch.h +40 -0
- data/ext/bigdecimal/math_r/internal/algo/bigmath/ccbrt/formula.h +5 -2
- data/ext/bigdecimal/math_r/internal/algo/bigmath/ccos/eulerf.h +4 -3
- data/ext/bigdecimal/math_r/internal/algo/bigmath/ccosh/eulerf.h +4 -3
- data/ext/bigdecimal/math_r/internal/algo/bigmath/ccot/eulerf.h +5 -3
- data/ext/bigdecimal/math_r/internal/algo/bigmath/ccoth/eulerf.h +4 -2
- data/ext/bigdecimal/math_r/internal/algo/bigmath/ccsc/eulerf.h +4 -2
- data/ext/bigdecimal/math_r/internal/algo/bigmath/ccsch/eulerf.h +5 -3
- data/ext/bigdecimal/math_r/internal/algo/bigmath/cexp/eulerf.h +10 -7
- data/ext/bigdecimal/math_r/internal/algo/bigmath/cexp2/eulerf.h +5 -3
- data/ext/bigdecimal/math_r/internal/algo/bigmath/cexpm1/branch.h +13 -0
- data/ext/bigdecimal/math_r/internal/algo/bigmath/cexpm1/identity.h +17 -0
- data/ext/bigdecimal/math_r/internal/algo/bigmath/clog/branch.h +11 -12
- data/ext/bigdecimal/math_r/internal/algo/bigmath/clog10/branch.h +53 -0
- data/ext/bigdecimal/math_r/internal/algo/bigmath/clog10/formula.h +4 -3
- data/ext/bigdecimal/math_r/internal/algo/bigmath/clog2/branch.h +53 -0
- data/ext/bigdecimal/math_r/internal/algo/bigmath/clog2/formula.h +4 -3
- data/ext/bigdecimal/math_r/internal/algo/bigmath/cos/eulerf.h +6 -4
- data/ext/bigdecimal/math_r/internal/algo/bigmath/cos/ser.h +4 -4
- data/ext/bigdecimal/math_r/internal/algo/bigmath/cosh/eulerf.h +5 -3
- data/ext/bigdecimal/math_r/internal/algo/bigmath/cosh/formula.h +5 -5
- data/ext/bigdecimal/math_r/internal/algo/bigmath/cosh/ser.h +4 -3
- data/ext/bigdecimal/math_r/internal/algo/bigmath/cot/eulerf.h +5 -3
- data/ext/bigdecimal/math_r/internal/algo/bigmath/cot/ser.h +3 -2
- data/ext/bigdecimal/math_r/internal/algo/bigmath/coth/eulerf.h +4 -2
- data/ext/bigdecimal/math_r/internal/algo/bigmath/coth/formula.h +1 -0
- data/ext/bigdecimal/math_r/internal/algo/bigmath/coth/ser.h +3 -2
- data/ext/bigdecimal/math_r/internal/algo/bigmath/cpow/formula.h +9 -7
- data/ext/bigdecimal/math_r/internal/algo/bigmath/csc/eulerf.h +4 -2
- data/ext/bigdecimal/math_r/internal/algo/bigmath/csc/ser.h +5 -3
- data/ext/bigdecimal/math_r/internal/algo/bigmath/csch/eulerf.h +5 -3
- data/ext/bigdecimal/math_r/internal/algo/bigmath/csch/formula.h +2 -2
- data/ext/bigdecimal/math_r/internal/algo/bigmath/csch/ser.h +6 -3
- data/ext/bigdecimal/math_r/internal/algo/bigmath/csec/eulerf.h +5 -3
- data/ext/bigdecimal/math_r/internal/algo/bigmath/csech/eulerf.h +5 -3
- data/ext/bigdecimal/math_r/internal/algo/bigmath/csin/eulerf.h +4 -3
- data/ext/bigdecimal/math_r/internal/algo/bigmath/csinh/eulerf.h +4 -3
- data/ext/bigdecimal/math_r/internal/algo/bigmath/csqrt/branch.h +40 -0
- data/ext/bigdecimal/math_r/internal/algo/bigmath/csqrt/formula.h +13 -43
- data/ext/bigdecimal/math_r/internal/algo/bigmath/ctan/eulerf.h +4 -3
- data/ext/bigdecimal/math_r/internal/algo/bigmath/ctanh/eulerf.h +4 -3
- data/ext/bigdecimal/math_r/internal/algo/bigmath/cuberoot/branch.h +18 -0
- data/ext/bigdecimal/math_r/internal/algo/bigmath/cuberoot/newton.h +4 -12
- data/ext/bigdecimal/math_r/internal/algo/bigmath/erf/algo911.h +7 -4
- data/ext/bigdecimal/math_r/internal/algo/bigmath/erf/cf.h +1 -0
- data/ext/bigdecimal/math_r/internal/algo/bigmath/erf/ser_inf.h +1 -0
- data/ext/bigdecimal/math_r/internal/algo/bigmath/erf/ser_zero.h +1 -0
- data/ext/bigdecimal/math_r/internal/algo/bigmath/erfc/algo911.h +5 -2
- data/ext/bigdecimal/math_r/internal/algo/bigmath/erfc/cf.h +1 -0
- data/ext/bigdecimal/math_r/internal/algo/bigmath/escalb/edf.h +2 -0
- data/ext/bigdecimal/math_r/internal/algo/bigmath/exp/builtin.h +7 -1
- data/ext/bigdecimal/math_r/internal/algo/bigmath/exp/edf.h +6 -5
- data/ext/bigdecimal/math_r/internal/algo/bigmath/exp2/edf.h +9 -5
- data/ext/bigdecimal/math_r/internal/algo/bigmath/expm1/branch.h +13 -0
- data/ext/bigdecimal/math_r/internal/algo/bigmath/expm1/identity.h +18 -0
- data/ext/bigdecimal/math_r/internal/algo/bigmath/expxt/edf.h +1 -1
- data/ext/bigdecimal/math_r/internal/algo/bigmath/f_euler/formula.h +3 -2
- data/ext/bigdecimal/math_r/internal/algo/bigmath/hypot/l2norm.h +5 -4
- data/ext/bigdecimal/math_r/internal/algo/bigmath/hypot/mmm.h +1 -1
- data/ext/bigdecimal/math_r/internal/algo/bigmath/ipow/edf.h +6 -4
- data/ext/bigdecimal/math_r/internal/algo/bigmath/l2norm/formula.h +6 -1
- data/ext/bigdecimal/math_r/internal/algo/bigmath/log/branch.h +6 -2
- data/ext/bigdecimal/math_r/internal/algo/bigmath/log/builtin.h +3 -2
- data/ext/bigdecimal/math_r/internal/algo/bigmath/log/edf.h +8 -5
- data/ext/bigdecimal/math_r/internal/algo/bigmath/log/edom.h +10 -4
- data/ext/bigdecimal/math_r/internal/algo/bigmath/log/mercator.h +7 -9
- data/ext/bigdecimal/math_r/internal/algo/bigmath/log/ser_okumura.h +4 -1
- data/ext/bigdecimal/math_r/internal/algo/bigmath/log10/edf.h +3 -2
- data/ext/bigdecimal/math_r/internal/algo/bigmath/log10/mercator.h +9 -9
- data/ext/bigdecimal/math_r/internal/algo/bigmath/log1p/branch.h +8 -5
- data/ext/bigdecimal/math_r/internal/algo/bigmath/log1p/ser_mercator.h +16 -6
- data/ext/bigdecimal/math_r/internal/algo/bigmath/log2/branch.h +1 -1
- data/ext/bigdecimal/math_r/internal/algo/bigmath/log2/edf.h +3 -2
- data/ext/bigdecimal/math_r/internal/algo/bigmath/log2/mercator.h +9 -9
- data/ext/bigdecimal/math_r/internal/algo/bigmath/logxt/edf.h +6 -1
- data/ext/bigdecimal/math_r/internal/algo/bigmath/pow/formula.h +13 -8
- data/ext/bigdecimal/math_r/internal/algo/bigmath/rcm10/edf.h +10 -4
- data/ext/bigdecimal/math_r/internal/algo/bigmath/rcm2/edf.h +11 -3
- data/ext/bigdecimal/math_r/internal/algo/bigmath/sec/eulerf.h +5 -3
- data/ext/bigdecimal/math_r/internal/algo/bigmath/sec/ser.h +6 -4
- data/ext/bigdecimal/math_r/internal/algo/bigmath/sech/eulerf.h +5 -3
- data/ext/bigdecimal/math_r/internal/algo/bigmath/sech/formula.h +8 -4
- data/ext/bigdecimal/math_r/internal/algo/bigmath/sech/ser.h +5 -3
- data/ext/bigdecimal/math_r/internal/algo/bigmath/sin/eulerf.h +5 -2
- data/ext/bigdecimal/math_r/internal/algo/bigmath/sin/ser.h +4 -5
- data/ext/bigdecimal/math_r/internal/algo/bigmath/sincos/ser.h +9 -2
- data/ext/bigdecimal/math_r/internal/algo/bigmath/sinh/eulerf.h +5 -3
- data/ext/bigdecimal/math_r/internal/algo/bigmath/sinh/formula.h +8 -4
- data/ext/bigdecimal/math_r/internal/algo/bigmath/sinh/ser.h +4 -3
- data/ext/bigdecimal/math_r/internal/algo/bigmath/sinhcosh/ser.h +10 -3
- data/ext/bigdecimal/math_r/internal/algo/bigmath/sqrt/branch.h +2 -1
- data/ext/bigdecimal/math_r/internal/algo/bigmath/sqrt/builtin.h +2 -2
- data/ext/bigdecimal/math_r/internal/algo/bigmath/sqrt/edom.h +1 -0
- data/ext/bigdecimal/math_r/internal/algo/bigmath/tan/eulerf.h +5 -3
- data/ext/bigdecimal/math_r/internal/algo/bigmath/tan/ser.h +3 -8
- data/ext/bigdecimal/math_r/internal/algo/bigmath/tanh/eulerf.h +5 -3
- data/ext/bigdecimal/math_r/internal/algo/bigmath/tanh/formula.h +7 -3
- data/ext/bigdecimal/math_r/internal/algo/bigmath/tanh/ser.h +3 -3
- data/ext/bigdecimal/math_r/internal/algo/bigmath/trig/f_euler.h +11 -5
- data/ext/bigdecimal/math_r/log.c +5 -5
- data/ext/bigdecimal/math_r/math_r/bigdecimal.h +5 -1
- data/ext/bigdecimal/math_r/math_r/bigmath.h +2 -0
- data/ext/bigdecimal/math_r/math_r/globals.h +1 -1
- data/ext/bigdecimal/math_r/math_r/numeric.h +1 -0
- data/ext/bigdecimal/math_r/math_r.c +14 -3
- data/ext/bigdecimal/math_r/solver.c +75 -21
- data/lib/bigdecimal/math_r/const/E_euler.rb +46 -0
- data/lib/bigdecimal/math_r/version.rb +1 -1
- data/lib/bigdecimal/math_r.rb +1 -0
- metadata +21 -11
- data/.ruby-version +0 -1
- data/LICENSE.txt +0 -21
- data/lib/bigdecimal/math_r.so +0 -0
@@ -1,14 +1,15 @@
|
|
1
1
|
VALUE
|
2
2
|
atan_logrep(VALUE x, VALUE prec)
|
3
3
|
{
|
4
|
-
VALUE
|
4
|
+
VALUE n1, m1, y, n;
|
5
5
|
|
6
6
|
rb_check_precise(prec);
|
7
|
+
n = rb_numdiff_make_n(prec);
|
7
8
|
|
8
|
-
|
9
|
-
|
10
|
-
y = rb_funcall1(
|
11
|
-
y = rb_bigmath_carg(y,
|
9
|
+
n1 = rb_Complex(BIG_ONE, x);
|
10
|
+
m1 = rb_bigmath_sqrt(rb_funcall1(BIG_ONE, '+', rb_funcall1(x, '*', x)), n);
|
11
|
+
y = rb_funcall1(n1, '/', m1);
|
12
|
+
y = rb_bigmath_carg(y, n);
|
12
13
|
|
13
|
-
return y;
|
14
|
+
return rb_num_round(y, prec);
|
14
15
|
}
|
@@ -1,6 +1,5 @@
|
|
1
|
-
|
2
|
-
|
3
|
-
atan_ser_euler_inline(VALUE x, VALUE prec)
|
1
|
+
VALUE
|
2
|
+
atan_ser_euler(VALUE x, VALUE prec)
|
4
3
|
{
|
5
4
|
const ID add = rb_intern("add");
|
6
5
|
const ID mult = rb_intern("mult");
|
@@ -10,6 +9,8 @@ atan_ser_euler_inline(VALUE x, VALUE prec)
|
|
10
9
|
VALUE m, y, w, t, s;
|
11
10
|
long n = 1;
|
12
11
|
|
12
|
+
rb_check_precise(prec);
|
13
|
+
|
13
14
|
if (rb_num_zero_p(x))
|
14
15
|
return BIG_ZERO;
|
15
16
|
|
@@ -35,50 +36,3 @@ atan_ser_euler_inline(VALUE x, VALUE prec)
|
|
35
36
|
};
|
36
37
|
return rb_funcall(rb_funcall(y, div, 2, x, prec), mult, 2, s, prec);
|
37
38
|
}
|
38
|
-
#else
|
39
|
-
static VALUE
|
40
|
-
atan_ser_euler_inline(VALUE x, VALUE prec)
|
41
|
-
{
|
42
|
-
const ID add = rb_intern("add");
|
43
|
-
const ID mult = rb_intern("mult");
|
44
|
-
const ID div = rb_intern("div");
|
45
|
-
VALUE n, m, wt, w, r, y, d;
|
46
|
-
|
47
|
-
if (rb_num_zero_p(x))
|
48
|
-
return BIG_ZERO;
|
49
|
-
|
50
|
-
n = rb_numdiff_make_n(prec);
|
51
|
-
|
52
|
-
wt = rb_funcall(
|
53
|
-
rb_funcall(x, mult, 2, x, n), div, 2,
|
54
|
-
rb_funcall(BIG_ONE, add, 2, rb_funcall(x, mult, 2, x, n),
|
55
|
-
n), n);
|
56
|
-
w = BIG_ONE;
|
57
|
-
r = BIG_ONE;
|
58
|
-
y = BIG_ZERO;
|
59
|
-
d = BIG_ONE;
|
60
|
-
|
61
|
-
while (rb_numdiff_condition_p(y, d, n, &m))
|
62
|
-
{
|
63
|
-
d = rb_funcall(r, mult, 2, w, m);
|
64
|
-
y = rb_funcall1(y, '+', d);
|
65
|
-
r = rb_funcall1(r, '*', LONG2NUM(++n));
|
66
|
-
r = rb_funcall1(r, '/', LONG2NUM(++n));
|
67
|
-
w = rb_funcall1(w, '*', wt);
|
68
|
-
}
|
69
|
-
|
70
|
-
RB_GC_GUARD(wt);
|
71
|
-
RB_GC_GUARD(w);
|
72
|
-
RB_GC_GUARD(r);
|
73
|
-
RB_GC_GUARD(y);
|
74
|
-
RB_GC_GUARD(d);
|
75
|
-
|
76
|
-
return rb_funcall(rb_funcall(wt, div, 2, x, prec), mult, 2, y, prec);
|
77
|
-
}
|
78
|
-
#endif
|
79
|
-
|
80
|
-
VALUE
|
81
|
-
atan_ser_euler(VALUE x, VALUE prec)
|
82
|
-
{
|
83
|
-
return rb_bigmath_atan_adopt(x, prec, atan_ser_euler_inline);
|
84
|
-
}
|
@@ -1,5 +1,5 @@
|
|
1
|
-
|
2
|
-
|
1
|
+
VALUE
|
2
|
+
atan_ser_usual(VALUE x, VALUE prec)
|
3
3
|
{
|
4
4
|
const ID mult = rb_intern("mult");
|
5
5
|
const ID div = rb_intern("div");
|
@@ -32,10 +32,3 @@ atan_ser_usual_inline(VALUE x, VALUE prec)
|
|
32
32
|
|
33
33
|
return y;
|
34
34
|
}
|
35
|
-
|
36
|
-
|
37
|
-
VALUE
|
38
|
-
atan_ser_usual(VALUE x, VALUE prec)
|
39
|
-
{
|
40
|
-
return rb_bigmath_atan_adopt(x, prec, atan_ser_usual_inline);
|
41
|
-
}
|
@@ -2,12 +2,13 @@ VALUE
|
|
2
2
|
atanh_branch(VALUE x, VALUE prec, bigmath_func1 atanh_cb)
|
3
3
|
{
|
4
4
|
const ID leq = rb_intern("<=");
|
5
|
-
VALUE y = Qundef
|
5
|
+
VALUE y = Qundef;
|
6
|
+
VALUE p0999 = rb_BigDecimal1(rb_str_new_cstr("0.999"));
|
7
|
+
VALUE domain = rb_range_new(INT2FIX(-1), INT2FIX(1), true);
|
6
8
|
|
7
9
|
x = rb_num_canonicalize(x, prec, ARG_REAL, ARG_RAWVALUE);
|
8
10
|
|
9
|
-
if (
|
10
|
-
RTEST(rb_num_coerce_cmp(x, INT2FIX(1), leq)))
|
11
|
+
if (rb_num_domain_p(domain, x))
|
11
12
|
{
|
12
13
|
VALUE absx = rb_num_negative_p(x) ? rb_num_uminus(x) : x;
|
13
14
|
if (rb_num_equal_p(absx, INT2FIX(1)))
|
@@ -1,14 +1,17 @@
|
|
1
1
|
VALUE
|
2
2
|
atanh_edom(VALUE x, VALUE prec)
|
3
3
|
{
|
4
|
-
VALUE t, pi;
|
4
|
+
VALUE t, pi, n;
|
5
|
+
|
6
|
+
rb_check_precise(prec);
|
7
|
+
n = rb_numdiff_make_n(prec);
|
5
8
|
|
6
9
|
t = rb_funcall1(
|
7
10
|
rb_funcall1(BIG_ONE, '+', x), '/',
|
8
11
|
rb_funcall1(BIG_ONE, '-', x));
|
9
|
-
pi = rb_bigmath_const_pi(
|
12
|
+
pi = rb_bigmath_const_pi(n);
|
10
13
|
t = rb_Complex(
|
11
|
-
rb_bigmath_log(rb_num_abs(t),
|
14
|
+
rb_bigmath_log(rb_num_abs(t), n),
|
12
15
|
rb_num_negative_p(x) ? pi : rb_num_uminus(pi));
|
13
16
|
t = rb_funcall1(rb_Rational(INT2FIX(1), INT2FIX(2)), '*', t);
|
14
17
|
|
@@ -1,8 +1,12 @@
|
|
1
1
|
VALUE
|
2
2
|
cabs_formula(VALUE z, VALUE prec)
|
3
3
|
{
|
4
|
+
VALUE w, n;
|
5
|
+
|
4
6
|
rb_check_precise(prec);
|
7
|
+
n = rb_numdiff_make_n(prec);
|
5
8
|
|
6
|
-
|
7
|
-
rb_assoc_new(rb_num_real(z), rb_num_imag(z)),
|
9
|
+
w = rb_bigmath_l2norm(
|
10
|
+
rb_assoc_new(rb_num_real(z), rb_num_imag(z)), n);
|
11
|
+
return rb_num_round(w, prec);
|
8
12
|
}
|
@@ -2,14 +2,17 @@ VALUE
|
|
2
2
|
cacos_logrep(VALUE z, VALUE prec)
|
3
3
|
{
|
4
4
|
const ID div = rb_intern("div");
|
5
|
-
VALUE c1, c2, c3, c4, c5, c6;
|
5
|
+
VALUE c1, c2, c3, c4, c5, c6, n;
|
6
|
+
|
7
|
+
rb_check_precise(prec);
|
8
|
+
n = rb_numdiff_make_n(prec);
|
6
9
|
|
7
10
|
c1 = rb_ImaginaryZ(z, SIGN_PLUS);
|
8
11
|
c2 = rb_bigmath_csqrt(rb_funcall1(BIG_ONE, '-',
|
9
|
-
rb_funcall1(z, '*', z)),
|
10
|
-
c3 = rb_bigmath_clog(rb_funcall1(c1, '+', c2),
|
12
|
+
rb_funcall1(z, '*', z)), n);
|
13
|
+
c3 = rb_bigmath_clog(rb_funcall1(c1, '+', c2), n);
|
11
14
|
c4 = rb_ImaginaryZ(c3, SIGN_PLUS);
|
12
|
-
c5 = rb_funcall(rb_bigmath_const_pi(
|
15
|
+
c5 = rb_funcall(rb_bigmath_const_pi(n), div, 2, INT2FIX(2), n);
|
13
16
|
c6 = rb_funcall1(c5, '+', c4);
|
14
17
|
|
15
18
|
return rb_num_round(c6, prec);
|
@@ -1,17 +1,18 @@
|
|
1
1
|
VALUE
|
2
2
|
cacosh_logrep(VALUE z, VALUE prec)
|
3
3
|
{
|
4
|
-
VALUE c1, c2, c3;
|
4
|
+
VALUE c1, c2, c3, n;
|
5
5
|
|
6
6
|
rb_check_precise(prec);
|
7
|
+
n = rb_numdiff_make_n(prec);
|
7
8
|
|
8
9
|
c2 = rb_funcall1(z, '+', BIG_ONE);
|
9
|
-
c2 = rb_bigmath_csqrt(c2,
|
10
|
+
c2 = rb_bigmath_csqrt(c2, n);
|
10
11
|
c3 = rb_funcall1(z, '-', BIG_ONE);
|
11
|
-
c3 = rb_bigmath_csqrt(c3,
|
12
|
+
c3 = rb_bigmath_csqrt(c3, n);
|
12
13
|
c1 = rb_funcall1(c2, '*', c3);
|
13
14
|
c1 = rb_funcall1(z, '+', c1);
|
14
|
-
c1 = rb_bigmath_clog(c1,
|
15
|
+
c1 = rb_bigmath_clog(c1, n);
|
15
16
|
|
16
|
-
return c1;
|
17
|
+
return rb_num_round(c1, prec);
|
17
18
|
}
|
@@ -1,14 +1,15 @@
|
|
1
1
|
VALUE
|
2
2
|
cacot_logrep(VALUE z, VALUE prec)
|
3
3
|
{
|
4
|
-
VALUE c1, c2, c3;
|
4
|
+
VALUE c1, c2, c3, n;
|
5
5
|
|
6
6
|
rb_check_precise(prec);
|
7
|
+
n = rb_numdiff_make_n(prec);
|
7
8
|
|
8
9
|
c1 = rb_ImaginaryZ(z, SIGN_PLUS);
|
9
10
|
c2 = rb_funcall1(rb_funcall1(c1, '-', BIG_ONE), '/',
|
10
11
|
rb_funcall1(c1, '+', BIG_ONE));
|
11
|
-
c3 = rb_bigmath_clog(c2,
|
12
|
+
c3 = rb_bigmath_clog(c2, n);
|
12
13
|
|
13
14
|
c1 = rb_funcall1(rb_Complex(INT2FIX(0), INT2FIX(1)), '/', INT2FIX(2));
|
14
15
|
c2 = rb_funcall1(rb_num_uminus(c1), '*', c3);
|
@@ -1,11 +1,15 @@
|
|
1
1
|
VALUE
|
2
2
|
cacoth_logrep(VALUE z, VALUE prec)
|
3
3
|
{
|
4
|
+
VALUE n;
|
5
|
+
|
4
6
|
rb_check_precise(prec);
|
7
|
+
n = rb_numdiff_make_n(prec);
|
5
8
|
|
6
|
-
z = rb_num_canonicalize(z,
|
9
|
+
z = rb_num_canonicalize(z, n, ARG_COMPLEX, ARG_RAWVALUE);
|
7
10
|
z = rb_ImaginaryZ(z, SIGN_MINUS);
|
8
|
-
z = cacot_logrep(z,
|
9
|
-
|
10
|
-
|
11
|
+
z = cacot_logrep(z, n);
|
12
|
+
z = rb_ImaginaryZ(z, SIGN_MINUS);
|
13
|
+
|
14
|
+
return rb_num_round(z, prec);
|
11
15
|
}
|
@@ -1,18 +1,19 @@
|
|
1
1
|
VALUE
|
2
2
|
cacsc_logrep(VALUE z, VALUE prec)
|
3
3
|
{
|
4
|
-
VALUE y;
|
4
|
+
VALUE y, n;
|
5
5
|
|
6
6
|
rb_check_precise(prec);
|
7
|
+
n = rb_numdiff_make_n(prec);
|
7
8
|
|
8
9
|
y = rb_funcall1(z, '*', z);
|
9
10
|
y = rb_funcall1(BIG_ONE, '/', y);
|
10
11
|
y = rb_funcall1(BIG_ONE, '-', y);
|
11
|
-
y = rb_bigmath_csqrt(y,
|
12
|
+
y = rb_bigmath_csqrt(y, n);
|
12
13
|
y = rb_Complex(y,
|
13
14
|
rb_num_canonicalize(
|
14
|
-
rb_num_uminus(z),
|
15
|
-
y = rb_bigmath_clog(y,
|
15
|
+
rb_num_uminus(z), n, ARG_COMPLEX, ARG_RECIPROCAL));
|
16
|
+
y = rb_bigmath_clog(y, n);
|
16
17
|
y = rb_ImaginaryZ(y, SIGN_PLUS);
|
17
18
|
|
18
19
|
return rb_num_round(y, prec);
|
@@ -1,11 +1,15 @@
|
|
1
1
|
VALUE
|
2
2
|
cacsch_logrep(VALUE z, VALUE prec)
|
3
3
|
{
|
4
|
+
VALUE n;
|
5
|
+
|
4
6
|
rb_check_precise(prec);
|
7
|
+
n = rb_numdiff_make_n(prec);
|
5
8
|
|
6
|
-
z = rb_num_canonicalize(z,
|
9
|
+
z = rb_num_canonicalize(z, n, ARG_COMPLEX, ARG_RAWVALUE);
|
10
|
+
z = rb_ImaginaryZ(z, SIGN_PLUS);
|
11
|
+
z = cacsc_logrep(z, n);
|
7
12
|
z = rb_ImaginaryZ(z, SIGN_PLUS);
|
8
|
-
z = cacsc_logrep(z, prec);
|
9
13
|
|
10
|
-
return
|
14
|
+
return rb_num_round(z, prec);
|
11
15
|
}
|
@@ -1,8 +1,12 @@
|
|
1
1
|
VALUE
|
2
2
|
carg_formula(VALUE z, VALUE prec)
|
3
3
|
{
|
4
|
+
VALUE n;
|
5
|
+
|
4
6
|
rb_check_precise(prec);
|
7
|
+
n = rb_numdiff_make_n(prec);
|
5
8
|
|
6
|
-
|
7
|
-
|
9
|
+
z = rb_bigmath_quadrant(rb_num_real(z), rb_num_imag(z), n);
|
10
|
+
|
11
|
+
return rb_num_round(z, prec);
|
8
12
|
}
|
@@ -1,17 +1,18 @@
|
|
1
1
|
VALUE
|
2
2
|
casec_logrep(VALUE z, VALUE prec)
|
3
3
|
{
|
4
|
-
VALUE w;
|
4
|
+
VALUE w, n;
|
5
5
|
|
6
6
|
rb_check_precise(prec);
|
7
|
+
n = rb_numdiff_make_n(prec);
|
7
8
|
|
8
9
|
w = rb_funcall1(z, '*', z);
|
9
10
|
w = rb_funcall1(BIG_ONE, '/', w);
|
10
11
|
w = rb_funcall1(BIG_ONE, '-', w);
|
11
|
-
w = rb_bigmath_csqrt(w,
|
12
|
+
w = rb_bigmath_csqrt(w, n);
|
12
13
|
w = rb_funcall1(rb_ImaginaryZ(w, SIGN_PLUS), '+',
|
13
|
-
rb_num_canonicalize(z,
|
14
|
-
w = rb_bigmath_clog(w,
|
14
|
+
rb_num_canonicalize(z, n, ARG_COMPLEX, ARG_RECIPROCAL));
|
15
|
+
w = rb_bigmath_clog(w, n);
|
15
16
|
w = rb_ImaginaryZ(w, SIGN_MINUS);
|
16
17
|
|
17
18
|
return rb_num_round(w, prec);
|
@@ -1,9 +1,11 @@
|
|
1
1
|
VALUE
|
2
2
|
casech_logrep(VALUE z, VALUE prec)
|
3
3
|
{
|
4
|
+
VALUE n;
|
4
5
|
rb_check_precise(prec);
|
6
|
+
n = rb_numdiff_make_n(prec);
|
5
7
|
|
6
|
-
z = rb_num_canonicalize(z,
|
8
|
+
z = rb_num_canonicalize(z, n, ARG_COMPLEX, ARG_RECIPROCAL);
|
7
9
|
|
8
10
|
return cacosh_logrep(z, prec);
|
9
11
|
}
|
@@ -1,14 +1,16 @@
|
|
1
1
|
VALUE
|
2
2
|
casin_logrep(VALUE z, VALUE prec)
|
3
3
|
{
|
4
|
-
VALUE c1, c2, c3;
|
4
|
+
VALUE c1, c2, c3, n;
|
5
5
|
|
6
6
|
rb_check_precise(prec);
|
7
|
+
n = rb_numdiff_make_n(prec);
|
7
8
|
|
8
9
|
c1 = rb_ImaginaryZ(z, SIGN_PLUS);
|
9
10
|
c2 = rb_bigmath_csqrt(
|
10
|
-
rb_funcall1(BIG_ONE, '-', rb_funcall1(z, '*', z)),
|
11
|
-
c3 = rb_bigmath_clog(rb_funcall1(c1, '+', c2),
|
11
|
+
rb_funcall1(BIG_ONE, '-', rb_funcall1(z, '*', z)), n);
|
12
|
+
c3 = rb_bigmath_clog(rb_funcall1(c1, '+', c2), n);
|
13
|
+
z = rb_ImaginaryZ(c3, SIGN_MINUS);
|
12
14
|
|
13
|
-
return
|
15
|
+
return rb_num_round(z, prec);
|
14
16
|
}
|
@@ -1,14 +1,15 @@
|
|
1
1
|
VALUE
|
2
2
|
catan_logrep(VALUE z, VALUE prec)
|
3
3
|
{
|
4
|
-
VALUE c1, c2, c3;
|
4
|
+
VALUE c1, c2, c3, n;
|
5
5
|
|
6
6
|
rb_check_precise(prec);
|
7
|
+
n = rb_numdiff_make_n(prec);
|
7
8
|
|
8
9
|
c1 = rb_ImaginaryZ(z, SIGN_PLUS);
|
9
10
|
c2 = rb_funcall1(rb_Complex(BIG_ONE, rb_num_uminus(z)), '/',
|
10
11
|
rb_Complex(BIG_ONE, z));
|
11
|
-
c3 = rb_bigmath_clog(c2,
|
12
|
+
c3 = rb_bigmath_clog(c2, n);
|
12
13
|
|
13
14
|
c1 = rb_Complex(INT2FIX(0), rb_Rational(INT2FIX(1), INT2FIX(2)));
|
14
15
|
c2 = rb_funcall1(c1, '*', c3);
|
@@ -1,10 +1,13 @@
|
|
1
1
|
VALUE
|
2
2
|
catanh_logrep(VALUE z, VALUE prec)
|
3
3
|
{
|
4
|
+
VALUE n;
|
4
5
|
rb_check_precise(prec);
|
6
|
+
n = rb_numdiff_make_n(prec);
|
5
7
|
|
6
8
|
z = rb_ImaginaryZ(z, SIGN_PLUS);
|
7
|
-
z = catan_logrep(z,
|
9
|
+
z = catan_logrep(z, n);
|
10
|
+
z = rb_ImaginaryZ(z, SIGN_MINUS);
|
8
11
|
|
9
|
-
return
|
12
|
+
return rb_num_round(z, prec);
|
10
13
|
}
|
@@ -0,0 +1,40 @@
|
|
1
|
+
VALUE
|
2
|
+
ccbrt_branch(VALUE z, VALUE prec, bigmath_func1 ccbrt_cb)
|
3
|
+
{
|
4
|
+
VALUE w = Qundef;
|
5
|
+
|
6
|
+
z = rb_num_canonicalize(z, prec, ARG_COMPLEX, ARG_RAWVALUE);
|
7
|
+
|
8
|
+
if (rb_num_nan_p(z))
|
9
|
+
{
|
10
|
+
w = rb_Complex(BIG_NAN, BIG_NAN);
|
11
|
+
}
|
12
|
+
else if (!rb_num_finite_p(z))
|
13
|
+
{
|
14
|
+
int re_sgn = rb_num_infinite_p(rb_num_real(z));
|
15
|
+
int im_sgn = rb_num_infinite_p(rb_num_imag(z));
|
16
|
+
if (re_sgn != 0 && im_sgn == 0)
|
17
|
+
{
|
18
|
+
switch (re_sgn) {
|
19
|
+
case 1:
|
20
|
+
w = rb_Complex1(BIG_INF);
|
21
|
+
break;
|
22
|
+
case -1:
|
23
|
+
w = rb_Complex(BIG_ZERO, BIG_INF);
|
24
|
+
break;
|
25
|
+
}
|
26
|
+
}
|
27
|
+
else
|
28
|
+
{
|
29
|
+
w = rb_Complex(
|
30
|
+
BIG_INF,
|
31
|
+
rb_num_coerce_bin(im_sgn, BIG_INF, '*')
|
32
|
+
);
|
33
|
+
}
|
34
|
+
}
|
35
|
+
if (w == Qundef)
|
36
|
+
{
|
37
|
+
w = ccbrt_cb(z, prec);
|
38
|
+
}
|
39
|
+
return w;
|
40
|
+
}
|
@@ -1,11 +1,14 @@
|
|
1
1
|
VALUE
|
2
2
|
ccbrt_formula(VALUE z, VALUE prec)
|
3
3
|
{
|
4
|
-
VALUE one_third;
|
4
|
+
VALUE one_third, n;
|
5
5
|
|
6
6
|
rb_check_precise(prec);
|
7
|
+
n = rb_numdiff_make_n(prec);
|
7
8
|
|
8
9
|
one_third = rb_Rational(INT2FIX(1), INT2FIX(3));
|
9
10
|
|
10
|
-
|
11
|
+
z = rb_bigmath_cpow(z, one_third, n);
|
12
|
+
|
13
|
+
return rb_num_round(z, prec);
|
11
14
|
}
|
@@ -1,11 +1,12 @@
|
|
1
1
|
VALUE
|
2
2
|
ccos_eulerf(VALUE z, VALUE prec)
|
3
3
|
{
|
4
|
-
VALUE w;
|
4
|
+
VALUE w, n;
|
5
5
|
|
6
6
|
rb_check_precise(prec);
|
7
|
+
n = rb_numdiff_make_n(prec);
|
7
8
|
|
8
|
-
w = trig_f_euler(mf_cos, rb_ImaginaryZ(z, SIGN_PLUS),
|
9
|
+
w = trig_f_euler(mf_cos, rb_ImaginaryZ(z, SIGN_PLUS), n);
|
9
10
|
|
10
|
-
return w;
|
11
|
+
return rb_num_round(w, prec);
|
11
12
|
}
|
@@ -1,11 +1,12 @@
|
|
1
1
|
VALUE
|
2
2
|
ccosh_eulerf(VALUE z, VALUE prec)
|
3
3
|
{
|
4
|
-
VALUE w;
|
4
|
+
VALUE w, n;
|
5
5
|
|
6
6
|
rb_check_precise(prec);
|
7
|
+
n = rb_numdiff_make_n(prec);
|
7
8
|
|
8
|
-
w = trig_f_euler(mf_cos, z,
|
9
|
+
w = trig_f_euler(mf_cos, z, n);
|
9
10
|
|
10
|
-
return w;
|
11
|
+
return rb_num_round(w, prec);
|
11
12
|
}
|
@@ -1,11 +1,13 @@
|
|
1
1
|
VALUE
|
2
2
|
ccot_eulerf(VALUE z, VALUE prec)
|
3
3
|
{
|
4
|
-
VALUE w;
|
4
|
+
VALUE w, n;
|
5
5
|
|
6
6
|
rb_check_precise(prec);
|
7
|
+
n = rb_numdiff_make_n(prec);
|
7
8
|
|
8
|
-
w = trig_f_euler(mf_tan, rb_ImaginaryZ(z, SIGN_PLUS),
|
9
|
+
w = trig_f_euler(mf_tan, rb_ImaginaryZ(z, SIGN_PLUS), n);
|
10
|
+
w = rb_num_canonicalize(w, n, ARG_COMPLEX, ARG_RECIPROCAL);
|
9
11
|
|
10
|
-
return
|
12
|
+
return rb_num_round(w, prec);
|
11
13
|
}
|
@@ -1,11 +1,13 @@
|
|
1
1
|
VALUE
|
2
2
|
ccoth_eulerf(VALUE z, VALUE prec)
|
3
3
|
{
|
4
|
-
VALUE w;
|
4
|
+
VALUE w, n;
|
5
5
|
|
6
6
|
rb_check_precise(prec);
|
7
|
+
n = rb_numdiff_make_n(prec);
|
7
8
|
|
8
9
|
w = rb_ImaginaryZ(trig_f_euler(mf_tan, z, prec), SIGN_PLUS);
|
10
|
+
w = rb_num_canonicalize(w, n, ARG_COMPLEX, ARG_RECIPROCAL);
|
9
11
|
|
10
|
-
return
|
12
|
+
return rb_num_round(w, prec);
|
11
13
|
}
|
@@ -1,11 +1,13 @@
|
|
1
1
|
VALUE
|
2
2
|
ccsc_eulerf(VALUE z, VALUE prec)
|
3
3
|
{
|
4
|
-
VALUE w;
|
4
|
+
VALUE w, n;
|
5
5
|
|
6
6
|
rb_check_precise(prec);
|
7
|
+
n = rb_numdiff_make_n(prec);
|
7
8
|
|
8
9
|
w = trig_f_euler(mf_sin, rb_ImaginaryZ(z, SIGN_PLUS), prec);
|
10
|
+
w = rb_num_canonicalize(w, n, ARG_COMPLEX, ARG_RECIPROCAL);
|
9
11
|
|
10
|
-
return
|
12
|
+
return rb_num_round(w, prec);
|
11
13
|
}
|
@@ -1,11 +1,13 @@
|
|
1
1
|
VALUE
|
2
2
|
ccsch_eulerf(VALUE z, VALUE prec)
|
3
3
|
{
|
4
|
-
VALUE w;
|
4
|
+
VALUE w, n;
|
5
5
|
|
6
6
|
rb_check_precise(prec);
|
7
|
+
n = rb_numdiff_make_n(prec);
|
7
8
|
|
8
|
-
w = rb_ImaginaryZ(trig_f_euler(mf_sin, z,
|
9
|
+
w = rb_ImaginaryZ(trig_f_euler(mf_sin, z, n), SIGN_PLUS);
|
10
|
+
w = rb_num_canonicalize(w, n, ARG_COMPLEX, ARG_RECIPROCAL);
|
9
11
|
|
10
|
-
return
|
12
|
+
return rb_num_round(w, prec);
|
11
13
|
}
|
@@ -2,20 +2,23 @@ VALUE
|
|
2
2
|
cexp_eulerf(VALUE z, VALUE prec)
|
3
3
|
{
|
4
4
|
const ID mult = rb_intern("mult");
|
5
|
-
VALUE theta, r;
|
5
|
+
VALUE theta, r, n;
|
6
6
|
|
7
7
|
rb_check_precise(prec);
|
8
|
+
n = rb_numdiff_make_n(prec);
|
8
9
|
|
9
10
|
if (!rb_num_finite_p(rb_num_imag(z)))
|
10
11
|
return rb_Complex(BIG_NAN, BIG_NAN);
|
11
|
-
r = rb_num_canonicalize(rb_num_real(z),
|
12
|
-
r = rb_bigmath_exp(r,
|
12
|
+
r = rb_num_canonicalize(rb_num_real(z), n, ARG_REAL, ARG_RAWVALUE);
|
13
|
+
r = rb_bigmath_exp(r, n);
|
13
14
|
if (rb_num_notequal_p(r, r))
|
14
15
|
return rb_Complex(BIG_NAN, BIG_NAN);
|
15
|
-
theta = f_euler_formula(rb_num_imag(z),
|
16
|
+
theta = f_euler_formula(rb_num_imag(z), n);
|
16
17
|
|
17
|
-
|
18
|
-
rb_funcall(rb_BigDecimal1(r), mult, 2, rb_num_real(theta),
|
19
|
-
rb_funcall(rb_BigDecimal1(r), mult, 2, rb_num_imag(theta),
|
18
|
+
z = rb_Complex(
|
19
|
+
rb_funcall(rb_BigDecimal1(r), mult, 2, rb_num_real(theta), n),
|
20
|
+
rb_funcall(rb_BigDecimal1(r), mult, 2, rb_num_imag(theta), n)
|
20
21
|
);
|
22
|
+
|
23
|
+
return rb_num_round(z, prec);
|
21
24
|
}
|
@@ -1,12 +1,14 @@
|
|
1
1
|
VALUE
|
2
2
|
cexp2_eulerf(VALUE z, VALUE prec)
|
3
3
|
{
|
4
|
-
VALUE log2
|
4
|
+
VALUE log2, n;
|
5
5
|
|
6
6
|
rb_check_precise(prec);
|
7
|
+
n = rb_numdiff_make_n(prec);
|
7
8
|
|
9
|
+
log2 = rb_bigmath_const_log2(n);
|
8
10
|
z = rb_funcall1(z, '*', log2);
|
9
|
-
z = cexp_eulerf(z,
|
11
|
+
z = cexp_eulerf(z, n);
|
10
12
|
|
11
|
-
return z;
|
13
|
+
return rb_num_round(z, prec);
|
12
14
|
}
|