DEFINITION MODULE SMathLib0 ; CONST pi = 3.1415926535897932384626433832795028841972; exp1 = 2.7182818284590452353602874713526624977572; PROCEDURE __BUILTIN__ sqrt (x: SHORTREAL) : SHORTREAL ; PROCEDURE exp (x: SHORTREAL) : SHORTREAL ; PROCEDURE ln (x: SHORTREAL) : SHORTREAL ; PROCEDURE __BUILTIN__ sin (x: SHORTREAL) : SHORTREAL ; PROCEDURE __BUILTIN__ cos (x: SHORTREAL) : SHORTREAL ; PROCEDURE tan (x: SHORTREAL) : SHORTREAL ; PROCEDURE arctan (x: SHORTREAL) : SHORTREAL ; PROCEDURE entier (x: SHORTREAL) : INTEGER ; END SMathLib0.