Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / include / mpfr_lustre.lusi @ 8d164031

History | View | Annotate | Download (2.12 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
function MPFRreal_to_int (in1: real) returns (out: int);
26
function MPFRFloor (in1: real) returns (out: int);
27
function MPFRCeiling (in1: real) returns (out: int);
28
function MPFRRound (in1: real) returns (out: int);
29

    
30
-- Functions already available in lustrec_math
31

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