Cleanup

Signed-off-by: yamacir-kit <[email protected]>

README.md

@@ -97,9 +97,9 @@ Then, select one of the following targets and `make` it according to your purpos
 
 | Target      | Description
 |-------------|-------------
-| `all`       | Build shared-library `libmeevax.0.5.299.so` and executable `meevax`.
+| `all`       | Build shared-library `libmeevax.0.5.300.so` and executable `meevax`.
 | `install`   | Copy files into `/usr/local` directly.
-| `package`   | Generate debian package `meevax_0.5.299_amd64.deb` (only Ubuntu). The generated package can be installed by `sudo apt install build/meevax_0.5.299_amd64.deb`.
+| `package`   | Generate debian package `meevax_0.5.300_amd64.deb` (only Ubuntu). The generated package can be installed by `sudo apt install build/meevax_0.5.300_amd64.deb`.
 | `test`      | Test executable `meevax`. This target requires Valgrind to be installed.
 | `uninstall` | Remove files copied to `/usr/local` directly by target `install`.
 

VERSION

@@ -1 +1 @@
-0.5.299
+0.5.300

basis/srfi-144.ss

@@ -1,10 +1,8 @@
 (define-library (srfi 144)
   (import (only (meevax binary64)
             FP_FAST_FMA
-            binary64-abs
             binary64-denormalized?
             binary64-epsilon
-            binary64-expm1
             binary64-exponent
             binary64-fractional-part
             binary64-fused-multiply-add
@@ -13,7 +11,6 @@
             binary64-integral-part
             binary64-least
             binary64-log-binary
-            binary64-log1p
             binary64-max
             binary64-min
             binary64-normalized-fraction
@@ -26,22 +23,25 @@
             acosh
             asinh
             atanh
-            copy-sign
+            copysign
             cosh
             cyl_bessel_j
             cyl_neumann
             e
             erf
             erfc
             euler
-            gamma
-            load-exponent
-            log-gamma
-            next-after
+            expm1
+            fabs
+            ldexp
+            lgamma
+            log1p
+            nextafter
             phi
             pi
             sinh
             tanh
+            tgamma
             )
           (only (scheme base)
             *
@@ -200,11 +200,11 @@
 
          (define fl-cos-1 (cos 1))
 
-         (define fl-gamma-1/2 (gamma (/ 1 2)))
+         (define fl-gamma-1/2 (tgamma (/ 1 2)))
 
-         (define fl-gamma-1/3 2.67893853470774763) ; (define fl-gamma-1/3 (gamma (/ 1 3))) yields 1 ULP error
+         (define fl-gamma-1/3 2.67893853470774763) ; (define fl-gamma-1/3 (tgamma (/ 1 3))) yields 1 ULP error
 
-         (define fl-gamma-2/3 (gamma (/ 2 3)))
+         (define fl-gamma-2/3 (tgamma (/ 2 3)))
 
          (define fl-greatest binary64-greatest)
 
@@ -220,11 +220,11 @@
 
          (define flonum inexact)
 
-         (define fladjacent next-after)
+         (define fladjacent nextafter)
 
-         (define flcopysign copy-sign)
+         (define flcopysign copysign)
 
-         (define make-flonum load-exponent)
+         (define make-flonum ldexp)
 
          (define (flinteger-fraction x)
            (values (binary64-integral-part x)
@@ -295,7 +295,7 @@
 
          (define fl/ /)
 
-         (define flabs binary64-abs)
+         (define flabs fabs)
 
          (define (flabsdiff x y)
            (flabs (- x y)))
@@ -323,7 +323,7 @@
          (define (flexp2 x)
            (expt 2 x))
 
-         (define flexp-1 binary64-expm1)
+         (define flexp-1 expm1)
 
          (define flsquare square)
 
@@ -340,7 +340,7 @@
 
          (define fllog log)
 
-         (define fllog1+ binary64-log1p)
+         (define fllog1+ log1p)
 
          (define (fllog2 x)
            (log x 2))
@@ -385,11 +385,11 @@
              (values (car rq)
                      (cdr rq))))
 
-         (define flgamma gamma)
+         (define flgamma tgamma)
 
          (define (flloggamma x)
-           (values (log-gamma x)
-                   (if (positive? (gamma x)) 1.0 -1.0)))
+           (values (lgamma x)
+                   (if (positive? (tgamma x)) 1.0 -1.0)))
 
          (define flfirst-bessel cyl_bessel_j)
 

include/meevax/kernel/exact_integer.hpp

@@ -83,7 +83,7 @@ namespace meevax::inline kernel
       }
     }
 
-    auto square_root() const -> std::tuple<exact_integer, exact_integer>;
+    auto sqrt() const -> std::tuple<exact_integer, exact_integer>;
   };
 
   #define DEFINE_COMPARISON_OPERATOR(SYMBOL)                                   \

include/meevax/kernel/number.hpp

@@ -333,15 +333,15 @@ inline namespace number
 
   auto lcm(object const&, object const&) -> object;
 
-  auto square_root(object const&) -> object;
+  auto sqrt(object const&) -> object;
 
   auto pow(object const&, object const&) -> object;
 
   auto numerator(object const&) -> object;
 
   auto denominator(object const&) -> object;
 
-  auto load_exponent(object const&, object const&) -> object;
+  auto ldexp(object const&, object const&) -> object;
 
   auto number_to_string(object const&, int) -> object;
 
@@ -365,7 +365,7 @@ inline namespace number
 
   auto atan(object const&) -> object;
 
-  auto atan(object const&, object const&) -> object;
+  auto atan2(object const&, object const&) -> object;
 
   auto sinh(object const&) -> object;
 
@@ -383,17 +383,23 @@ inline namespace number
 
   auto log(object const&) -> object;
 
-  auto gamma(object const&) -> object;
+  auto fabs(object const&) -> object;
+
+  auto expm1(object const&) -> object;
+
+  auto log1p(object const&) -> object;
+
+  auto tgamma(object const&) -> object;
+
+  auto lgamma(object const&) -> object;
 
   auto erf(object const&) -> object;
 
   auto erfc(object const&) -> object;
 
-  auto log_gamma(object const&) -> object;
-
-  auto copy_sign(object const&, object const&) -> object;
+  auto copysign(object const&, object const&) -> object;
 
-  auto next_after(object const&, object const&) -> object;
+  auto nextafter(object const&, object const&) -> object;
 
   auto cyl_bessel_j(object const&, object const&) -> object;