xxx

Author: ligurio

tests/lapi/math_acos_test.lua

@@ -20,9 +20,10 @@ local function TestOneInput(buf)
     local y = math.acos(x)
     assert(y >= 0)
     assert(y <= math.pi)
+    local epsilon = 1^-10
     if x ~= 0 then
-        assert(test_lib.approx_equal(y, math.pi - math.acos(-x), 0.01))
-        assert(test_lib.approx_equal(math.cos(y), x, 0.01))
+        assert(test_lib.approx_equal(y, math.pi - math.acos(-x), epsilon))
+        assert(test_lib.approx_equal(math.cos(y), x, epsilon))
     end
 end
 

tests/lapi/math_asin_test.lua

@@ -18,9 +18,11 @@ local function TestOneInput(buf)
     local fdp = luzer.FuzzedDataProvider(buf)
     local x = fdp:consume_number(-1, 1)
     local y = math.asin(x)
+    assert(type(y) == "number")
     assert(y >= -math.pi / 2)
     assert(y <=  math.pi / 2)
-    assert(test_lib.approx_equal(math.sin(y), x, 0.01))
+    local epsilon = 1^-10
+    assert(test_lib.approx_equal(math.sin(y), x, epsilon))
 end
 
 local args = {

tests/lapi/math_atan_test.lua

@@ -18,6 +18,7 @@ local function TestOneInput(buf)
     local fdp = luzer.FuzzedDataProvider(buf)
     local x = fdp:consume_number(test_lib.MIN_INT, test_lib.MAX_INT)
     local y = math.atan(x)
+    assert(type(y) == "number")
     assert(y >= -math.pi / 2)
     assert(y <=  math.pi / 2)
     assert(math.atan(-x) == -y)

tests/lapi/math_cos_test.lua

@@ -17,8 +17,19 @@ local test_lib = require("lib")
 local function TestOneInput(buf)
     local fdp = luzer.FuzzedDataProvider(buf)
     local x = fdp:consume_number(test_lib.MIN_INT, test_lib.MAX_INT)
-    local res = math.cos(x)
-    assert(type(res) == "number")
+    local cos_x = math.cos(x)
+    assert(type(cos_x) == "number")
+    assert(cos_x >= -1 and cos_x <= 1)
+    local epsilon = 1^-10
+
+    local n = fdp:consume_number(0, 100)
+    -- Calculate the functions of the form `cos(i*pi - x), where
+    -- i = 1, 3, 5, etc. These functions are equivalent, given the
+    -- trigonometric identity.
+    for i = 1, n do
+        assert(test_lib.approx_equal(
+            math.abs(math.cos(i * math.pi - x)), math.abs(cos_x), epsilon))
+    end
 end
 
 local args = {

tests/lapi/math_log_test.lua

@@ -38,26 +38,29 @@ local function TestOneInput(buf, _size)
     local b = fdp:consume_number(test_lib.MIN_INT, test_lib.MAX_INT)
     if b < 0 or b == 1 then return -1 end
 
+    local eps = 1^-10
+
     -- Product rule.
-    assert(test_lib.approx_equal(math.log(x * y, b),
-                                 math.log(x, b) + math.log(y, b), 0.01))
+    assert(test_lib.approx_equal(
+        math.log(x * y, b), math.log(x, b) + math.log(y, b), eps))
     -- Quotient rule.
-    -- assert(test_lib.approx_equal(math.log(x / y, b), math.log(x, b) - math.log(y, b), 0.5))
-
+    assert(test_lib.approx_equal(
+        math.log(x / y, b), math.log(x, b) - math.log(y, b), eps))
     -- Power rule.
-    assert(test_lib.approx_equal(math.log(pow(x, y), b), y * math.log(x, b), 0.01))
+    assert(test_lib.approx_equal(
+        math.log(pow(x, y), b), y * math.log(x, b), eps))
     -- Inverse property of logarithm.
-    assert(test_lib.approx_equal(math.log(pow(b, x), b), x, 0.01))
+    assert(test_lib.approx_equal(math.log(pow(b, x), b), x, eps))
     -- Inverse property of exponent.
-    assert(test_lib.approx_equal(pow(b, math.log(x, b)), x, 0.01))
+    assert(test_lib.approx_equal(pow(b, math.log(x, b)), x, eps))
     -- Zero rule.
     assert(math.log(1, b) == 0)
     -- Identity rule.
-    assert(test_lib.approx_equal(math.log(b, b), 1, 0.1))
+    assert(test_lib.approx_equal(math.log(b, b), 1, eps))
     -- Change of base formula.
     local log_b_y = math.log(b, y)
     if log_b_y ~= 0 then
-        assert(test_lib.approx_equal(math.log(x, b), math.log(x, y) / log_b_y, 0.01))
+        assert(test_lib.approx_equal(math.log(x, b), math.log(x, y) / log_b_y, eps))
     end
 end
 

tests/lapi/math_sin_test.lua

@@ -19,9 +19,19 @@ local function TestOneInput(buf)
     local x = fdp:consume_number(test_lib.MIN_INT, test_lib.MAX_INT)
     local sin_x = math.sin(x)
     assert(type(sin_x) == "number")
+    assert(sin_x >= -1 and sin_x <= 1)
     local cos_x = math.cos(x)
-    assert(type(cos_x) == "number")
-    assert(test_lib.approx_equal(cos_x^2 + sin_x^2, 1, 0.01))
+    local epsilon = 1^-10
+    assert(test_lib.approx_equal(cos_x^2 + sin_x^2, 1, epsilon))
+
+    local n = fdp:consume_number(0, 100)
+    -- Calculate the functions of the form `sin(i*pi - x), where
+    -- i = 1, 3, 5, etc. These functions are equivalent, given the
+    -- trigonometric identity.
+    for i = 1, n do
+        assert(test_lib.approx_equal(
+            math.abs(math.sin(i * math.pi - x)), math.abs(sin_x), epsilon))
+    end
 end
 
 local args = {

tests/lapi/math_sqrt_test.lua

@@ -31,7 +31,8 @@ local function TestOneInput(buf)
     -- see [1].
     --
     -- 1. https://github.com/LuaJIT/LuaJIT/issues/684#issuecomment-822427297
-    assert(test_lib.approx_equal(math.sqrt(x), x^0.5, 0.01))
+    local epsilon = 1^-10
+    assert(test_lib.approx_equal(math.sqrt(x), x^0.5, epsilon))
 end
 
 local args = {

tests/lapi/math_tan_test.lua

@@ -21,8 +21,9 @@ local function TestOneInput(buf)
     local cos_x = math.cos(x)
     local tan_x = math.tan(x)
 
+    local epsilon = 1^-10
     if cos_x ~= 0 then
-        assert(test_lib.approx_equal(tan_x, sin_x / cos_x, 0.01))
+        assert(test_lib.approx_equal(tan_x, sin_x / cos_x, epsilon))
     end
 end