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.
Files changed (181) hide show
  1. checksums.yaml +4 -4
  2. data/README.md +63 -10
  3. data/changelog.md +32 -0
  4. data/ext/bigdecimal/math_r/algofunc.h +11 -1
  5. data/ext/bigdecimal/math_r/api/bigmath/const_e.h +1 -1
  6. data/ext/bigdecimal/math_r/api/bigmath/const_euler_gamma.h +5 -0
  7. data/ext/bigdecimal/math_r/api/bigmath/csqrt.h +1 -1
  8. data/ext/bigdecimal/math_r/api/kernel/rb_BigDecimal_flo.h +8 -2
  9. data/ext/bigdecimal/math_r/api/numeric/domain_p.h +7 -0
  10. data/ext/bigdecimal/math_r/api/numeric/nan_p.h +4 -1
  11. data/ext/bigdecimal/math_r/api.h +2 -0
  12. data/ext/bigdecimal/math_r/const.c +42 -5
  13. data/ext/bigdecimal/math_r/decl.h +11 -1
  14. data/ext/bigdecimal/math_r/exp.c +45 -3
  15. data/ext/bigdecimal/math_r/extconf.rb +5 -1
  16. data/ext/bigdecimal/math_r/{gamma_r.c → gamma_beta.c} +11 -78
  17. data/ext/bigdecimal/math_r/internal/algo/bigmath/E/{ser.h → napier.h} +1 -1
  18. data/ext/bigdecimal/math_r/internal/algo/bigmath/EulerGamma/borwein_bailey.h +37 -0
  19. data/ext/bigdecimal/math_r/internal/algo/bigmath/LOG10/ser.h +4 -2
  20. data/ext/bigdecimal/math_r/internal/algo/bigmath/LOG_PI/builtin.h +3 -1
  21. data/ext/bigdecimal/math_r/internal/algo/bigmath/SQRT2/builtin.h +4 -1
  22. data/ext/bigdecimal/math_r/internal/algo/bigmath/SQRT3/builtin.h +4 -1
  23. data/ext/bigdecimal/math_r/internal/algo/bigmath/acos/branch.h +11 -4
  24. data/ext/bigdecimal/math_r/internal/algo/bigmath/acosh/branch.h +2 -2
  25. data/ext/bigdecimal/math_r/internal/algo/bigmath/acosh/edom.h +7 -5
  26. data/ext/bigdecimal/math_r/internal/algo/bigmath/acot/logrep.h +9 -6
  27. data/ext/bigdecimal/math_r/internal/algo/bigmath/acoth/branch.h +4 -4
  28. data/ext/bigdecimal/math_r/internal/algo/bigmath/acoth/edom.h +4 -3
  29. data/ext/bigdecimal/math_r/internal/algo/bigmath/acoth/logrep.h +5 -2
  30. data/ext/bigdecimal/math_r/internal/algo/bigmath/acsc/branch.h +3 -4
  31. data/ext/bigdecimal/math_r/internal/algo/bigmath/acsc/edom.h +7 -6
  32. data/ext/bigdecimal/math_r/internal/algo/bigmath/acsc/logrep.h +6 -5
  33. data/ext/bigdecimal/math_r/internal/algo/bigmath/acsch/branch.h +3 -9
  34. data/ext/bigdecimal/math_r/internal/algo/bigmath/acsch/logrep.h +7 -6
  35. data/ext/bigdecimal/math_r/internal/algo/bigmath/asec/branch.h +7 -4
  36. data/ext/bigdecimal/math_r/internal/algo/bigmath/asec/edom.h +7 -6
  37. data/ext/bigdecimal/math_r/internal/algo/bigmath/asec/logrep.h +8 -7
  38. data/ext/bigdecimal/math_r/internal/algo/bigmath/asech/branch.h +2 -5
  39. data/ext/bigdecimal/math_r/internal/algo/bigmath/asech/edom.h +10 -6
  40. data/ext/bigdecimal/math_r/internal/algo/bigmath/asech/logrep.h +3 -2
  41. data/ext/bigdecimal/math_r/internal/algo/bigmath/asin/branch.h +4 -2
  42. data/ext/bigdecimal/math_r/internal/algo/bigmath/asin/edom.h +6 -5
  43. data/ext/bigdecimal/math_r/internal/algo/bigmath/asin/logrep.h +3 -2
  44. data/ext/bigdecimal/math_r/internal/algo/bigmath/asin/ser.h +1 -0
  45. data/ext/bigdecimal/math_r/internal/algo/bigmath/asinh/logrep.h +6 -5
  46. data/ext/bigdecimal/math_r/internal/algo/bigmath/asinh/ser.h +1 -0
  47. data/ext/bigdecimal/math_r/internal/algo/bigmath/atan/branch.h +1 -1
  48. data/ext/bigdecimal/math_r/internal/algo/bigmath/atan/logrep.h +7 -6
  49. data/ext/bigdecimal/math_r/internal/algo/bigmath/atan/ser_euler.h +4 -50
  50. data/ext/bigdecimal/math_r/internal/algo/bigmath/atan/ser_usual.h +2 -9
  51. data/ext/bigdecimal/math_r/internal/algo/bigmath/atanh/branch.h +4 -3
  52. data/ext/bigdecimal/math_r/internal/algo/bigmath/atanh/edom.h +6 -3
  53. data/ext/bigdecimal/math_r/internal/algo/bigmath/atanh/logrep.h +2 -0
  54. data/ext/bigdecimal/math_r/internal/algo/bigmath/atanh/ser.h +1 -0
  55. data/ext/bigdecimal/math_r/internal/algo/bigmath/cabs/formula.h +6 -2
  56. data/ext/bigdecimal/math_r/internal/algo/bigmath/cacos/logrep.h +7 -4
  57. data/ext/bigdecimal/math_r/internal/algo/bigmath/cacosh/logrep.h +6 -5
  58. data/ext/bigdecimal/math_r/internal/algo/bigmath/cacot/logrep.h +3 -2
  59. data/ext/bigdecimal/math_r/internal/algo/bigmath/cacoth/logrep.h +8 -4
  60. data/ext/bigdecimal/math_r/internal/algo/bigmath/cacsc/logrep.h +5 -4
  61. data/ext/bigdecimal/math_r/internal/algo/bigmath/cacsch/logrep.h +7 -3
  62. data/ext/bigdecimal/math_r/internal/algo/bigmath/carg/formula.h +6 -2
  63. data/ext/bigdecimal/math_r/internal/algo/bigmath/casec/logrep.h +5 -4
  64. data/ext/bigdecimal/math_r/internal/algo/bigmath/casech/logrep.h +3 -1
  65. data/ext/bigdecimal/math_r/internal/algo/bigmath/casin/logrep.h +6 -4
  66. data/ext/bigdecimal/math_r/internal/algo/bigmath/casinh/logrep.h +1 -0
  67. data/ext/bigdecimal/math_r/internal/algo/bigmath/catan/logrep.h +3 -2
  68. data/ext/bigdecimal/math_r/internal/algo/bigmath/catanh/logrep.h +5 -2
  69. data/ext/bigdecimal/math_r/internal/algo/bigmath/ccbrt/branch.h +40 -0
  70. data/ext/bigdecimal/math_r/internal/algo/bigmath/ccbrt/formula.h +5 -2
  71. data/ext/bigdecimal/math_r/internal/algo/bigmath/ccos/eulerf.h +4 -3
  72. data/ext/bigdecimal/math_r/internal/algo/bigmath/ccosh/eulerf.h +4 -3
  73. data/ext/bigdecimal/math_r/internal/algo/bigmath/ccot/eulerf.h +5 -3
  74. data/ext/bigdecimal/math_r/internal/algo/bigmath/ccoth/eulerf.h +4 -2
  75. data/ext/bigdecimal/math_r/internal/algo/bigmath/ccsc/eulerf.h +4 -2
  76. data/ext/bigdecimal/math_r/internal/algo/bigmath/ccsch/eulerf.h +5 -3
  77. data/ext/bigdecimal/math_r/internal/algo/bigmath/cexp/eulerf.h +10 -7
  78. data/ext/bigdecimal/math_r/internal/algo/bigmath/cexp2/eulerf.h +5 -3
  79. data/ext/bigdecimal/math_r/internal/algo/bigmath/cexpm1/branch.h +13 -0
  80. data/ext/bigdecimal/math_r/internal/algo/bigmath/cexpm1/identity.h +17 -0
  81. data/ext/bigdecimal/math_r/internal/algo/bigmath/clog/branch.h +11 -12
  82. data/ext/bigdecimal/math_r/internal/algo/bigmath/clog10/branch.h +53 -0
  83. data/ext/bigdecimal/math_r/internal/algo/bigmath/clog10/formula.h +4 -3
  84. data/ext/bigdecimal/math_r/internal/algo/bigmath/clog2/branch.h +53 -0
  85. data/ext/bigdecimal/math_r/internal/algo/bigmath/clog2/formula.h +4 -3
  86. data/ext/bigdecimal/math_r/internal/algo/bigmath/cos/eulerf.h +6 -4
  87. data/ext/bigdecimal/math_r/internal/algo/bigmath/cos/ser.h +4 -4
  88. data/ext/bigdecimal/math_r/internal/algo/bigmath/cosh/eulerf.h +5 -3
  89. data/ext/bigdecimal/math_r/internal/algo/bigmath/cosh/formula.h +5 -5
  90. data/ext/bigdecimal/math_r/internal/algo/bigmath/cosh/ser.h +4 -3
  91. data/ext/bigdecimal/math_r/internal/algo/bigmath/cot/eulerf.h +5 -3
  92. data/ext/bigdecimal/math_r/internal/algo/bigmath/cot/ser.h +3 -2
  93. data/ext/bigdecimal/math_r/internal/algo/bigmath/coth/eulerf.h +4 -2
  94. data/ext/bigdecimal/math_r/internal/algo/bigmath/coth/formula.h +1 -0
  95. data/ext/bigdecimal/math_r/internal/algo/bigmath/coth/ser.h +3 -2
  96. data/ext/bigdecimal/math_r/internal/algo/bigmath/cpow/formula.h +9 -7
  97. data/ext/bigdecimal/math_r/internal/algo/bigmath/csc/eulerf.h +4 -2
  98. data/ext/bigdecimal/math_r/internal/algo/bigmath/csc/ser.h +5 -3
  99. data/ext/bigdecimal/math_r/internal/algo/bigmath/csch/eulerf.h +5 -3
  100. data/ext/bigdecimal/math_r/internal/algo/bigmath/csch/formula.h +2 -2
  101. data/ext/bigdecimal/math_r/internal/algo/bigmath/csch/ser.h +6 -3
  102. data/ext/bigdecimal/math_r/internal/algo/bigmath/csec/eulerf.h +5 -3
  103. data/ext/bigdecimal/math_r/internal/algo/bigmath/csech/eulerf.h +5 -3
  104. data/ext/bigdecimal/math_r/internal/algo/bigmath/csin/eulerf.h +4 -3
  105. data/ext/bigdecimal/math_r/internal/algo/bigmath/csinh/eulerf.h +4 -3
  106. data/ext/bigdecimal/math_r/internal/algo/bigmath/csqrt/branch.h +40 -0
  107. data/ext/bigdecimal/math_r/internal/algo/bigmath/csqrt/formula.h +13 -43
  108. data/ext/bigdecimal/math_r/internal/algo/bigmath/ctan/eulerf.h +4 -3
  109. data/ext/bigdecimal/math_r/internal/algo/bigmath/ctanh/eulerf.h +4 -3
  110. data/ext/bigdecimal/math_r/internal/algo/bigmath/cuberoot/branch.h +18 -0
  111. data/ext/bigdecimal/math_r/internal/algo/bigmath/cuberoot/newton.h +4 -12
  112. data/ext/bigdecimal/math_r/internal/algo/bigmath/erf/algo911.h +7 -4
  113. data/ext/bigdecimal/math_r/internal/algo/bigmath/erf/cf.h +1 -0
  114. data/ext/bigdecimal/math_r/internal/algo/bigmath/erf/ser_inf.h +1 -0
  115. data/ext/bigdecimal/math_r/internal/algo/bigmath/erf/ser_zero.h +1 -0
  116. data/ext/bigdecimal/math_r/internal/algo/bigmath/erfc/algo911.h +5 -2
  117. data/ext/bigdecimal/math_r/internal/algo/bigmath/erfc/cf.h +1 -0
  118. data/ext/bigdecimal/math_r/internal/algo/bigmath/escalb/edf.h +2 -0
  119. data/ext/bigdecimal/math_r/internal/algo/bigmath/exp/builtin.h +7 -1
  120. data/ext/bigdecimal/math_r/internal/algo/bigmath/exp/edf.h +6 -5
  121. data/ext/bigdecimal/math_r/internal/algo/bigmath/exp2/edf.h +9 -5
  122. data/ext/bigdecimal/math_r/internal/algo/bigmath/expm1/branch.h +13 -0
  123. data/ext/bigdecimal/math_r/internal/algo/bigmath/expm1/identity.h +18 -0
  124. data/ext/bigdecimal/math_r/internal/algo/bigmath/expxt/edf.h +1 -1
  125. data/ext/bigdecimal/math_r/internal/algo/bigmath/f_euler/formula.h +3 -2
  126. data/ext/bigdecimal/math_r/internal/algo/bigmath/hypot/l2norm.h +5 -4
  127. data/ext/bigdecimal/math_r/internal/algo/bigmath/hypot/mmm.h +1 -1
  128. data/ext/bigdecimal/math_r/internal/algo/bigmath/ipow/edf.h +6 -4
  129. data/ext/bigdecimal/math_r/internal/algo/bigmath/l2norm/formula.h +6 -1
  130. data/ext/bigdecimal/math_r/internal/algo/bigmath/log/branch.h +6 -2
  131. data/ext/bigdecimal/math_r/internal/algo/bigmath/log/builtin.h +3 -2
  132. data/ext/bigdecimal/math_r/internal/algo/bigmath/log/edf.h +8 -5
  133. data/ext/bigdecimal/math_r/internal/algo/bigmath/log/edom.h +10 -4
  134. data/ext/bigdecimal/math_r/internal/algo/bigmath/log/mercator.h +7 -9
  135. data/ext/bigdecimal/math_r/internal/algo/bigmath/log/ser_okumura.h +4 -1
  136. data/ext/bigdecimal/math_r/internal/algo/bigmath/log10/edf.h +3 -2
  137. data/ext/bigdecimal/math_r/internal/algo/bigmath/log10/mercator.h +9 -9
  138. data/ext/bigdecimal/math_r/internal/algo/bigmath/log1p/branch.h +8 -5
  139. data/ext/bigdecimal/math_r/internal/algo/bigmath/log1p/ser_mercator.h +16 -6
  140. data/ext/bigdecimal/math_r/internal/algo/bigmath/log2/branch.h +1 -1
  141. data/ext/bigdecimal/math_r/internal/algo/bigmath/log2/edf.h +3 -2
  142. data/ext/bigdecimal/math_r/internal/algo/bigmath/log2/mercator.h +9 -9
  143. data/ext/bigdecimal/math_r/internal/algo/bigmath/logxt/edf.h +6 -1
  144. data/ext/bigdecimal/math_r/internal/algo/bigmath/pow/formula.h +13 -8
  145. data/ext/bigdecimal/math_r/internal/algo/bigmath/rcm10/edf.h +10 -4
  146. data/ext/bigdecimal/math_r/internal/algo/bigmath/rcm2/edf.h +11 -3
  147. data/ext/bigdecimal/math_r/internal/algo/bigmath/sec/eulerf.h +5 -3
  148. data/ext/bigdecimal/math_r/internal/algo/bigmath/sec/ser.h +6 -4
  149. data/ext/bigdecimal/math_r/internal/algo/bigmath/sech/eulerf.h +5 -3
  150. data/ext/bigdecimal/math_r/internal/algo/bigmath/sech/formula.h +8 -4
  151. data/ext/bigdecimal/math_r/internal/algo/bigmath/sech/ser.h +5 -3
  152. data/ext/bigdecimal/math_r/internal/algo/bigmath/sin/eulerf.h +5 -2
  153. data/ext/bigdecimal/math_r/internal/algo/bigmath/sin/ser.h +4 -5
  154. data/ext/bigdecimal/math_r/internal/algo/bigmath/sincos/ser.h +9 -2
  155. data/ext/bigdecimal/math_r/internal/algo/bigmath/sinh/eulerf.h +5 -3
  156. data/ext/bigdecimal/math_r/internal/algo/bigmath/sinh/formula.h +8 -4
  157. data/ext/bigdecimal/math_r/internal/algo/bigmath/sinh/ser.h +4 -3
  158. data/ext/bigdecimal/math_r/internal/algo/bigmath/sinhcosh/ser.h +10 -3
  159. data/ext/bigdecimal/math_r/internal/algo/bigmath/sqrt/branch.h +2 -1
  160. data/ext/bigdecimal/math_r/internal/algo/bigmath/sqrt/builtin.h +2 -2
  161. data/ext/bigdecimal/math_r/internal/algo/bigmath/sqrt/edom.h +1 -0
  162. data/ext/bigdecimal/math_r/internal/algo/bigmath/tan/eulerf.h +5 -3
  163. data/ext/bigdecimal/math_r/internal/algo/bigmath/tan/ser.h +3 -8
  164. data/ext/bigdecimal/math_r/internal/algo/bigmath/tanh/eulerf.h +5 -3
  165. data/ext/bigdecimal/math_r/internal/algo/bigmath/tanh/formula.h +7 -3
  166. data/ext/bigdecimal/math_r/internal/algo/bigmath/tanh/ser.h +3 -3
  167. data/ext/bigdecimal/math_r/internal/algo/bigmath/trig/f_euler.h +11 -5
  168. data/ext/bigdecimal/math_r/log.c +5 -5
  169. data/ext/bigdecimal/math_r/math_r/bigdecimal.h +5 -1
  170. data/ext/bigdecimal/math_r/math_r/bigmath.h +2 -0
  171. data/ext/bigdecimal/math_r/math_r/globals.h +1 -1
  172. data/ext/bigdecimal/math_r/math_r/numeric.h +1 -0
  173. data/ext/bigdecimal/math_r/math_r.c +14 -3
  174. data/ext/bigdecimal/math_r/solver.c +75 -21
  175. data/lib/bigdecimal/math_r/const/E_euler.rb +46 -0
  176. data/lib/bigdecimal/math_r/version.rb +1 -1
  177. data/lib/bigdecimal/math_r.rb +1 -0
  178. metadata +21 -11
  179. data/.ruby-version +0 -1
  180. data/LICENSE.txt +0 -21
  181. data/lib/bigdecimal/math_r.so +0 -0
