home *** CD-ROM | disk | FTP | other *** search
Modula Definition | 1990-06-14 | 460 b | 21 lines | [TEXT/PMED] |
- DEFINITION MODULE MathLib0; (*Mathematical library 0 *)
-
- EXPORT QUALIFIED
- sqrt, sin, cos, arctan, exp, ln, real, entier;
-
- PROCEDURE sqrt (x: REAL) : REAL;
- PROCEDURE sin (x: REAL) : REAL;
- PROCEDURE cos (x: REAL) : REAL;
- PROCEDURE arctan (x: REAL) : REAL; (* [-PI/2 .. +PI/2] *)
- PROCEDURE exp (x: REAL) : REAL;
- PROCEDURE ln (x: REAL) : REAL;
- PROCEDURE entier (x: REAL) : INTEGER;
- PROCEDURE real (x: INTEGER) : REAL;
-
- END MathLib0.
-
-
-
-
-
-