/*

Copyright (C) 2015 LiveCode Ltd.

This file is part of LiveCode.

LiveCode is free software; you can redistribute it and/or modify it under

the terms of the GNU General Public License v3 as published by the Free

Software Foundation.

LiveCode is distributed in the hope that it will be useful, but WITHOUT ANY

WARRANTY; without even the implied warranty of MERCHANTABILITY or

FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License

for more details.

You should have received a copy of the GNU General Public License

along with LiveCode. If not see <http://www.gnu.org/licenses/>. */

module com.livecode.math.tests

use com.livecode.math

use com.livecode.foreign

use com.livecode.__INTERNAL._testlib

-- Empirically-chosen epsilon for floating-point comparisons

constant EPSILON is 0.00000000001

public handler TestFloor()

test "Floor (+ve)" when the floor of 5.5 is 5

test "Floor (-ve)" when the floor of -5.5 is -6

end handler

public handler TestCeil()

test "Ceil (+ve)" when the ceiling of 5.5 is 6

test "Ceil (-ve)" when the ceiling of -5.5 is -5

end handler

public handler TestRound()

variable tNum as Number

put 5.1 into tNum

round tNum

test "Round (in-place)" when tNum is 5

test "Round (+ve)" when the rounded of 5.1 is 5

test "Round (-ve)" when the rounded of -5.1 is -5

test "Round (+ve, .5)" when the rounded of 4.5 is 5

test "Round (-ve, .5)" when the rounded of -4.5 is -5

end handler

public handler TestPow()

test "pow (-ve, -ve)" when (-2) ^ -2 is 0.25

test "pow (-ve, +ve)" when (-2) ^ 2 is 4

test "pow (-ve, +ve)" when (-2) ^ 3 is -8

test "pow (+ve, -ve)" when 2 ^ -2 is 0.25

test "pow (+ve, +ve)" when 2 ^ 2 is 4

test "pow (0, 1)" when 0 ^ 1 is 0

test "pow (+ve, 0)" when 2 ^ 0 is 1

test "pow (-ve, 0)" when (-2) ^ 0 is 1

end handler

handler TestPowDomain_Imag()

return (-1) ^ 0.5

end handler

public handler TestPowDomain()

-- bug 14679

MCUnitTestHandlerThrows(TestPowDomain_Imag, "pow (imaginary)")

end handler

public handler TestPowPrecedence()

test "pow vs. -" when 0-1^2 is -1

test "pow vs. -" when -1^2 is -1

test "pow vs. -" when 0-(1^2) is -1

test "pow vs. -" when -(1^2) is -1

test "pow vs. -" when 0-(1^2) is -1

test "pow vs. -" when -(1)^2 is -1

test "pow vs. -" when 0-(1)^2 is -1

test "pow vs. -" when (-1)^2 is 1

end handler

public handler TestLog10()

test "log10 (function, +ve)" when log10(1000) is 3

test "log10 (syntax, +ve)" when the log of 1000 is 3

end handler

handler TestLog10Domain_Negative() returns nothing

variable tVar

put the log of -1 into tVar

end handler

handler TestLog10Domain_Zero() returns nothing

variable tVar

put the log of 0 into tVar

end handler

public handler TestLog10Domain()

-- bug 14678

MCUnitTestHandlerThrows(TestLog10Domain_Negative, "log10 (syntax, -ve)")

MCUnitTestHandlerThrowsBroken(TestLog10Domain_Zero, "log10 (syntax, 0)", "bug 14678")

end handler

public handler TestSin()

test "sin (function)" when sin(pi / 2) is 1

test "sin (syntax)" when the sine of (pi / 2) is 1

end handler

public handler TestCos()

test "cos (function)" when cos(pi) is -1

test "cos (syntax)" when the cosine of pi is -1

end handler

public handler TestTan()

test "tan (function)" when tan(pi/4) - 1 < EPSILON

test "tan (syntax)" when the tangent of (pi/4) - 1 < EPSILON

end handler

public handler TestArcsin()

test "arcsin (function)" when asin(1) is pi / 2

test "arcsin (syntax)" when the arcsine of 1 is pi / 2

end handler

public handler TestArccos()

