| 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 |
e5d77428
|
ploc
|
-- Functions already available in conv
|
| 24 |
|
|
function MPFRint_to_real (x: int) returns (y: real);
|
| 25 |
8d164031
|
ploc
|
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 |
e5d77428
|
ploc
|
|
| 30 |
d948c0bd
|
ploc
|
-- 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) ;
|