Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / include / mpfr_lustre.lusi @ d948c0bd

History | View | Annotate | Download (1.82 KB)

1 66e25f0f xthirioux
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 d948c0bd ploc
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) ;