gmp 0.5.41 → 0.5.47

data/ext/gmpz.c

@@ -249,7 +249,7 @@ FUNC_MAP__Z_ZUI__TO__Z__RETURNS__VOID(lcm,mpz_lcm)
  * FUNC_MAP__ZUI_ZUI__TO__Z__RETURNS__VOID defines a GMP::Z singleton function that takes
  * a GMP::Z as rop, a GMP::Z, Bignum, or Fixnum as op1, and a GMP::Z, Bignum, or Fixnum
  * as op2. It calls mpz_fname, whose arguments are rop (the return argument), op1, and
- * op2. If op1 is a Fixnum and >=0, xor if op2 is a Fixnum and >= 0, one ui variant or
+ * op2. If op1 is a Fixnum and >= 0, xor if op2 is a Fixnum and >= 0, one ui variant or
  * the other of mpz_fname will be used:
  *
  *       op2 --> |  FIXNUM >=0  |  FIXNUM < 0  |    BIGNUM    |    GMP::Z    |
@@ -453,6 +453,114 @@ FUNC_MAP__Z__TO__Z__RETURNS__VOID(sqrt,mpz_sqrt)
 FUNC_MAP__Z__TO__Z__RETURNS__VOID(nextprime,mpz_nextprime)
 FUNC_MAP__Z__TO__Z__RETURNS__VOID(com,mpz_com)
 
