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