@@ -10,7 +10,7 @@ atan_branch(VALUE x, VALUE prec, bigmath_func1 atan_cb)
10
10
  if (rb_num_zero_p(x))
11
11
  y = BIG_ZERO;
12
12
  else
13
- y = atan_cb(x, prec);
13
+ y = rb_bigmath_atan_adopt(x, prec, atan_cb);
14
14
 
15
15
  return y;
16
16
  }
@@ -1,14 +1,15 @@
1
1
  VALUE
2
2
  atan_logrep(VALUE x, VALUE prec)
3
3
  {
4
- VALUE n, m, y;
4
+ VALUE n1, m1, y, n;
5
5
 
6
6
  rb_check_precise(prec);
7
+ n = rb_numdiff_make_n(prec);
7
8
 
8
- n = rb_Complex(BIG_ONE, x);
9
- m = rb_bigmath_sqrt(rb_funcall1(BIG_ONE, '+', rb_funcall1(x, '*', x)), prec);
10
- y = rb_funcall1(n, '/', m);
11
- y = rb_bigmath_carg(y, prec);
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
- #if 1
2
- static VALUE
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
- static VALUE
2
- atan_ser_usual_inline(VALUE x, VALUE prec)
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, p0999 = rb_BigDecimal1(rb_str_new_cstr("0.999"));
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 (RTEST(rb_num_coerce_cmp(INT2FIX(-1), x, leq)) &&
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(prec);
12
+ pi = rb_bigmath_const_pi(n);
10
13
  t = rb_Complex(
11
- rb_bigmath_log(rb_num_abs(t), prec),
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
 
@@ -5,6 +5,8 @@ atanh_logrep(VALUE x, VALUE prec)
5
5
  const ID mult = rb_intern("mult");
6
6
  VALUE n, half;
7
7
 
8
+ rb_check_precise(prec);
9
+
8
10
  n = rb_numdiff_make_n(prec);
9
11
  half = rb_BigDecimal1(rb_str_new_cstr("0.5"));
10
12
 
@@ -5,6 +5,7 @@ atanh_ser(VALUE x, VALUE prec)
5
5
  const ID mult = rb_intern("mult");
6
6
  VALUE one, two, i, d, y, x2, n, m;
7
7
 
8
+ rb_check_precise(prec);
8
9
  n = rb_numdiff_make_n(prec);
9
10
 
10
11
  one = BIG_ONE;
@@ -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
- return rb_bigmath_l2norm(
7
- rb_assoc_new(rb_num_real(z), rb_num_imag(z)), prec);
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)), prec);
10
- c3 = rb_bigmath_clog(rb_funcall1(c1, '+', c2), prec);
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(prec), div, 2, INT2FIX(2), prec);
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, prec);
10
+ c2 = rb_bigmath_csqrt(c2, n);
10
11
  c3 = rb_funcall1(z, '-', BIG_ONE);
