/Users/mourrain/Devel/mmx/realroot/glue/glue_interval.cpp

Go to the documentation of this file.

#include <numerix/integer.hpp>
#include <numerix/rational.hpp>
#include <numerix/floating.hpp>
#include <realroot/Interval_glue.hpp>
#include <basix/glue.hpp>

namespace mmx {
  static interval<rational>
  GLUE_1 (const rational &arg_1) {
    return interval<rational > (arg_1);
  }
  
  static interval<rational>
  GLUE_2 (const rational &arg_1, const rational &arg_2) {
    return interval_from_pair (arg_1, arg_2);
  }
  
  static interval<rational>
  GLUE_3 (const interval<rational> &arg_1) {
    return -arg_1;
  }
  
  static interval<rational>
  GLUE_4 (const interval<rational> &arg_1, const interval<rational> &arg_2) {
    return arg_1 + arg_2;
  }
  
  static interval<rational>
  GLUE_5 (const interval<rational> &arg_1, const interval<rational> &arg_2) {
    return arg_1 - arg_2;
  }
  
  static interval<rational>
  GLUE_6 (const interval<rational> &arg_1, const interval<rational> &arg_2) {
    return arg_1 * arg_2;
  }
  
  static interval<rational>
  GLUE_7 (const rational &arg_1, const interval<rational> &arg_2) {
    return arg_1 + arg_2;
  }
  
  static interval<rational>
  GLUE_8 (const interval<rational> &arg_1, const rational &arg_2) {
    return arg_1 + arg_2;
  }
  
  static interval<rational>
  GLUE_9 (const rational &arg_1, const interval<rational> &arg_2) {
    return arg_1 - arg_2;
  }
  
  static interval<rational>
  GLUE_10 (const interval<rational> &arg_1, const rational &arg_2) {
    return arg_1 - arg_2;
  }
  
  static interval<rational>
  GLUE_11 (const rational &arg_1, const interval<rational> &arg_2) {
    return arg_1 * arg_2;
  }
  
  static interval<rational>
  GLUE_12 (const interval<rational> &arg_1, const rational &arg_2) {
    return arg_1 * arg_2;
  }
  
  static interval<rational>
  GLUE_13 (const interval<rational> &arg_1, const interval<rational> &arg_2) {
    return arg_1 / arg_2;
  }
  
  static rational
  GLUE_14 (const interval<rational> &arg_1) {
    return interval_lower (arg_1);
  }
  
  static rational
  GLUE_15 (const interval<rational> &arg_1) {
    return interval_upper (arg_1);
  }
  
  static interval<mmx_floating>
  GLUE_16 (const mmx_floating &arg_1) {
    return interval<mmx_floating > (arg_1);
  }
  
  static interval<mmx_floating>
  GLUE_17 (const mmx_floating &arg_1, const mmx_floating &arg_2) {
    return interval_from_pair (arg_1, arg_2);
  }
  
  static interval<mmx_floating>
  GLUE_18 (const interval<mmx_floating> &arg_1) {
    return -arg_1;
  }
  
  static interval<mmx_floating>
  GLUE_19 (const interval<mmx_floating> &arg_1, const interval<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 interval<mmx_floating> &arg_1, const interval<mmx_floating> &arg_2) {
    return arg_1 * arg_2;
  }
  
  static interval<mmx_floating>
  GLUE_22 (const mmx_floating &arg_1, const interval<mmx_floating> &arg_2) {
    return arg_1 + arg_2;
  }
  
  static interval<mmx_floating>
  GLUE_23 (const interval<mmx_floating> &arg_1, const mmx_floating &arg_2) {
    return arg_1 + arg_2;
  }
  
  static interval<mmx_floating>
  GLUE_24 (const mmx_floating &arg_1, const interval<mmx_floating> &arg_2) {
    return arg_1 - arg_2;
  }
  
  static interval<mmx_floating>
  GLUE_25 (const interval<mmx_floating> &arg_1, const mmx_floating &arg_2) {
    return arg_1 - arg_2;
  }
  
  static interval<mmx_floating>
  GLUE_26 (const mmx_floating &arg_1, const interval<mmx_floating> &arg_2) {
    return arg_1 * arg_2;
  }
  
  static interval<mmx_floating>
  GLUE_27 (const interval<mmx_floating> &arg_1, const mmx_floating &arg_2) {
    return arg_1 * arg_2;
  }
  
  static interval<mmx_floating>
  GLUE_28 (const interval<mmx_floating> &arg_1, const interval<mmx_floating> &arg_2) {
    return arg_1 / arg_2;
  }
  
  static mmx_floating
  GLUE_29 (const interval<mmx_floating> &arg_1) {
    return interval_lower (arg_1);
  }
  
  static mmx_floating
  GLUE_30 (const interval<mmx_floating> &arg_1) {
    return interval_upper (arg_1);
  }
  
  void
  glue_interval () {
    static bool done = false;
    if (done) return;
    done = true;
    call_glue (string ("glue_rational"));
    call_glue (string ("glue_floating"));
    define_type<interval<rational> > (gen (lit ("Interval"), lit ("Rational")));
    define ("interval", GLUE_1);
    define ("interval", GLUE_2);
    define ("-", GLUE_3);
    define ("+", GLUE_4);
    define ("-", GLUE_5);
    define ("*", GLUE_6);
    define ("+", GLUE_7);
    define ("+", GLUE_8);
    define ("-", GLUE_9);
    define ("-", GLUE_10);
    define ("*", GLUE_11);
    define ("*", GLUE_12);
    define ("/", GLUE_13);
    define ("lower", GLUE_14);
    define ("upper", GLUE_15);
    define_type<interval<mmx_floating> > (gen (lit ("Interval"), lit ("Floating")));
    define ("interval", GLUE_16);
    define ("interval", GLUE_17);
    define ("-", GLUE_18);
    define ("+", GLUE_19);
    define ("-", GLUE_20);
    define ("*", GLUE_21);
    define ("+", GLUE_22);
    define ("+", GLUE_23);
    define ("-", GLUE_24);
    define ("-", GLUE_25);
    define ("*", GLUE_26);
    define ("*", GLUE_27);
    define ("/", GLUE_28);
    define ("lower", GLUE_29);
    define ("upper", GLUE_30);
  }
}