
DEFINITION MODULE MathLibS;
(*                                                            *)
(*   Math routines that work with the 8087
     contributed by Steve Eckhart                             *)
(*                                                            *)
  EXPORT QUALIFIED sin, cos, atan, sqrt;
  PROCEDURE sin(x : REAL) : REAL;
      (*series expansion for sin(x) *)
  PROCEDURE cos(x : REAL) : REAL;
      (*series expansion for cos(x) *)
  PROCEDURE atan(x : REAL) : REAL;
  PROCEDURE sqrt(x : REAL) : REAL;
  END MathLibS.
