Project

General

Profile

Revision d948c0bd include/mpfr_lustre.lusi

View differences:

include/mpfr_lustre.lusi
1

  
2

  
3 1
function MPFRUminus(i: real) returns (out: real) lib gmp lib mpfr;
4 2

  
5 3
function MPFRPlus(i1, i2: real) returns (out: real);
......
21 19
function MPFREq(i1, i2: real) returns (out: bool);
22 20

  
23 21
function MPFRNeq(i1, i2: real) returns (out: bool);
22

  
23
-- Functions already available in lustrec_math
24

  
25
function MPFRacos (x: real) returns (y: real) ;
26
function MPFRacosh (x: real) returns (y: real) ;
27
function MPFRasin (x: real) returns (y: real) ;
28
function MPFRasinh (x: real) returns (y: real) ;
29
function MPFRatan (x: real) returns (y: real) ;
30
function MPFRatan2(x:real; n: real) returns (y: real) ;
31
function MPFRatanh (x: real) returns (y: real) ;
32
function MPFRcbrt (x: real) returns (y: real) ;
33
function MPFRcos (x: real) returns (y: real) ;
34
function MPFRcosh (x: real) returns (y: real) ;
35
function MPFRceil (x: real) returns (y: real) ;
36
function MPFRerf (x: real) returns (y: real) ;
37
function MPFRexp (x: real) returns (y: real) ;
38
function MPFRfabs (x: real) returns (y: real) ;
39
function MPFRfloor (x: real) returns (y: real) ;
40
function MPFRfmod (x,y: real) returns (z: real) ;
41
function MPFRlog (x: real) returns (y: real) ;
42
function MPFRlog10 (x: real) returns (y: real) ;
43
function MPFRpow (x:real; n: real) returns (y: real) ;
44
function MPFRround (x: real) returns (y: real) ;
45
function MPFRsin (x: real) returns (y: real) ;
46
function MPFRsinh (x: real) returns (y: real) ;
47
function MPFRsqrt (x: real) returns (y: real) ;
48
function MPFRtrunc (x: real) returns (y: real) ;
49
function MPFRtan (x: real) returns (y: real) ;

Also available in: Unified diff