--- source: src/main.rs expression: compiled input_file: test-data/lua5.2-tests/math.lua --- print("testing numbers and math lib"); assert(0e12 == 0 && 0.0 == 0 && 0.0 == 0 && 0.2e2 == 20 && 2.0e-1 == 0.2); { local a, b, c = "2", " 3e0 ", " 10 " assert(a + b == 5 && -b == -3 && b + "2" == 5 && "10" - c == 0); assert(type(a) == 'string' && type(b) == 'string' && type(c) == 'string'); assert(a == "2" && b == " 3e0 " && c == " 10 " && -c == -" 10 "); assert(c % a == 0 && a ^ b == 08); a = 0 assert(a == -a && 0 == -0); } { local x = -1 local mz = 0 / x t = { 0 = 10, 20, 30, 40, 50 } assert(t[(mz)] == t[(0)] && t[(-0)] == t[(0)]); } { local a, b = math.modf(3.5) assert(a == 3 && b == 0.5); assert(math.huge > 10e30); assert(-math.huge < -10e30); } global fn f(...) { if select('#', ...) == 1 { return (...) } else { return "***" } } assert("2" + 1 == 3); assert("2 " + 1 == 3); assert(" -2 " + 1 == -1); assert(" -0xa " + 1 == -9); assert(tonumber({}) == nil); assert(tonumber('+0.01') == 1 / 100 && tonumber('+.01') == 0.01 && tonumber('.01') == 0.01 && tonumber('-1.') == -1 && tonumber('+1.') == 1); assert(tonumber('+ 0.01') == nil && tonumber('+.e1') == nil && tonumber('1e') == nil && tonumber('1.0e+') == nil && tonumber('.') == nil); assert(tonumber('-012') == -010 - 2); assert(tonumber('-1.2e2') == - - -120); assert(tonumber("0xffffffffffff") == 2 ^ (4 * 12) - 1); assert(tonumber("0x" .. string.rep("f", 150)) == 2 ^ (4 * 150) - 1); assert(tonumber('0x3.' .. string.rep('0', 100)) == 3); assert(tonumber('0x0.' .. string.rep('0', 150) .. "1") == 2 ^ (-4 * 151)); assert(tonumber(' 001010 ', 2) == 10); assert(tonumber(' 001010 ', 10) == 001010); assert(tonumber(' -1010 ', 2) == -10); assert(tonumber('10', 36) == 36); assert(tonumber(' -10 ', 36) == -36); assert(tonumber(' +1Z ', 36) == 36 + 35); assert(tonumber(' -1z ', 36) == -36 + -35); assert(tonumber('-fFfa', 16) == -(10 + (16 * (15 + (16 * (15 + (16 * 15))))))); assert(tonumber(string.rep('1', 42), 2) + 1 == 2 ^ 42); assert(tonumber(string.rep('1', 34), 2) + 1 == 2 ^ 34); assert(tonumber('ffffFFFF', 16) + 1 == 2 ^ 32); assert(tonumber('0ffffFFFF', 16) + 1 == 2 ^ 32); assert(tonumber('-0ffffffFFFF', 16) - 1 == -2 ^ 40); for i = 2, 36 { assert(tonumber('\t10000000000\t', i) == i ^ 10); } assert(f(tonumber('fFfa', 15)) == nil); assert(f(tonumber('099', 8)) == nil); assert(f(tonumber('1\0', 2)) == nil); assert(f(tonumber('', 8)) == nil); assert(f(tonumber(' ', 9)) == nil); assert(f(tonumber(' ', 9)) == nil); assert(f(tonumber('0xf', 10)) == nil); assert(f(tonumber('inf')) == nil); assert(f(tonumber(' INF ')) == nil); assert(f(tonumber('Nan')) == nil); assert(f(tonumber('nan')) == nil); assert(f(tonumber(' ')) == nil); assert(f(tonumber('')) == nil); assert(f(tonumber('1 a')) == nil); assert(f(tonumber('1\0')) == nil); assert(f(tonumber('1 \0')) == nil); assert(f(tonumber('1\0 ')) == nil); assert(f(tonumber('e1')) == nil); assert(f(tonumber('e 1')) == nil); assert(f(tonumber(' 3.4.5 ')) == nil); assert(tonumber('0x') == nil); assert(tonumber('x') == nil); assert(tonumber('x3') == nil); assert(tonumber('00x2') == nil); assert(tonumber('0x 2') == nil); assert(tonumber('0 x2') == nil); assert(tonumber('23x') == nil); assert(tonumber('- 0xaa') == nil); assert(0x10 == 16 && 0xfff == 2 ^ 12 - 1 && 0XFB == 251); assert(0 == 0 && 0 == 0); assert(0xFFFFFFFF == 2 ^ 32 - 1); assert(tonumber('+0x2') == 2); assert(tonumber('-0xaA') == -170); assert(tonumber('-0xffFFFfff') == -2 ^ 32 + 1); assert(0e+1 == 0 && 0xE + 1 == 15 && 0xe - 1 == 13); assert(tonumber(' 0x2.5 ') == 0x25 / 16); assert(tonumber(' -0x2.5 ') == -0x25 / 16); assert(tonumber(' +0x0.51p+8 ') == 0x51); assert(tonumber('0x0.51p') == nil); assert(tonumber('0x5p+-2') == nil); assert(0.9999999997671694 == 1 - '0x.00000001'); assert('0xA.a' + 0 == 10 + 10 / 16); assert(170 == 0XAA); assert(1 == 1); assert(1.0625 == '0x1.' + '+0x.1'); assert(1.1 == 1.0 + 0.1); assert(100.0 == 1e2 && 0.01 == 1e-2); assert(1111111111111111 - 1111111111111110 == 1000.00e-03); assert(1.1 == '1.' + '.1'); assert('1111111111111111' - '1111111111111110' == tonumber(" +0.001e+3 \n\t")); global fn eq(a, b, limit) { if !limit { limit = 10e-10 } return math.abs(a - b) <= limit } assert(0.1e-30 > 0.9e-31 && 0.9e30 < 0.1e31); assert(0.123456 > 0.123455); assert(tonumber('+1.23E18') == 1.23 * 10 ^ 18); assert(!(1 < 1) && (1 < 2) && !(2 < 1)); assert(!('a' < 'a') && ('a' < 'b') && !('b' < 'a')); assert((1 <= 1) && (1 <= 2) && !(2 <= 1)); assert(('a' <= 'a') && ('a' <= 'b') && !('b' <= 'a')); assert(!(1 > 1) && !(1 > 2) && (2 > 1)); assert(!('a' > 'a') && !('a' > 'b') && ('b' > 'a')); assert((1 >= 1) && !(1 >= 2) && (2 >= 1)); assert(('a' >= 'a') && !('a' >= 'b') && ('b' >= 'a')); assert(-4 % 3 == 2); assert(4 % -3 == -2); assert(math.pi - math.pi % 1 == 3); assert(math.pi - math.pi % 0.001 == 3.141); local fn testbit(a, n) { return a / 2 ^ n % 2 >= 1 } assert(eq(math.sin(-9.8) ^ 2 + math.cos(-9.8) ^ 2, 1)); assert(eq(math.tan(math.pi / 4), 1)); assert(eq(math.sin(math.pi / 2), 1) && eq(math.cos(math.pi / 2), 0)); assert(eq(math.atan(1), math.pi / 4) && eq(math.acos(0), math.pi / 2) && eq(math.asin(1), math.pi / 2)); assert(eq(math.deg(math.pi / 2), 90) && eq(math.rad(90), math.pi / 2)); assert(math.abs(-10) == 10); assert(eq(math.atan2(1, 0), math.pi / 2)); assert(math.ceil(4.5) == 5.0); assert(math.floor(4.5) == 4.0); assert(math.fmod(10, 3) == 1); assert(eq(math.sqrt(10) ^ 2, 10)); assert(eq(math.log(2, 10), math.log(2) / math.log(10))); assert(eq(math.log(2, 2), 1)); assert(eq(math.log(9, 3), 2)); assert(eq(math.exp(0), 1)); assert(eq(math.sin(10), math.sin(10 % (2 * math.pi)))); local v, e = math.frexp(math.pi) assert(eq(math.ldexp(v, e), math.pi)); assert(eq(math.tanh(3.5), math.sinh(3.5) / math.cosh(3.5))); assert(tonumber(' 1.3e-2 ') == 1.3e-2); assert(tonumber(' -1.00000000000001 ') == -1.00000000000001); assert(8388609 + -8388609 == 0); assert(8388608 + -8388608 == 0); assert(8388607 + -8388607 == 0); local a, b = '10', '20' assert(a * b == 200 && a + b == 30 && a - b == -10 && a / b == 0.5 && -b == -20); assert(a == '10' && b == '20'); if !_port { print("testing -0 and NaN"); local mz, z = -0, 0 assert(mz == z); assert(1 / mz < 0 && 0 < 1 / z); local a = { mz = 1 } assert(a[(z)] == 1 && a[(mz)] == 1); local inf = math.huge * 2 + 1 mz, z = -1 / inf, 1 / inf assert(mz == z); assert(1 / mz < 0 && 0 < 1 / z); local NaN = inf - inf assert(NaN != NaN); assert(!(NaN < NaN)); assert(!(NaN <= NaN)); assert(!(NaN > NaN)); assert(!(NaN >= NaN)); assert(!(0 < NaN) && !(NaN < 0)); local NaN1 = 0 / 0 assert(NaN != NaN1 && !(NaN <= NaN1) && !(NaN1 <= NaN)); local a = {} assert(!pcall(fn () { a[(NaN)] = 1 })); assert(a[(NaN)] == nil); a[(1)] = 1 assert(!pcall(fn () { a[(NaN)] = 1 })); assert(a[(NaN)] == nil); local a1, a2, a3, a4, a5 = 0, 0, "\0\0\0\0\0\0\0\0", 0, "\0\0\0\0\0\0\0\0" assert(a1 == a2 && a2 == a4 && a1 != a3); assert(a3 == a5); } if !_port { print("testing 'math.random'"); math.randomseed(0); local fn aux(x1, x2, p) { local Max = -math.huge local Min = math.huge for i = 0, 20000 { local t = math.random(table.unpack(p)) Max = math.max(Max, t) Min = math.min(Min, t) if eq(Max, x2, 0.001) && eq(Min, x1, 0.001) { } } assert(false); assert(x1 <= Min && Max <= x2); } aux(0, 1, {}); aux(-10, 0, { -10, 0 }); } for i = 1, 10 { local t = math.random(5) assert(1 <= t && t <= 5); } print('OK');