Complexこのページは最後に更新されてから1年以上経過しています。情報が古い可能性がありますので、ご注意ください。 last mod. 2009-09-10 (木) 16:29:50
module Complex: sig end 複素数です。 このモジュールでは複素数の算術演算を提供します。複素数は実部と虚部で表現されます (直交表現) 。各部は double 精度の浮動小数点小数 (float 型) で表されます。 type t = { re : float; im : float; } 複素数の型。re が実部で、im が虚部です。 val zero : t 複素数の 0 。 val one : t 複素数の 1 。 val i : t 複素数の i 。 val neg : t -> t 単項否定。 val conj : t -> t 共役です。与えられた複素数が x + i.y なら、x - i.y を返します。 val add : t -> t -> t 加算。 val sub : t -> t -> t 減算。 val mul : t -> t -> t 乗算。 val inv : t -> t 逆数 (1/z) 。 val div : t -> t -> t 除算。 val sqrt : t -> t 平方根。結果が x + i.y だとしたら、x > 0 であるか、x = 0 かつ y >= 0 になります。この関数は負の実軸上で不連続になります。 val norm2 : t -> float 二乗ノルム。x + i.y が与えられると、x^2 + y^2 を返します。 val norm : t -> float ノルム。x + i.y が与えられると、sqrt(x^2 + y^2) を返します。 val arg : t -> float 偏角。複素数の偏角とは複素平面上で正の実軸と、0 とその数を繋いだ線とが成す角です。この角度の範囲は -pi から pi までです。この関数は負の実軸上で不連続になります。 val polar : float -> float -> t polar norm arg は、ノルムが norm で偏角が arg の複素数を返します。 val exp : t -> t 累乗。exp z は e の z 乗を返します。 val log : t -> t 自然対数 (底 e) 。 val pow : t -> t -> t 乗数。pow z1 z2 は z1 の z2 乗を返します。 |