module Complex: Complextype
|
re : |
|
im : |
}
复数类型。 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幅角。复数的幅角是复平面中正实轴与过零点和该复数的直线之间的夹角。该角度范围从 -pi 到 pi。此函数在负实轴上有间断。
val polar : float -> float -> tpolar 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 次方。