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) ; |