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