11
- c3 = rb_bigmath_csqrt(c3, prec);
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, prec);
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, prec);
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, prec, ARG_COMPLEX, ARG_RAWVALUE);
9
+ z = rb_num_canonicalize(z, n, ARG_COMPLEX, ARG_RAWVALUE);
7
10
  z = rb_ImaginaryZ(z, SIGN_MINUS);
8
- z = cacot_logrep(z, prec);
9
-
10
- return rb_ImaginaryZ(z, SIGN_MINUS);
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, prec);
12
+ y = rb_bigmath_csqrt(y, n);
12
13
  y = rb_Complex(y,
13
14
  rb_num_canonicalize(
14
- rb_num_uminus(z), prec, ARG_COMPLEX, ARG_RECIPROCAL));
15
- y = rb_bigmath_clog(y, prec);
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, prec, ARG_COMPLEX, ARG_RAWVALUE);
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 rb_ImaginaryZ(z, SIGN_PLUS);
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
- return rb_bigmath_quadrant(
7
- rb_num_real(z), rb_num_imag(z), prec);
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, prec);
12
+ w = rb_bigmath_csqrt(w, n);
12
13
  w = rb_funcall1(rb_ImaginaryZ(w, SIGN_PLUS), '+',
13
- rb_num_canonicalize(z, prec, ARG_COMPLEX, ARG_RECIPROCAL));
14
- w = rb_bigmath_clog(w, prec);
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, prec, ARG_COMPLEX, ARG_RECIPROCAL);
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)), prec);
11
- c3 = rb_bigmath_clog(rb_funcall1(c1, '+', c2), prec);
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 rb_ImaginaryZ(c3, SIGN_MINUS);
15
+ return rb_num_round(z, prec);
14
16
  }
