M2compiler-V3/stdlib/longmath.def

DEFINITION MODULE LongMath;
(* ISO 10514-1 real math for LONGREAL.  V3 models LONGREAL as REAL, so
   the procedures delegate to Math (libm). *)

CONST
  pi   = 3.1415926535897932384626433832795028841972;
  exp1 = 2.7182818284590452353602874713526624977572;

PROCEDURE sqrt (x : LONGREAL) : LONGREAL;
PROCEDURE exp (x : LONGREAL) : LONGREAL;
PROCEDURE ln (x : LONGREAL) : LONGREAL;
PROCEDURE sin (x : LONGREAL) : LONGREAL;
PROCEDURE cos (x : LONGREAL) : LONGREAL;
PROCEDURE tan (x : LONGREAL) : LONGREAL;
PROCEDURE arcsin (x : LONGREAL) : LONGREAL;
PROCEDURE arccos (x : LONGREAL) : LONGREAL;
PROCEDURE arctan (x : LONGREAL) : LONGREAL;
PROCEDURE power (base, exponent : LONGREAL) : LONGREAL;
PROCEDURE round (x : LONGREAL) : INTEGER;
PROCEDURE IsRMathException () : BOOLEAN;

END LongMath.