/Users/mourrain/Devel/mmx/numerix/glue/glue_interval_floating.cpp

Go to the documentation of this file.

#include <numerix/integer.hpp>
#include <numerix/rational.hpp>
#include <numerix/floating.hpp>
#include <basix/double.hpp>
#include <numerix/interval.hpp>
#include <basix/glue.hpp>

#define double_literal(x) as_double (as_string (x))

namespace mmx {
  static interval<mmx_floating>
  GLUE_1 (const mmx_floating &arg_1) {
    return interval<mmx_floating > (arg_1);
  }
  
  static interval<mmx_floating>
  GLUE_2 (const mmx_floating &arg_1, const mmx_floating &arg_2) {
    return interval<mmx_floating > (arg_1, arg_2);
  }
  
  static interval<mmx_floating>
  GLUE_3 (const mmx_floating &arg_1) {
    return interval<mmx_floating > (arg_1);
  }
  
  static mmx_floating
  GLUE_4 (const interval<mmx_floating> &arg_1) {
    return lower (arg_1);
  }
  
  static mmx_floating
  GLUE_5 (const interval<mmx_floating> &arg_1) {
    return upper (arg_1);
  }
  
  static mmx_floating
  GLUE_6 (const interval<mmx_floating> &arg_1) {
    return center (arg_1);
  }
  
  static mmx_floating
  GLUE_7 (const interval<mmx_floating> &arg_1) {
    return radius (arg_1);
  }
  
  static interval<mmx_floating>
  GLUE_8 (const interval<mmx_floating> &arg_1) {
    return -arg_1;
  }
  
  static interval<mmx_floating>
  GLUE_9 (const interval<mmx_floating> &arg_1) {
    return square (arg_1);
  }
  
  static interval<mmx_floating>
  GLUE_10 (const interval<mmx_floating> &arg_1, const interval<mmx_floating> &arg_2) {
    return arg_1 + arg_2;
  }
  
  static interval<mmx_floating>
  GLUE_11 (const interval<mmx_floating> &arg_1, const interval<mmx_floating> &arg_2) {
    return arg_1 - arg_2;
  }
  
  static interval<mmx_floating>
  GLUE_12 (const interval<mmx_floating> &arg_1, const interval<mmx_floating> &arg_2) {
    return arg_1 * arg_2;
  }
  
  static interval<mmx_floating>
  GLUE_13 (const mmx_floating &arg_1, const interval<mmx_floating> &arg_2) {
    return arg_1 + arg_2;
  }
  
  static interval<mmx_floating>
  GLUE_14 (const interval<mmx_floating> &arg_1, const mmx_floating &arg_2) {
    return arg_1 + arg_2;
  }
  
  static interval<mmx_floating>
  GLUE_15 (const mmx_floating &arg_1, const interval<mmx_floating> &arg_2) {
    return arg_1 - arg_2;
  }
  
  static interval<mmx_floating>
  GLUE_16 (const interval<mmx_floating> &arg_1, const mmx_floating &arg_2) {
    return arg_1 - arg_2;
  }
  
  static interval<mmx_floating>
  GLUE_17 (const mmx_floating &arg_1, const interval<mmx_floating> &arg_2) {
    return arg_1 * arg_2;
  }
  
  static interval<mmx_floating>
  GLUE_18 (const interval<mmx_floating> &arg_1, const mmx_floating &arg_2) {
    return arg_1 * arg_2;
  }
  
  static interval<mmx_floating>
  GLUE_19 (const interval<mmx_floating> &arg_1, const mmx_floating &arg_2) {
    return arg_1 / arg_2;
  }
  
  static interval<mmx_floating>
  GLUE_20 (const interval<mmx_floating> &arg_1, const interval<mmx_floating> &arg_2) {
    return arg_1 / arg_2;
  }
  
  static interval<mmx_floating>
  GLUE_21 (const mmx_floating &arg_1, const interval<mmx_floating> &arg_2) {
    return arg_1 / arg_2;
  }
  
  static interval<mmx_floating>
  GLUE_22 (const interval<mmx_floating> &arg_1) {
    return sqrt (arg_1);
  }
  
  static interval<mmx_floating>
  GLUE_23 (const interval<mmx_floating> &arg_1) {
    return exp (arg_1);
  }
  
  static interval<mmx_floating>
  GLUE_24 (const interval<mmx_floating> &arg_1) {
    return log (arg_1);
  }
  
  static interval<mmx_floating>
  GLUE_25 (const interval<mmx_floating> &arg_1, const interval<mmx_floating> &arg_2) {
    return pow (arg_1, arg_2);
  }
  
  static interval<mmx_floating>
  GLUE_26 (const interval<mmx_floating> &arg_1) {
    return cos (arg_1);
  }
  
  static interval<mmx_floating>
  GLUE_27 (const interval<mmx_floating> &arg_1) {
    return sin (arg_1);
  }
  
  static interval<mmx_floating>
  GLUE_28 (const interval<mmx_floating> &arg_1) {
    return tan (arg_1);
  }
  
  static interval<mmx_floating>
  GLUE_29 (const interval<mmx_floating> &arg_1) {
    return acos (arg_1);
  }
  
  static interval<mmx_floating>
  GLUE_30 (const interval<mmx_floating> &arg_1) {
    return asin (arg_1);
  }
  
  static interval<mmx_floating>
  GLUE_31 (const interval<mmx_floating> &arg_1) {
    return atan (arg_1);
  }
  