@@ -3,6 +3,7 @@ casinh_logrep(VALUE z, VALUE prec)
3
3
  {
4
4
  VALUE n, t, y;
5
5
 
6
+ rb_check_precise(prec);
6
7
  n = rb_numdiff_make_n(prec);
7
8
 
8
9
  t = rb_funcall1(rb_funcall1(z, '*', z), '+', BIG_ONE);
@@ -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, prec);
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, prec);
9
+ z = catan_logrep(z, n);
10
+ z = rb_ImaginaryZ(z, SIGN_MINUS);
8
11
 
9
- return rb_ImaginaryZ(z, SIGN_MINUS);
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
- return rb_bigmath_cpow(z, one_third, prec);
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), prec);
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, prec);
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), prec);
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 rb_num_canonicalize(w, prec, ARG_COMPLEX, ARG_RECIPROCAL);
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 rb_num_canonicalize(w, prec, ARG_COMPLEX, ARG_RECIPROCAL);
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 rb_num_canonicalize(w, prec, ARG_COMPLEX, ARG_RECIPROCAL);
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, prec), SIGN_PLUS);
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 rb_num_canonicalize(w, prec, ARG_COMPLEX, ARG_RECIPROCAL);
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), prec, ARG_REAL, ARG_RAWVALUE);
12
- r = rb_bigmath_exp(r, prec);
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), prec);
16
+ theta = f_euler_formula(rb_num_imag(z), n);
16
17
 
17
- return rb_Complex(
18
- rb_funcall(rb_BigDecimal1(r), mult, 2, rb_num_real(theta), prec),
19
- rb_funcall(rb_BigDecimal1(r), mult, 2, rb_num_imag(theta), prec)
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 = rb_bigmath_const_log2(prec);
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, prec);
11
+ z = cexp_eulerf(z, n);
10
12
 
11
- return z;
13
+ return rb_num_round(z, prec);
12
14
  }