+/*
+ * 09 mpz_t__mpz_t_or_ui__to__none__returns__int
+ * FUNC_MAP__Z_Z__TO__VOID__RETURNS__BOOL defines a GMP::Z singleton function that
+ * doesn't take a rop, a GMP::Z as op1, and a GMP::Z, Fixnum, or Bignum as op2. It calls
+ * mpz_fname[_ui]_p, whose arguments are op1 and op2.
+ *
+ * TODO: Accept Fixnum, Bignum as op1 and just convert to GMP::Z.
+ */
+#define FUNC_MAP__Z_Z__TO__VOID__RETURNS__BOOL(fname,mpz_fname)     \
+static VALUE r_gmpzsg_##fname(VALUE klass, VALUE op1, VALUE op2)    \
+{                                                                   \
+  MP_INT *op1_val, *op2_val;                                        \
+  int res;                                                          \
+  (void)klass;                                                      \
+                                                                    \
+  if (! GMPZ_P (op1)) {                                             \
+    typeerror_as (Z, "op1");                                        \
+  }                                                                 \
+  mpz_get_struct (op1, op1_val);                                    \
+                                                                    \
+  if (FIXNUM_P (op2)) {                                             \
+    if (FIX2NUM (op2) >= 0) {                                       \
+      res = mpz_fname##_ui_p (op1_val, FIX2NUM (op2));              \
+    } else {                                                        \
+      mpz_temp_alloc (op2_val);                                     \
+      mpz_init_set_si (op2_val, FIX2NUM (op2));                     \
+      res = mpz_fname##_p (op1_val, op2_val);                       \
+      mpz_temp_free (op2_val);                                      \
+    }                                                               \
+  } else if (BIGNUM_P (op2)) {                                      \
+    mpz_temp_from_bignum (op2_val, op2);                            \
+    res = mpz_fname##_p (op1_val, op2_val);                         \
+    mpz_temp_free (op2_val);                                        \
+  } else if (GMPZ_P (op2)) {                                        \
+    mpz_get_struct (op2, op2_val);                                  \
+    res = mpz_fname##_p (op1_val, op2_val);                         \
+  } else {                                                          \
+    typeerror_as (ZXB, "op2");                                      \
+  }                                                                 \
+                                                                    \
+  return (res ? Qtrue : Qfalse);                                    \
+}
+
+FUNC_MAP__Z_Z__TO__VOID__RETURNS__BOOL(divisible,mpz_divisible)
+
+/*
+ * 11 mpz_t__mpz_t_or_ui__mpz_t_or_ui__to__none__returns__int
+ * FUNC_MAP__Z_ZXB_ZXB__TO__VOID__RETURNS__BOOL defines a GMP::Z singleton function that
+ * doesn't take a rop, a GMP::Z as op1, and a GMP::Z, Fixnum, or Bignum as both op2 and
+ * op3. It calls mpz_fname[_ui]_p, whose arguments are op1, op2, and op3.
+ *
+ * TODO: Accept Fixnum, Bignum as op1 and just convert to GMP::Z.
+ */
+#define FUNC_MAP__Z_ZXB_ZXB__TO__VOID__RETURNS__BOOL(fname,mpz_fname)  \
+static VALUE r_gmpzsg_##fname(VALUE klass, VALUE op1, VALUE op2, VALUE op3)  \
+{                                                                   \
+  MP_INT *op1_val, *op2_val, *op3_val;                              \
+  int res;                                                          \
+  int free_op2_val = 0;                                             \
+  int free_op3_val = 0;                                             \
+  (void)klass;                                                      \
+                                                                    \
+  if (! GMPZ_P (op1)) {                                             \
+    typeerror_as (Z, "op1");                                        \
+  }                                                                 \
+  mpz_get_struct (op1, op1_val);                                    \
+                                                                    \
+  if (FIXNUM_P (op2)) {                                             \
+    if (FIX2NUM (op2) >= 0) {                                       \
+      if (FIXNUM_P (op3) && FIX2NUM (op3) >= 0) {                   \
+        res = mpz_fname##_ui_p (op1_val, FIX2NUM (op2), FIX2NUM (op3));  \
+        return (res ? Qtrue : Qfalse);                              \
+      }                                                             \
+    }                                                               \
+    mpz_temp_alloc (op2_val);                                       \
+    mpz_init_set_si (op2_val, FIX2NUM (op2));                       \
+    free_op2_val = 1;                                               \
+  } else if (BIGNUM_P (op2)) {                                      \
+    mpz_temp_from_bignum (op2_val, op2);                            \
+    free_op2_val = 1;                                               \
+  } else if (GMPZ_P (op2)) {                                        \
+    mpz_get_struct (op2, op2_val);                                  \
+  } else {                                                          \
+    typeerror_as (ZXB, "op2");                                      \
+  }                                                                 \
+                                                                    \
+  if (FIXNUM_P (op3)) {                                             \
+      mpz_temp_alloc (op3_val);                                     \
+      mpz_init_set_si (op3_val, FIX2NUM (op3));                     \
+      free_op3_val = 1;                                             \
+  } else if (BIGNUM_P (op3)) {                                      \
+    mpz_temp_from_bignum (op3_val, op3);                            \
+    free_op3_val = 1;                                               \
+  } else if (GMPZ_P (op3)) {                                        \
+    mpz_get_struct (op3, op3_val);                                  \
+  } else {                                                          \
+    typeerror_as (ZXB, "op3");                                      \
+  }                                                                 \
+                                                                    \
+  res = mpz_fname##_p (op1_val, op2_val, op3_val);                  \
+  if (free_op2_val) { free(op2_val); }                              \
+  if (free_op3_val) { free(op3_val); }                              \
+                                                                    \
+  return (res ? Qtrue : Qfalse);                                    \
+}
+
+FUNC_MAP__Z_ZXB_ZXB__TO__VOID__RETURNS__BOOL(congruent,mpz_congruent)
+
 
 /**********************************************************************
  *    Initializing, Assigning Integers                                *
@@ -471,13 +579,15 @@ FUNC_MAP__Z__TO__Z__RETURNS__VOID(com,mpz_com)
  * * Bignum
  *
  * @example
- *   GMP::Z.new(5)        #=> 5
- *   GMP::Z.new(2**32)    #=> 4_294_967_296
- *   GMP::Z.new(2**101)   #=> 2_535_301_200_456_458_802_993_406_410_752
- *   GMP::Z.new("20")     #=> 20
- *   GMP::Z.new("0x20")   #=> 32
- *   GMP::Z.new("020")    #=> 16
- *   GMP::Z.new("0b101")  #=> 5
+ *   GMP::Z.new(5)         #=> 5
+ *   GMP::Z.new(2**32)     #=> 4_294_967_296
+ *   GMP::Z.new(2**101)    #=> 2_535_301_200_456_458_802_993_406_410_752
+ *   GMP::Z.new("20")      #=> 20
+ *   GMP::Z.new("0x20")    #=> 32
+ *   GMP::Z.new("020")     #=> 16
+ *   GMP::Z.new("0b101")   #=> 5
+ *   GMP::Z.new("20", 16)  #=> 32
+ *   GMP::Z.new("1Z", 36)  #=> 71
  */
 VALUE r_gmpzsg_new(int argc, VALUE *argv, VALUE klass)
 {
@@ -485,8 +595,8 @@ VALUE r_gmpzsg_new(int argc, VALUE *argv, VALUE klass)
   VALUE res;
   (void)klass;
 
-  if (argc > 1)
-    rb_raise(rb_eArgError, "wrong # of arguments (%d for 0 or 1)", argc);
+  if (argc > 2)
+    rb_raise(rb_eArgError, "wrong # of arguments (%d for 0, 1, or 2)", argc);
 
   mpz_make_struct(res, res_val);
   mpz_init(res_val);
@@ -498,10 +608,30 @@ VALUE r_gmpzsg_new(int argc, VALUE *argv, VALUE klass)
 VALUE r_gmpz_initialize(int argc, VALUE *argv, VALUE self)
 {
   MP_INT *self_val;
+  int base = 0;
+
+  // Set up the base if 2 arguments are passed
+  if (argc == 2) { // only ok if String, Fixnum
+    if (STRING_P(argv[0])) {  // first arg must be a String
+      if (FIXNUM_P(argv[1])) {  //  second arg must be a Fixnum
+        base = FIX2INT(argv[1]);
+        if ( base != 0 && ( base < 2 || base > 62) )
+          rb_raise (rb_eRangeError, "base must be either 0 or between 2 and 62");
+      } else {
+        rb_raise (rb_eTypeError, "base must be a Fixnum between 2 and 62, not a %s.", rb_class2name (rb_class_of (argv[1])));
+      }
+    } else {
+      rb_raise(
+        rb_eTypeError,
+        "GMP::Z.new() must be passed a String as the 1st argument (not a %s), if a base is passed as the 2nd argument.",
+        rb_class2name (rb_class_of (argv[0]))
+      );
+    }
+  }
 
   if (argc != 0) {
-    mpz_get_struct(self,self_val);
-    mpz_set_value (self_val, argv[0]);
+    mpz_get_struct (self,self_val);
+    mpz_set_value (self_val, argv[0], base);
   }
   return Qnil;
 }
@@ -518,7 +648,7 @@ VALUE r_gmpz_initialize(int argc, VALUE *argv, VALUE self)
  * * String
  * * Bignum
  */
-void mpz_set_value(MP_INT *target, VALUE source)
+void mpz_set_value(MP_INT *target, VALUE source, int base)
 {
   MP_INT *source_val;
 
@@ -528,7 +658,7 @@ void mpz_set_value(MP_INT *target, VALUE source)
   } else if (FIXNUM_P(source)) {
     mpz_set_si(target, FIX2NUM(source));
   } else if (STRING_P(source)) {
-    mpz_set_str(target, StringValuePtr(source), 0);
+    mpz_set_str(target, StringValuePtr(source), base);
   } else if (BIGNUM_P(source)) {
     mpz_set_bignum(target, source);
   } else {
@@ -661,8 +791,8 @@ VALUE r_gmpz_to_s(int argc, VALUE *argv, VALUE self)
   ID bin_base_id = rb_intern(bin_base);
   ID oct_base_id = rb_intern(oct_base);
   ID dec_base_id = rb_intern(dec_base);
-  ID hex_base_id = rb_intern(hex_base);  
-  
+  ID hex_base_id = rb_intern(hex_base);
+
   rb_scan_args(argc, argv, "01", &base);
   if (NIL_P(base)) { base = INT2FIX(10); }           /* default value */
   if (FIXNUM_P(base)) {
@@ -2093,7 +2223,7 @@ VALUE r_gmpz_sgn(VALUE self)
  *
  * Returns true if _a_ is equal to _b_. _a_ and _b_ must then be equal in cardinality,
  * and both be instances of GMP::Z. Otherwise, returns false. a.eql?(b) if and only if
- * a.hash == b.hash.
+ * b.class == GMP::Z, and a.hash == b.hash.
  */
 VALUE r_gmpz_eql(VALUE self, VALUE arg)
 {
@@ -2117,7 +2247,7 @@ VALUE r_gmpz_eql(VALUE self, VALUE arg)
  *
  * Returns the computed hash value of _a_. This method first converts _a_ into a String
  * (base 10), then calls String#hash on the result, returning the hash value. a.eql?(b)
- * if and only if a.hash == b.hash.
+ * if and only if b.class == GMP::Z, and a.hash == b.hash.
  */
 VALUE r_gmpz_hash(VALUE self)
 {
@@ -2452,13 +2582,15 @@ void init_gmpz()
   rb_define_method(cGMP_Z, "%",            r_gmpz_mod, 1);
   rb_define_method(cGMP_Z, "divisible?",   r_gmpz_divisible, 1);
   // Functional Mappings
-  rb_define_singleton_method(cGMP_Z, "divexact", r_gmpzsg_divexact, 3);
+  rb_define_singleton_method(cGMP_Z, "divexact",    r_gmpzsg_divexact, 3);
   rb_define_singleton_method(cGMP_Z, "cdiv_q_2exp", r_gmpzsg_cdiv_q_2exp, 3);
   rb_define_singleton_method(cGMP_Z, "cdiv_r_2exp", r_gmpzsg_cdiv_r_2exp, 3);
   rb_define_singleton_method(cGMP_Z, "fdiv_q_2exp", r_gmpzsg_fdiv_q_2exp, 3);
   rb_define_singleton_method(cGMP_Z, "fdiv_r_2exp", r_gmpzsg_fdiv_r_2exp, 3);
   rb_define_singleton_method(cGMP_Z, "tdiv_q_2exp", r_gmpzsg_tdiv_q_2exp, 3);
   rb_define_singleton_method(cGMP_Z, "tdiv_r_2exp", r_gmpzsg_tdiv_r_2exp, 3);
+  rb_define_singleton_method(cGMP_Z, "divisible?",  r_gmpzsg_divisible, 2);
+  rb_define_singleton_method(cGMP_Z, "congruent?",  r_gmpzsg_congruent, 3);
   
   // Integer Exponentiation
   rb_define_singleton_method(cGMP_Z, "pow",    r_gmpzsg_pow, 2);

data/ext/ruby_gmp.h

@@ -66,9 +66,14 @@ typedef __gmp_randstate_struct MP_RANDSTATE;
 #define GMPQ_P(value)   (rb_obj_is_instance_of(value, cGMP_Q) == Qtrue)
 #define GMPF_P(value)   (rb_obj_is_instance_of(value, cGMP_F) == Qtrue)
 #define mpz_set_bignum(var_mpz,var_bignum) {                   \
-  VALUE tmp = rb_funcall (var_bignum, rb_intern ("to_s"), 1, INT2FIX(32));  \
+  VALUE tmp = rb_funcall (rb_funcall (var_bignum, rb_intern ("to_s"), 1, INT2FIX(32)), rb_intern("upcase"), 0);  \
   mpz_set_str (var_mpz, StringValuePtr (tmp), 32);              \
 }
+  /*VALUE tmp = rb_funcall (var_bignum, rb_intern ("to_s"), 1, INT2FIX(32));  \*/
+/*#define mpz_set_bignum(var_mpz,var_bignum) {                   \
+  VALUE tmp = rb_funcall (var_bignum, rb_intern ("to_s"), 0);  \
+  mpz_set_str (var_mpz, StringValuePtr (tmp), 10);              \
+}*/
 #define mpz_temp_alloc(var) { var=malloc(sizeof(MP_INT)); }
 #define mpz_temp_init(var) { mpz_temp_alloc(var); mpz_init(var); }
 #define mpz_temp_from_bignum(var,var_bignum) {                 \
@@ -160,7 +165,7 @@ extern void r_gmprandstate_free(void *ptr);
 // Initializing, Assigning Integers
 extern VALUE r_gmpzsg_new(int argc, VALUE *argv, VALUE klass);
 extern VALUE r_gmpz_initialize(int argc, VALUE *argv, VALUE self);
-extern void mpz_set_value(MP_INT *target, VALUE source);
+extern void mpz_set_value(MP_INT *target, VALUE source, int base);
 extern VALUE r_gmpmod_z(int argc, VALUE *argv, VALUE module);
 extern VALUE r_gmpz_swap(VALUE self, VALUE arg);
 
@@ -218,6 +223,7 @@ extern VALUE r_gmpz_size_in_bin(VALUE self);
 
 // Initializing Rationals
 extern VALUE r_gmpqsg_new(int argc, VALUE *argv, VALUE klass);
+extern VALUE r_gmpq_initialize(int argc, VALUE *argv, VALUE self);
 extern VALUE r_gmpmod_q(int argc, VALUE *argv, VALUE module);
 extern VALUE r_gmpq_swap(VALUE self, VALUE arg);
 
@@ -280,11 +286,11 @@ extern int mpf_cmp_value(MP_FLOAT *OP, VALUE arg);
 // MPFR
 #ifdef MPFR
   extern void mpf_set_value2(MP_FLOAT *self_val, VALUE arg, int base);
-  
+
   extern VALUE r_gmpfr_sqrt(int argc, VALUE *argv, VALUE self);
   extern VALUE r_gmpfr_rec_sqrt(int argc, VALUE *argv, VALUE self);
   extern VALUE r_gmpfr_cbrt(int argc, VALUE *argv, VALUE self);
-  
+
   extern VALUE r_gmpfr_log(int argc, VALUE *argv, VALUE self);
   extern VALUE r_gmpfr_log2(int argc, VALUE *argv, VALUE self);
   extern VALUE r_gmpfr_log10(int argc, VALUE *argv, VALUE self);
@@ -297,22 +303,22 @@ extern int mpf_cmp_value(MP_FLOAT *OP, VALUE arg);
   extern VALUE r_gmpfr_sec(int argc, VALUE *argv, VALUE self);
   extern VALUE r_gmpfr_csc(int argc, VALUE *argv, VALUE self);
   extern VALUE r_gmpfr_cot(int argc, VALUE *argv, VALUE self);
-  
+
   extern VALUE r_gmpfr_acos(int argc, VALUE *argv, VALUE self);
   extern VALUE r_gmpfr_asin(int argc, VALUE *argv, VALUE self);
   extern VALUE r_gmpfr_atan(int argc, VALUE *argv, VALUE self);
-  
+
   extern VALUE r_gmpfr_cosh(int argc, VALUE *argv, VALUE self);
   extern VALUE r_gmpfr_sinh(int argc, VALUE *argv, VALUE self);
   extern VALUE r_gmpfr_tanh(int argc, VALUE *argv, VALUE self);
-  
+
   extern VALUE r_gmpfr_sech(int argc, VALUE *argv, VALUE self);
   extern VALUE r_gmpfr_csch(int argc, VALUE *argv, VALUE self);
   extern VALUE r_gmpfr_coth(int argc, VALUE *argv, VALUE self);
   extern VALUE r_gmpfr_acosh(int argc, VALUE *argv, VALUE self);
   extern VALUE r_gmpfr_asinh(int argc, VALUE *argv, VALUE self);
   extern VALUE r_gmpfr_atanh(int argc, VALUE *argv, VALUE self);
-  
+
   extern VALUE r_gmpfr_log1p(int argc, VALUE *argv, VALUE self);
   extern VALUE r_gmpfr_expm1(int argc, VALUE *argv, VALUE self);
   extern VALUE r_gmpfr_eint(int argc, VALUE *argv, VALUE self);
@@ -331,12 +337,12 @@ extern int mpf_cmp_value(MP_FLOAT *OP, VALUE arg);
   extern VALUE r_gmpfr_jn(int argc, VALUE *argv, VALUE self);
   extern VALUE r_gmpfr_y0(int argc, VALUE *argv, VALUE self);
   extern VALUE r_gmpfr_y1(int argc, VALUE *argv, VALUE self);
-  
+
   extern VALUE r_gmpfrsg_const_log2();
   extern VALUE r_gmpfrsg_const_pi();
   extern VALUE r_gmpfrsg_const_euler();
   extern VALUE r_gmpfrsg_const_catalan();
-  
+
   extern mp_rnd_t r_get_rounding_mode(VALUE rnd);
 #endif /* MPFR */
 

data/manual.tex

@@ -34,8 +34,8 @@
 \huge{gmp} &\\
 \midrule[3pt]
 \multicolumn{2}{r}{\large{Ruby bindings to the GMP library}}\\
-\multicolumn{2}{r}{\large{Edition 0.5.41}}\\
-\multicolumn{2}{r}{\large{17 November 2010}}
+\multicolumn{2}{r}{\large{Edition 0.5.47}}\\
+\multicolumn{2}{r}{\large{10 November 2011}}
 \end{tabular}
 
 \vfill
@@ -47,7 +47,7 @@
 This manual describes how to use the gmp Ruby gem, which provides bindings to
 the GNU multiple precision arithmetic library, version 4.3.x or 5.0.x.\\
 \\
-Copyright 2009, 2010 Sam Rawlins.\\
+Copyright 2009, 2010, 2011 Sam Rawlins.\\
 No license yet.
 \newpage
 
@@ -93,7 +93,7 @@ near you, see \url{http://www.gnu.org/order/ftp.html} for a full list.\\
 \\
 There are three public mailing lists of interest. One for release
 announcements, one for general questions and discussions about usage of the GMP
-library, and one for bug reports. For more information, see 
+library, and one for bug reports. For more information, see
 \url{http://gmplib.org/mailman/listinfo/}.\\
 
 The proper place for bug reports is gmp-bugs@gmplib.org. See Chapter 4
@@ -326,16 +326,19 @@ There are additional constants within \texttt{GMP} when MPFR is linked:
 \toprule
 \textbf{new} & & GMP::Z.new $\rightarrow$ \textit{integer} \\
 & & GMP::Z.new(\textit{numeric = 0}) $\rightarrow$ \textit{integer} \\
-& & GMP::Z.new(\textit{str}) $\rightarrow$ \textit{integer} \\
+& & GMP::Z.new(\textit{str}, \textit{base = 0}) $\rightarrow$ \textit{integer} \\
 \cmidrule(r){2-3}
 & \multicolumn{2}{p{\defnwidth}}{
-  This method creates a new \gmpzs integer. It takes one optional argument for the value
-  of the integer. This argument can be one of several classes. Here are some
-  examples:\newline
-  
+  This method creates a new \gmpzs integer. It typically takes one optional argument for
+  the value of the integer. This argument can be one of several classes. If the first
+  argument is a String, then a second argument, the base, may be optionally supplied.
+  Here are some examples:\newline
+
   \texttt{GMP::Z.new \qqqquad\qqqquad \#=> 0 (default) \newline
           GMP::Z.new(1) \qqqquad\qquad\  \#=> 1 (Ruby Fixnum) \newline
           GMP::Z.new("127") \qqqquad\  \#=> 127 (Ruby String)\newline
+          GMP::Z.new("FF", 16) \qquad\ \  \#=> 255 (Ruby String with base)\newline
+          GMP::Z.new("1Z", 36) \qquad\ \  \#=> 71 (Ruby String with base)\newline
           GMP::Z.new(4294967296) \qquad \#=> 4294967296 (Ruby Bignum)\newline
           GMP::Z.new(GMP::Z.new(31))  \#=> 31 (GMP Integer)}
 }
@@ -958,7 +961,7 @@ There is also a convenience method available, \texttt{GMP::Z()}.\\
 \textbf{hash} & & $a$.hash $\rightarrow$ $string$ \\
 \cmidrule(r){2-3}
 & \multicolumn{2}{p{\defnwidth}}{
-  Used when comparing objects as $Hash$ keys.
+  Used when comparing objects as Hash keys.
 }
 \end{tabular}
 
@@ -1139,7 +1142,7 @@ There is also a convenience method available, \texttt{GMP::Z()}.\\
   arguments for the value of the numerator and denominator. These arguments can each be
   an instance of several classes. Here are some
   examples:\newline
-  
+
   \texttt{GMP::Q.new \qqqquad\qqqquad \#=> 0 (default) \newline
           GMP::Q.new(1) \qqqquad\qquad\  \#=> 1 (Ruby Fixnum) \newline
           GMP::Q.new(1,3) \qqqquad\quad\  \#=> 1/3 (Ruby Fixnums) \newline
@@ -1163,7 +1166,7 @@ There is also a convenience method available, \texttt{GMP::Q()}.\\
 
   Otherwise returns the least significant part of \texttt{rational}, with the same sign as
   \textit{rational}.
-  
+
   If \textit{rational} is too big to fit in a Float, the returned result is probably not
   very useful.
 }
@@ -1178,6 +1181,15 @@ There is also a convenience method available, \texttt{GMP::Q()}.\\
   Converts \textit{rational} to a string.
 }
 \end{tabular}
+\newline\newline
+
+\subsection{Rational Arithmetic}
+
+\begin{tabular}{p{\methwidth} l r}
+\toprule
+\textbf{+} & & \textit{rational} + \text{numeric} $\rightarrow$ \textit{numeric} \\
+\end{tabular}
+\newline\newline
 
 \newpage
 \section{Floating-point Functions}
@@ -1186,7 +1198,7 @@ There is also a convenience method available, \texttt{GMP::Q()}.\\
 
 \subsection{Floating-point Special Functions (MPFR Only)}
 
-Every method below accepts two additional parameters in addition to any required parameters. These are $rnd_mode$, the rounding mode to use in calculation, which defaults to \textit{GMP::GMP\_RNDN}, and $res_prec$, the precision of the result, which defaults to the \textit{f.prec}, the precision of $f$.\\
+Every method below accepts two additional parameters in addition to any required parameters. These are $rnd\_mode$, the rounding mode to use in calculation, which defaults to \textit{GMP::GMP\_RNDN}, and $res\_prec$, the precision of the result, which defaults to the \textit{f.prec}, the precision of $f$.\\
 
 \begin{tabular}{p{\methwidth} l r}
 \toprule
@@ -1442,7 +1454,7 @@ Every method below accepts two additional parameters in addition to any required
   \textit{:lc\_2exp\_size}. This initializer instead takes just one argument, $size$. $a$, $c$,
   and $m2exp$ are then chosen from a table, with $m2exp/2 > size$. The maximum size
   currently supported is 128.\newline
-  
+
   \texttt{GMP::RandState.new \newline
           GMP::RandState.new(:mt) \newline
           GMP::RandState.new(:lc\_2exp, 1103515245, 12345, 15) \quad \#=> Perl's old rand() \newline
@@ -1485,6 +1497,30 @@ Every method below accepts two additional parameters in addition to any required
 }
 \end{tabular}
 
+\subsection{Floating-point Miscellaneous Functions (MPFR Only)}
+
+\begin{tabular}{p{\methwidth} l r}
+\toprule
+\textbf{mpfr\_buildopt\_tls\_p} & & GMP::F.mpfr\_buildopt\_tls\_p() $\rightarrow$ $integer$ \\
+\cmidrule(r){2-3}
+& \multicolumn{2}{p{\defnwidth}}{
+  Available only in MPFR 3.0.0 and greater.
+  \newline\newline
+  From the MPFR Manual: Return a non-zero value if MPFR was compiled as thread safe using compiler-level Thread Local Storage (that is, MPFR was built with the \texttt{--enable-thread-safe} configure option, see INSTALL file), return zero otherwise.
+}
+\end{tabular}
+\newline\newline
+
+\begin{tabular}{p{\methwidth} l r}
+\toprule
+\textbf{mpfr\_buildopt\_decimal\_p} & & GMP::F.mpfr\_buildopt\_decimal\_p() $\rightarrow$ $integer$ \\
+\cmidrule(r){2-3}
+& \multicolumn{2}{p{\defnwidth}}{
+  Available only in MPFR 3.0.0 and greater.
+  \newline\newline
+  From the MPFR Manual: Return a non-zero value if MPFR was compiled with decimal float support (that is, MPFR was built with the \texttt{--enable-decimal-float} configure option), return zero otherwise.
+}
+\end{tabular}
 
 \newpage
 \section{Benchmarking}