Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / include / mpfr_lustre.lusi @ d948c0bd

History | View | Annotate | Download (1.82 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 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) ;