1987-05-13 14:36:45 +00:00
|
|
|
DEFINITION MODULE MathLib0;
|
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.
|
