Project

General

Profile

« Previous | Next » 

Revision d948c0bd

Added by Pierre-Loïc Garoche over 6 years ago

math fun lib support in MPFR

View differences:

include/mpfr_lustre.lusi
1 

  		




  2
  
  
    

  		




  3
  1
  
    
function MPFRUminus(i: real) returns (out: real) lib gmp lib mpfr;


  		




  4
  2
  
    

  		




  5
  3
  
    
function MPFRPlus(i1, i2: real) returns (out: real);


  		




  ......




  21
  19
  
    
function MPFREq(i1, i2: real) returns (out: bool);


  		




  22
  20
  
    

  		




  23
  21
  
    
function MPFRNeq(i1, i2: real) returns (out: bool);


  		




  
  22
  
    

  		




  
  23
  
    
-- Functions already available in lustrec_math


  		




  
  24
  
    

  		




  
  25
  
    
function MPFRacos (x: real) returns (y: real) ;


  		




  
  26
  
    
function MPFRacosh (x: real) returns (y: real) ;


  		




  
  27
  
    
function MPFRasin (x: real) returns (y: real) ;


  		




  
  28
  
    
function MPFRasinh (x: real) returns (y: real) ;


  		




  
  29
  
    
function MPFRatan (x: real) returns (y: real) ;


  		




  
  30
  
    
function MPFRatan2(x:real; n: real) returns (y: real) ;


  		




  
  31
  
    
function MPFRatanh (x: real) returns (y: real) ;


  		




  
  32
  
    
function MPFRcbrt (x: real) returns (y: real) ;


  		




  
  33
  
    
function MPFRcos (x: real) returns (y: real) ;


  		




  
  34
  
    
function MPFRcosh (x: real) returns (y: real) ;


  		




  
  35
  
    
function MPFRceil (x: real) returns (y: real) ;


  		




  
  36
  
    
function MPFRerf (x: real) returns (y: real) ;


  		




  
  37
  
    
function MPFRexp (x: real) returns (y: real) ;


  		




  
  38
  
    
function MPFRfabs (x: real) returns (y: real) ;


  		




  
  39
  
    
function MPFRfloor (x: real) returns (y: real) ;


  		




  
  40
  
    
function MPFRfmod (x,y: real) returns (z: real) ;


  		




  
  41
  
    
function MPFRlog (x: real) returns (y: real) ;


  		




  
  42
  
    
function MPFRlog10 (x: real) returns (y: real) ;


  		




  
  43
  
    
function MPFRpow (x:real; n: real) returns (y: real) ;


  		




  
  44
  
    
function MPFRround (x: real) returns (y: real) ;


  		




  
  45
  
    
function MPFRsin (x: real) returns (y: real) ;


  		




  
  46
  
    
function MPFRsinh (x: real) returns (y: real) ;


  		




  
  47
  
    
function MPFRsqrt (x: real) returns (y: real) ;


  		




  
  48
  
    
function MPFRtrunc (x: real) returns (y: real) ;


  		




  
  49
  
    
function MPFRtan (x: real) returns (y: real) ;


  		












Also available in:  Unified diff