---------------------------------------------------------------
-- math.lus
---------------------------------------------------------------
-- standard math functions headers for lustre programs
---------------------------------------------------------------
-- Those functions are supported by the EcExe interpreter
-- (i.e. tools like ecexe, simec, luciole 
---------------------------------------------------------------
	
function acos (x: real) returns (y: real);
function asin (x: real) returns (y: real);
function atan (x: real) returns (y: real);

function cos (x: real) returns (y: real);
function sin (x: real) returns (y: real);
function tan (x: real) returns (y: real);

function cosh (x: real) returns (y: real);
function sinh (x: real) returns (y: real);
function tanh (x: real) returns (y: real);

function exp (x: real) returns (y: real);
function log (x: real) returns (y: real);
function log10 (x: real) returns (y: real);
function pow (x: real) returns (y: real);
function sqrt (x: real) returns (y: real);

function fabs (x: real) returns (y: real);
function ceil (x: real) returns (y: real);
function floor (x: real) returns (y: real);
