1
|
|
2
|
|
3
|
function MPFRUminus(i: real) returns (out: real) lib gmp lib mpfr;
|
4
|
|
5
|
function MPFRPlus(i1, i2: real) returns (out: real);
|
6
|
|
7
|
function MPFRMinus(i1, i2: real) returns (out: real);
|
8
|
|
9
|
function MPFRTimes(i1, i2: real) returns (out: real);
|
10
|
|
11
|
function MPFRDiv(i1, i2: real) returns (out: real);
|
12
|
|
13
|
function MPFRLe(i1, i2: real) returns (out: bool);
|
14
|
|
15
|
function MPFRLt(i1, i2: real) returns (out: bool);
|
16
|
|
17
|
function MPFRGe(i1, i2: real) returns (out: bool);
|
18
|
|
19
|
function MPFRGt(i1, i2: real) returns (out: bool);
|
20
|
|
21
|
function MPFREq(i1, i2: real) returns (out: bool);
|
22
|
|
23
|
function MPFRNeq(i1, i2: real) returns (out: bool);
|