Previous  Up  Next

Module Num


module Num: sig  end
任意性度数の計算です。

num 型の数は任意精度の有理数と、2 つの特別な要素 1/0 (無限) と 0/0 (未定義) からなります。


type num =
| Int of int
| Big_int of Big_int.big_int
| Ratio of Ratio.ratio
数の型です。



Arithmetic operations 


val (+/) : num -> num -> num
Num.add_num と同じです。
val add_num : num -> num -> num
加算。
val minus_num : num -> num
単項否定。
val (-/) : num -> num -> num
Num.sub_num と同じです。
val sub_num : num -> num -> num
減算。
val (*/) : num -> num -> num
Num.mult_num と同じです。
val mult_num : num -> num -> num
乗算。
val square_num : num -> num
二乗。
val (//) : num -> num -> num
Num.div_num と同じです。
val div_num : num -> num -> num
除算。
val quo_num : num -> num -> num
整数除算。商。
val mod_num : num -> num -> num
整数剰余。余り。
val (**/) : num -> num -> num
Num.power_num と同じです。
val power_num : num -> num -> num
累乗。
val abs_num : num -> num
絶対値。
val succ_num : num -> num
succ n は n+1 です。
val pred_num : num -> num
pred n は n-1 です。
val incr_num : num Pervasives.ref -> unit
incr r は r:=!r+1 で、r は数への reference です。
val decr_num : num Pervasives.ref -> unit
decr r は r:=!r-1 で、r は数への reference です。
val is_integer_num : num -> bool
数が整数かどうか検査します。

以下 4 つの関数は数の整数近似を行います。

val integer_num : num -> num
integer_num n は n に一番近い整数を返します。候補が 2 つあるときは 0 に近い方を返します。
val floor_num : num -> num
floor_num n は n と等しいか小さい数のうち最大のものを返します。
val round_num : num -> num
round_num n は n に一番近い整数を返します。候補が 2 つあるときは 0 から遠い方を返します。
val ceiling_num : num -> num
ceiling_num n は n と等しいか大きい数のうち最小のものを返します。
val sign_num : num -> int
引数の符号をみて -1 、0 、1 のどれかを返します。


Comparisons between numbers 


val (=/) : num -> num -> bool
val (num -> num -> bool
val (>/) : num -> num -> bool
val (<=/) : num -> num -> bool
val (>=/) : num -> num -> bool
val (<>/) : num -> num -> bool
val eq_num : num -> num -> bool
val lt_num : num -> num -> bool
val le_num : num -> num -> bool
val gt_num : num -> num -> bool
val ge_num : num -> num -> bool
val compare_num : num -> num -> int
第一引数が第二引数より、小さい、等しい、大きい時それぞれ -1 、0 、1 を返します。
val max_num : num -> num -> num
2 つの引数のうち大きい方を返します。
val min_num : num -> num -> num
2 つの引数のうち小さい方を返します。


Coercions with strings 


val string_of_num : num -> string
数を分数表記して返します。
val approx_num_fix : int -> num -> string
Num.approx_num_exp を見てください。
val approx_num_exp : int -> num -> string
数を小数で近似します。第一引数が要求する精度、第二引数が近似する数です。Num.approx_num_fix は小数表記です。第一引数は小数点以下第何位まで求めるかの指定です。approx_num_exp は指数表記です。第一引数は仮数部を何桁求めるかの指定です。
val num_of_string : string -> num
文字列を数に変換します。


Coercions between numerical types 


val int_of_num : num -> int
val num_of_int : int -> num
val nat_of_num : num -> Nat.nat
val num_of_nat : Nat.nat -> num
val num_of_big_int : Big_int.big_int -> num
val big_int_of_num : num -> Big_int.big_int
val ratio_of_num : num -> Ratio.ratio
val num_of_ratio : Ratio.ratio -> num
val float_of_num : num -> float