M2compiler-V3/stdlib/math.def

DEFINITION MODULE Math;
(* Real math, bound to libm. *)

CONST Pi = 3.14159265358979;
CONST E = 2.71828182845905;

PROCEDURE sqrt(x : REAL) : REAL;
PROCEDURE exp(x : REAL) : REAL;
PROCEDURE ln(x : REAL) : REAL;
PROCEDURE sin(x : REAL) : REAL;
PROCEDURE cos(x : REAL) : REAL;
PROCEDURE tan(x : REAL) : REAL;
PROCEDURE arcsin(x : REAL) : REAL;
PROCEDURE arccos(x : REAL) : REAL;
PROCEDURE arctan(x : REAL) : REAL;
PROCEDURE power(x, y : REAL) : REAL;
PROCEDURE abs(x : REAL) : REAL;

PROCEDURE log10(x : REAL) : REAL;
PROCEDURE atan2(y, x : REAL) : REAL;
PROCEDURE sinh(x : REAL) : REAL;
PROCEDURE cosh(x : REAL) : REAL;
PROCEDURE tanh(x : REAL) : REAL;
PROCEDURE hypot(x, y : REAL) : REAL;
PROCEDURE floor(x : REAL) : REAL;
PROCEDURE ceil(x : REAL) : REAL;
PROCEDURE trunc(x : REAL) : REAL;
PROCEDURE round(x : REAL) : REAL;
PROCEDURE fmod(x, y : REAL) : REAL;

END Math.