test "arccos (function)" when acos(-1) is pi

test "arccos (syntax)" when the arccosine of -1 is pi

end handler

public handler TestArctan()

test "arctan (function)" when atan(1) is pi / 4

test "arctan (syntax)" when the arctangent of 1 is pi / 4

test "arctan2 (function)" when atan2(-1,-1) is -3 * pi / 4

test "arctan2 (function)" when the binary arctangent of -1 and -1 is -3 * pi / 4

end handler

handler TestTrigonometricDomain_Arcsin()

return asin((1 + any number) / any number)

end handler

handler TestTrigonometricDomain_Arccos()

return acos((1 + any number) / any number)

end handler

public handler TestTrigonometricDomain()

MCUnitTestHandlerThrows(TestTrigonometricDomain_Arcsin, "arcsin (> 1)")

MCUnitTestHandlerThrows(TestTrigonometricDomain_Arccos, "arccos (> 1)")

end handler

public handler TestExp()

variable tExp

put exp(3) into tExp

test "exp (function)" when tExp > 20 and tExp < 20.1

put the exponential of 3 into tExp

test "exp (syntax)" when tExp > 20 and tExp < 20.1

end handler

public handler TestLn()

variable tLn

put the natural log of 55 into tLn

test "ln (syntax) " when tLn > 4 and tLn < 4.01

put ln(55) into tLn

test "ln (function) " when tLn > 4 and tLn < 4.01

end handler

handler TestLnDomain_Negative() returns nothing

variable tVar

put the natural log of -1 into tVar

end handler

handler TestLnDomain_Zero() returns nothing

variable tVar

put the natural log of 0 into tVar

end handler

public handler TestLnDomain()

-- bug 14678

MCUnitTestHandlerThrows(TestLnDomain_Negative, "ln (syntax, -ve)")

MCUnitTestHandlerThrowsBroken(TestLnDomain_Zero, "ln (syntax, 0)", "bug 14678")

end handler

public handler TestExpLog()

test "exp-log" when the abs of the natural log of the exponential of 3 - 3 < EPSILON

test "log-exp" when the abs of the exponential of the natural log of 80 - 80 < EPSILON

end handler

public handler TestTrunc()

test "trunc (+ve)" when the trunc of 5.5 is 5

test "trunk (-ve)" when the trunc of -5.5 is -5

end handler

public handler TestAbs()

test "abs (+ve)" when the abs of 5.5 is 5.5

test "abs (-ve)" when the abs of -5.5 is 5.5

end handler

public handler TestMinBinary()

test "min (syntax)" when the minimum of 3 and 5 is 3

test "min (function)" when min(4, 5) is 4

end handler

handler TestMinList_Empty()

return the minimum value of []

end handler

public handler TestMinList()

test "min (list)" when the minimum value of [2, 1, 3] is 1

MCUnitTestHandlerThrows(TestMinList_Empty, "min (empty list)")

end handler

public handler TestMaxBinary()

test "max (syntax)" when the maximum of 3 and 5 is 5

test "max (function)" when max(4, 5) is 5

end handler

handler TestMaxList_Empty()

return the maximum value of []

end handler

public handler TestMaxList()

test "max (list)" when the maximum value of [2, 1, 3] is 3

MCUnitTestHandlerThrows(TestMaxList_Empty, "max (empty list)")

end handler

handler TestBaseConvert_InvalidFormat() returns LCUInt

return "0xf004" converted from base 16 -- bug 14889

end handler

public handler TestBaseConvertFrom()

test "convert from hex" when "6A" converted from base 16 is 106

test "convert from binary" when "1001010" converted from base 2 is 74

MCUnitTestHandlerThrows(TestBaseConvert_InvalidFormat, "convert from hex (0x)")

end handler

public handler TestBaseConvertTo()

test "convert to binary" when 7 converted to base 2 is "111"

test "convert to base 12" when 500 converted to base 12 is "358"

end handler

public handler TestBaseConvertBase()

test "convert from base to base" when "1122" converted from base 4 to base 14 is "66"

end handler

public handler TestRandomNumber()

test "Random number range" when any number < 1 and any number >= 0

end handler

end module