1987-05-13 14:36:45 +00:00
|
|
|
DEFINITION MODULE MathLib0;
|
1987-05-27 10:05:01 +00:00
|
|
|
(*
|
1988-02-19 15:54:01 +00:00
|
|
|
Module: Some mathematical functions
|
|
|
|
From: "Programming in Modula-2", 3rd, corrected edition, by N. Wirth
|
1994-06-24 14:02:31 +00:00
|
|
|
Version: $Id$
|
1988-02-19 15:54:01 +00:00
|
|
|
|
1987-05-27 10:05:01 +00:00
|
|
|
Exists for compatibility.
|
|
|
|
A more elaborate math lib can be found in Mathlib.def
|
|
|
|
*)
|
1987-05-13 14:36:45 +00:00
|
|
|
|
|
|
|
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 arctan(x : REAL) : REAL;
|
|
|
|
|
|
|
|
PROCEDURE real(x : INTEGER) : REAL;
|
|
|
|
|
|
|
|
PROCEDURE entier(x : REAL) : INTEGER;
|
|
|
|
|
|
|
|
END MathLib0.
|