imports/math.lcl

   1 /*
   2 ** math.h
   3 */
   4
   5 int errno, signgam;
   6
   7 typedef struct exception {
   8  int ttype ; /* should be type */
   9  char *name ;
  10  double arg1 ;
  11  double arg2 ;
  12  double retval ;
  13 } __exception ;
  14
  15 double acos(double __x ) { ensures true; }
  16 double acosh(double __x ) { ensures true; }
  17 double asin(double __x ) { ensures true; }
  18 double asinh(double __x ) { ensures true; }
  19 double atan(double __x ) { ensures true; }
  20 double atanh(double __x) { ensures true; }
  21 double atan2(double __x,double __y ) { ensures true; }
  22 double cbrt(double __x ) { ensures true; }
  23 double ceil(double __x ) { ensures true; }
  24 double cos(double __x ) { ensures true; }
  25 double cosh(double __x ) { ensures true; }
  26 double exp(double __x ) { ensures true; }
  27 double fabs(double __x ) { ensures true; }
  28 double floor(double __x ) { ensures true; }
  29 double fmod(double __x,double __y ) { ensures true; }
  30 double frexp(double __value, int *__eptr ) { ensures true; }
  31 double ldexp(double __value, int __exp ) { ensures true; }
  32 double log(double __x ) { ensures true; }
  33 double log10(double __x ) { ensures true; }
  34 double modf(double __value,double *__iptr) { ensures true; }
  35 double pow(double __x,double __y ) { ensures true; }
  36 double rint(double __x ) { ensures true; }
  37 double sin(double __x ) { ensures true; }
  38 double sinh(double __x ) { ensures true; }
  39 double sqrt(double __x ) { ensures true; }
  40 double tan(double __x ) { ensures true; }
  41 double tanh(double __x ) { ensures true; }
  42 double trunc(double __x ) { ensures true; }
  43
  44 double j0(double __x ) { ensures true; }
  45 double j1(double __x ) { ensures true; }
  46 double jn( int __n,double __x ) { ensures true; }
  47 double y0(double __x ) { ensures true; }
  48 double y1(double __x ) { ensures true; }
  49 double yn( int __n,double __x ) { ensures true; }
  50 double erf(double __x ) { ensures true; }
  51 double erfc(double __x ) { ensures true; }
  52 double gamma(double __x ) { ensures true; }
  53 double   lgamma(double __x ) { ensures true; }
  54 double hypot(double __x,double __y ) { ensures true; }
  55 | int : bool | isnan() { ensures true; }
  56 int matherr(struct exception *__x) { ensures true; }
  57
  58 constant double M_E;
  59 constant double M_LOG2E;
  60 constant double M_LOG10E;
  61 constant double M_LN2;
  62 constant double M_LN10;
  63 constant double M_PI ;
  64 constant double M_PI_2 ;
  65 constant double M_PI_4 ;
  66 constant double M_1_PI ;
  67 constant double M_2_PI ;
  68 constant double M_2_SQRTPI ;
  69 constant double M_SQRT2 ;
  70 constant double M_SQRT1_2 ;
  71
  72 constant double MAXFLOAT;
  73 constant double HUGE;
  74
  75 enum { DOMAIN, SING, OVERFLOW,
  76        UNDERFLOW, TLOSS, PLOSS } _matherrors;
  77
  78