DEFINITION MODULE MathCom; (* Version 1.2 of 94/07/08 *) (* Common to MathLib0 and MathLib1 *) CONST pi = 3.1415926535897932384626434; twoopi = 2.0 / pi; pio2 = pi / 2.0; pio4 = pi / 4.0; sqrt2 = 1.4142135623730950488016887; PROCEDURE frexp (value: REAL; VAR exp: INTEGER): REAL; (* Returns the real mantissa x of value and an integer exp such that value = x * 2 ** exp *) PROCEDURE ldexp (value: REAL; exp: INTEGER): REAL; (* Returns value * 2 ** exp *) PROCEDURE modf (value: REAL; VAR int: INTEGER): REAL; (* Returns the positive fractional part of value and (by int) the integer part *) PROCEDURE sarctan (arg: REAL): REAL; (* Reduces its positive argument to the range {0 .. 0.414} and calls xatan *) END MathCom.