Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / include / mpfr_lustre.lusi @ e5d77428

History | View | Annotate | Download (1.91 KB)

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

    
3
function MPFRPlus(i1, i2: real) returns (out: real);
4

    
5
function MPFRMinus(i1, i2: real) returns (out: real);
6

    
7
function MPFRTimes(i1, i2: real) returns (out: real);
8

    
9
function MPFRDiv(i1, i2: real) returns (out: real);
10

    
11
function MPFRLe(i1, i2: real) returns (out: bool);
12

    
13
function MPFRLt(i1, i2: real) returns (out: bool);
14

    
15
function MPFRGe(i1, i2: real) returns (out: bool);
16

    
17
function MPFRGt(i1, i2: real) returns (out: bool);
18

    
19
function MPFREq(i1, i2: real) returns (out: bool);
20

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

    
23
-- Functions already available in conv
24
function MPFRint_to_real (x: int) returns (y: real);
25

    
26
-- Functions already available in lustrec_math
27

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