X-Git-Url: http://nitlanguage.org diff --git a/lib/standard/math.nit b/lib/standard/math.nit index 2bbb6aa..4b6ed35 100644 --- a/lib/standard/math.nit +++ b/lib/standard/math.nit @@ -26,27 +26,27 @@ redef class Int # Returns the result of a binary AND operation on `self` and `i` # - # assert 0x10.bin_and(0x01) == 0 + # assert 0x10.bin_and(0x01) == 0 fun bin_and(i: Int): Int is extern "kernel_Int_Int_binand_0" # Returns the result of a binary OR operation on `self` and `i` # - # assert 0x10.bin_or(0x01) == 0x11 + # assert 0x10.bin_or(0x01) == 0x11 fun bin_or(i: Int): Int is extern "kernel_Int_Int_binor_0" # Returns the result of a binary XOR operation on `self` and `i` # - # assert 0x101.bin_xor(0x110) == 0x11 + # assert 0x101.bin_xor(0x110) == 0x11 fun bin_xor(i: Int): Int is extern "kernel_Int_Int_binxor_0" # Returns the 1's complement of `self` # - # assert 0x2F.bin_not == -48 + # assert 0x2F.bin_not == -48 fun bin_not: Int is extern "kernel_Int_Int_binnot_0" # Returns the square root of `self` # - # assert 16.sqrt == 4 + # assert 16.sqrt == 4 fun sqrt: Int `{ return sqrt(recv); `} # Returns the greatest common divisor of `self` and `o` @@ -76,17 +76,17 @@ redef class Int # Is `self` even ? # - # assert 12.is_even + # assert 12.is_even fun is_even: Bool do return self % 2 == 0 # Is `self` odd ? # - # assert not 13.is_even + # assert not 13.is_even fun is_odd: Bool do return not is_even # Returns the `self` raised to the power of `e`. # - # assert 2 ** 3 == 8 + # assert 2 ** 3 == 8 fun **(e: Int): Int do return self.to_f.pow(e.to_f).to_i @@ -96,10 +96,10 @@ redef class Int # # Returns `1 * 2 * 3 * ... * self-1 * self` # - # assert 0.factorial == 1 # by convention for an empty product - # assert 1.factorial == 1 - # assert 4.factorial == 24 - # assert 9.factorial == 362880 + # assert 0.factorial == 1 # by convention for an empty product + # assert 1.factorial == 1 + # assert 4.factorial == 24 + # assert 9.factorial == 362880 fun factorial: Int do assert self >= 0 @@ -114,17 +114,66 @@ redef class Int end redef class Float + + # Returns the non-negative square root of `self`. + # + # assert 9.0.sqrt == 3.0 + # #assert 3.0.sqrt == 1.732 + # assert 1.0.sqrt == 1.0 + # assert 0.0.sqrt == 0.0 fun sqrt: Float is extern "kernel_Float_Float_sqrt_0" + + # Computes the cosine of `self` (expressed in radians). + # + # #assert pi.cos == -1.0 fun cos: Float is extern "kernel_Float_Float_cos_0" + + # Computes the sine of `self` (expressed in radians). + # + # #assert pi.sin == 0.0 fun sin: Float is extern "kernel_Float_Float_sin_0" + + # Computes the cosine of x (expressed in radians). + # + # #assert 0.0.tan == 0.0 fun tan: Float is extern "kernel_Float_Float_tan_0" + + # Computes the arc cosine of `self`. + # + # #assert 0.0.acos == pi / 2.0 fun acos: Float is extern "kernel_Float_Float_acos_0" + + # Computes the arc sine of `self`. + # + # #assert 1.0.asin == pi / 2.0 fun asin: Float is extern "kernel_Float_Float_asin_0" + + # Computes the arc tangent of `self`. + # + # #assert 0.0.tan == 0.0 fun atan: Float is extern "kernel_Float_Float_atan_0" + + # Returns the absolute value of `self`. + # + # assert 12.0.abs == 12.0 + # assert (-34.56).abs == 34.56 + # assert -34.56.abs == -34.56 fun abs: Float `{ return fabs(recv); `} + # Returns `self` raised at `e` power. + # + # #assert 2.0.pow(0.0) == 1.0 + # #assert 2.0.pow(3.0) == 8.0 + # #assert 0.0.pow(9.0) == 0.0 fun pow(e: Float): Float is extern "kernel_Float_Float_pow_1" + + # Returns the logarithm of `self`. + # + # assert 0.0.log.is_inf == -1 + # #assert 1.0.log == 0.0 fun log: Float is extern "kernel_Float_Float_log_0" + + # Returns *e* raised to `self`. fun exp: Float is extern "kernel_Float_Float_exp_0" # assert 1.1.ceil == 2.0 @@ -138,11 +187,22 @@ redef class Float # assert 2.0.floor == 2.0 # assert (-1.5).floor == -2.0 fun floor: Float `{ return floor(recv); `} + + # Rounds the value of a float to its nearest integer value + # + # assert 1.67.round == 2.0 + # assert 1.34.round == 1.0 + # assert -1.34.round == -1.0 + # assert -1.67.round == -2.0 + fun round: Float is extern "round" # Returns a random `Float` in `[0.0 .. self[`. fun rand: Float is extern "kernel_Float_Float_rand_0" - fun hypot_with( b : Float ) : Float is extern "hypotf" + # Returns the euclidean distance from `b`. + fun hypot_with(b : Float): Float is extern "hypotf" + + # Returns true is self is not a number. fun is_nan: Bool is extern "isnan" # Is the float an infinite value @@ -185,7 +245,13 @@ redef class Sys end end +# Computes the arc tangent given `x` and `y`. +# +# assert atan2(-0.0, 1.0) == -0.0 +# assert atan2(0.0, 1.0) == 0.0 fun atan2(x: Float, y: Float): Float is extern "kernel_Any_Any_atan2_2" + +# Approximate value of **pi**. fun pi: Float is extern "kernel_Any_Any_pi_0" # Initialize the pseudo-random generator with the given seed.