  static bool
  GLUE_32 (const interval<mmx_floating> &arg_1, const interval<mmx_floating> &arg_2) {
    return arg_1 < arg_2;
  }
  
  static bool
  GLUE_33 (const interval<mmx_floating> &arg_1, const interval<mmx_floating> &arg_2) {
    return arg_1 > arg_2;
  }
  
  static bool
  GLUE_34 (const interval<mmx_floating> &arg_1, const interval<mmx_floating> &arg_2) {
    return arg_1 <= arg_2;
  }
  
  static bool
  GLUE_35 (const interval<mmx_floating> &arg_1, const interval<mmx_floating> &arg_2) {
    return arg_1 >= arg_2;
  }
  
  static interval<mmx_floating>
  GLUE_36 (const interval<mmx_floating> &arg_1) {
    return abs (arg_1);
  }
  
  static interval<mmx_floating>
  GLUE_37 (const interval<mmx_floating> &arg_1, const interval<mmx_floating> &arg_2) {
    return min (arg_1, arg_2);
  }
  
  static interval<mmx_floating>
  GLUE_38 (const interval<mmx_floating> &arg_1, const interval<mmx_floating> &arg_2) {
    return max (arg_1, arg_2);
  }
  
  static interval<mmx_floating>
  GLUE_39 (const interval<mmx_floating> &arg_1) {
    return floor (arg_1);
  }
  
  static interval<mmx_floating>
  GLUE_40 (const interval<mmx_floating> &arg_1) {
    return ceil (arg_1);
  }
  
  static interval<mmx_floating>
  GLUE_41 (const interval<mmx_floating> &arg_1) {
    return trunc (arg_1);
  }
  
  static interval<mmx_floating>
  GLUE_42 (const interval<mmx_floating> &arg_1) {
    return round (arg_1);
  }
  
  static bool
  GLUE_43 (const interval<mmx_floating> &arg_1) {
    return is_finite (arg_1);
  }
  
  static bool
  GLUE_44 (const interval<mmx_floating> &arg_1) {
    return is_infinite (arg_1);
  }
  
  static bool
  GLUE_45 (const interval<mmx_floating> &arg_1) {
    return is_nan (arg_1);
  }
  
  static interval<mmx_floating>
  GLUE_46 (const interval<mmx_floating> &arg_1) {
    return times_infinity (arg_1);
  }
  
  static int
  GLUE_47 (const interval<mmx_floating> &arg_1) {
    return precision (arg_1);
  }
  
  static int
  GLUE_48 (const interval<mmx_floating> &arg_1) {
    return exponent (arg_1);
  }
  
  static double
  GLUE_49 (const interval<mmx_floating> &arg_1) {
    return magnitude (arg_1);
  }
  
  static interval<mmx_floating>
  GLUE_50 (const interval<mmx_floating> &arg_1, const int &arg_2) {
    return incexp2 (arg_1, arg_2);
  }
  
  static interval<mmx_floating>
  GLUE_51 (const interval<mmx_floating> &arg_1, const int &arg_2) {
    return decexp2 (arg_1, arg_2);
  }
  
  void
  glue_interval_floating () {
    static bool done = false;
    if (done) return;
    done = true;
    call_glue (string ("glue_floating"));
    call_glue (string ("glue_interval_double"));
    define_type<interval<mmx_floating> > (gen (lit ("Interval"), lit ("Floating")));
    define ("interval", GLUE_1);
    define ("interval", GLUE_2);
    define_converter ("upgrade", GLUE_3, PENALTY_INCLUSION);
    define ("lower", GLUE_4);
    define ("upper", GLUE_5);
    define ("center", GLUE_6);
    define ("radius", GLUE_7);
    define ("-", GLUE_8);
    define ("square", GLUE_9);
    define ("+", GLUE_10);
    define ("-", GLUE_11);
    define ("*", GLUE_12);
    define ("+", GLUE_13);
    define ("+", GLUE_14);
    define ("-", GLUE_15);
    define ("-", GLUE_16);
    define ("*", GLUE_17);
    define ("*", GLUE_18);
    define ("/", GLUE_19);
    define ("/", GLUE_20);
    define ("/", GLUE_21);
    define ("sqrt", GLUE_22);
    define ("exp", GLUE_23);
    define ("log", GLUE_24);
    define ("^", GLUE_25);
    define ("cos", GLUE_26);
    define ("sin", GLUE_27);
    define ("tan", GLUE_28);
    define ("arccos", GLUE_29);
    define ("arcsin", GLUE_30);
    define ("arctan", GLUE_31);
    define ("<", GLUE_32);
    define (">", GLUE_33);
    define ("<=", GLUE_34);
    define (">=", GLUE_35);
    define ("abs", GLUE_36);
    define ("min", GLUE_37);
    define ("max", GLUE_38);
    define ("floor", GLUE_39);
    define ("ceil", GLUE_40);
    define ("trunc", GLUE_41);
    define ("round", GLUE_42);
    define ("finite?", GLUE_43);
    define ("infinite?", GLUE_44);
    define ("nan?", GLUE_45);
    define ("times_infinity", GLUE_46);
    define ("precision", GLUE_47);
    define ("exponent", GLUE_48);
    define ("magnitude", GLUE_49);
    define ("increase_exponent", GLUE_50);
    define ("decrease_exponent", GLUE_51);
  }
}