glue/glue_integer.cpp

Go to the documentation of this file.

#include <basix/int.hpp>
#include <basix/vector.hpp>
#include <basix/port.hpp>
#include <basix/literal.hpp>
#include <numerix/integer.hpp>
#include <basix/glue.hpp>

#define int_literal(x) as_int (as_string (x))
#define is_generic_literal is<literal>
#define gen_literal_apply(f,v) gen (as<generic> (f), v)
#define gen_literal_access(f,v) access (as<generic> (f), v)

namespace mmx {
  static integer
  GLUE_1 (const literal &arg_1) {
    return make_literal_integer (arg_1);
  }
  
  static integer
  GLUE_2 (const int &arg_1) {
    return integer (arg_1);
  }
  
  static integer
  GLUE_3 (const int &arg_1) {
    return integer (arg_1);
  }
  
  static bool
  GLUE_4 (const integer &arg_1) {
    return is_int (arg_1);
  }
  
  static int
  GLUE_5 (const integer &arg_1) {
    return as_int (arg_1);
  }
  
  static integer
  GLUE_6 (const string &arg_1) {
    return integer (arg_1);
  }
  
  static string
  GLUE_7 (const integer &arg_1) {
    return as_string (arg_1);
  }
  
  static generic
  GLUE_8 (const int &arg_1) {
    return integer_construct (arg_1);
  }
  
  static int
  GLUE_9 (const integer &arg_1) {
    return as_int (arg_1);
  }
  
  static integer
  GLUE_10 (const integer &arg_1) {
    return -arg_1;
  }
  
  static integer
  GLUE_11 (const integer &arg_1) {
    return square (arg_1);
  }
  
  static integer
  GLUE_12 (const integer &arg_1, const integer &arg_2) {
    return arg_1 + arg_2;
  }
  
  static integer
  GLUE_13 (const integer &arg_1, const integer &arg_2) {
    return arg_1 - arg_2;
  }
  
  static integer
  GLUE_14 (const integer &arg_1, const integer &arg_2) {
    return arg_1 * arg_2;
  }
  
  static integer
  GLUE_15 (const integer &arg_1, const integer &arg_2) {
    return arg_1 / arg_2;
  }
  
  static integer
  GLUE_16 (const integer &arg_1, const integer &arg_2) {
    return quo (arg_1, arg_2);
  }
  
  static integer
  GLUE_17 (const integer &arg_1, const integer &arg_2) {
    return rem (arg_1, arg_2);
  }
  
  static bool
  GLUE_18 (const integer &arg_1, const integer &arg_2) {
    return divides (arg_1, arg_2);
  }
  
  static integer
  GLUE_19 (const integer &arg_1, const integer &arg_2) {
    return gcd (arg_1, arg_2);
  }
  
  static integer
  GLUE_20 (const integer &arg_1, const integer &arg_2) {
    return lcm (arg_1, arg_2);
  }
  
  static integer
  GLUE_21 (const integer &arg_1, const integer &arg_2) {
    return invert_modulo (arg_1, arg_2);
  }
  
  static bool
  GLUE_22 (const integer &arg_1, const integer &arg_2) {
    return arg_1 == arg_2;
  }
  
  static bool
  GLUE_23 (const integer &arg_1, const integer &arg_2) {
    return arg_1 != arg_2;
  }
  
  static bool
  GLUE_24 (const integer &arg_1, const integer &arg_2) {
    return arg_1 < arg_2;
  }
  
  static bool
  GLUE_25 (const integer &arg_1, const integer &arg_2) {
    return arg_1 <= arg_2;
  }
  
  static bool
  GLUE_26 (const integer &arg_1, const integer &arg_2) {
    return arg_1 > arg_2;
  }
  
  static bool
  GLUE_27 (const integer &arg_1, const integer &arg_2) {
    return arg_1 >= arg_2;
  }
  
  static int
  GLUE_28 (const integer &arg_1) {
    return sign (arg_1);
  }
  
  static integer
  GLUE_29 (const integer &arg_1) {
    return abs (arg_1);
  }
  
  static integer
  GLUE_30 (const integer &arg_1, const integer &arg_2) {
    return min (arg_1, arg_2);
  }
  
  static integer
  GLUE_31 (const integer &arg_1, const integer &arg_2) {
    return max (arg_1, arg_2);
  }
  
  static integer
  GLUE_32 (const integer &arg_1, const integer &arg_2) {
    return min (arg_1, arg_2);
  }
  
  static integer
  GLUE_33 (const integer &arg_1, const integer &arg_2) {
    return max (arg_1, arg_2);
  }
  
  static integer
  GLUE_34 (const integer &arg_1) {
    return factorial (arg_1);
  }
  
  static integer
  GLUE_35 (const integer &arg_1, const integer &arg_2) {
    return binomial (arg_1, arg_2);
  }
  
  static bool
  GLUE_36 (const integer &arg_1) {
    return is_probable_prime (arg_1);
  }
  
  static integer
  GLUE_37 (const integer &arg_1) {
    return probable_next_prime (arg_1);
  }
  
  static integer
  GLUE_38 (const integer &arg_1, const integer &arg_2) {
    return arg_1 & arg_2;
  }
  
  static integer
  GLUE_39 (const integer &arg_1, const integer &arg_2) {
    return arg_1 | arg_2;
  }
  
  static integer
  GLUE_40 (const integer &arg_1, const integer &arg_2) {
    return arg_1 ^ arg_2;
  }
  
  static integer
  GLUE_41 (const integer &arg_1) {
    return ~arg_1;
  }
  
  static int
  GLUE_42 (const integer &arg_1) {
    return bit_size (arg_1);
  }
  
  static bool
  GLUE_43 (const integer &arg_1, const int &arg_2) {
    return arg_1[arg_2];
  }
  
  static int
  GLUE_44 (const integer &arg_1) {
    return hamming_norm (arg_1);
  }
  
  static int
  GLUE_45 (const integer &arg_1, const integer &arg_2) {
    return hamming_distance (arg_1, arg_2);
  }
  
  static integer
  GLUE_46 (const integer &arg_1, const int &arg_2) {
    return arg_1 + arg_2;
  }
  
  static integer
  GLUE_47 (const integer &arg_1, const int &arg_2) {
    return arg_1 - arg_2;
  }
  
  static integer
  GLUE_48 (const integer &arg_1, const int &arg_2) {
    return arg_1 * arg_2;
  }
  
  static integer
  GLUE_49 (const int &arg_1, const integer &arg_2) {
    return arg_1 + arg_2;
  }
  
  static integer
  GLUE_50 (const int &arg_1, const integer &arg_2) {
    return arg_1 - arg_2;
  }
  
  static integer
  GLUE_51 (const int &arg_1, const integer &arg_2) {
    return arg_1 * arg_2;
  }
  
  static integer
  GLUE_52 (const integer &arg_1, const int &arg_2) {
    return arg_1 / arg_2;
  }
  
  static integer
  GLUE_53 (const integer &arg_1, const int &arg_2) {
    return quo (arg_1, arg_2);
  }
  
  static integer
  GLUE_54 (const integer &arg_1, const int &arg_2) {
    return rem (arg_1, arg_2);
  }
  
  static bool
  GLUE_55 (const integer &arg_1, const int &arg_2) {
    return divides (arg_1, arg_2);
  }
  
  static integer
  GLUE_56 (const int &arg_1, const integer &arg_2) {
    return arg_1 / arg_2;
  }
  
  static integer
  GLUE_57 (const int &arg_1, const integer &arg_2) {
    return quo (arg_1, arg_2);
  }
  
  static integer
  GLUE_58 (const int &arg_1, const integer &arg_2) {
    return rem (arg_1, arg_2);
  }
  
  static bool
  GLUE_59 (const int &arg_1, const integer &arg_2) {
    return divides (arg_1, arg_2);
  }
  
  static bool
  GLUE_60 (const integer &arg_1, const int &arg_2) {
    return arg_1 == arg_2;
  }
  
  static bool
  GLUE_61 (const integer &arg_1, const int &arg_2) {
    return arg_1 != arg_2;
  }
  
  static bool
  GLUE_62 (const integer &arg_1, const int &arg_2) {
    return arg_1 < arg_2;
  }
  
  static bool
  GLUE_63 (const integer &arg_1, const int &arg_2) {
    return arg_1 <= arg_2;
  }
  
  static bool
  GLUE_64 (const integer &arg_1, const int &arg_2) {
    return arg_1 > arg_2;
  }
  
  static bool
  GLUE_65 (const integer &arg_1, const int &arg_2) {
    return arg_1 >= arg_2;
  }
  
  static bool
  GLUE_66 (const int &arg_1, const integer &arg_2) {
    return arg_1 == arg_2;
  }
  
  static bool
  GLUE_67 (const int &arg_1, const integer &arg_2) {
    return arg_1 != arg_2;
  }
  
  static bool
  GLUE_68 (const int &arg_1, const integer &arg_2) {
    return arg_1 < arg_2;
  }
  
  static bool
  GLUE_69 (const int &arg_1, const integer &arg_2) {
    return arg_1 <= arg_2;
  }
  
  static bool
  GLUE_70 (const int &arg_1, const integer &arg_2) {
    return arg_1 > arg_2;
  }
  
  static bool
  GLUE_71 (const int &arg_1, const integer &arg_2) {
    return arg_1 >= arg_2;
  }
  
  static integer
  GLUE_72 (const integer &arg_1, const int &arg_2) {
    return min (arg_1, arg_2);
  }
  
  static integer
  GLUE_73 (const integer &arg_1, const int &arg_2) {
    return max (arg_1, arg_2);
  }
  
  static integer
  GLUE_74 (const int &arg_1, const integer &arg_2) {
    return min (arg_1, arg_2);
  }
  
  static integer
  GLUE_75 (const int &arg_1, const integer &arg_2) {
    return max (arg_1, arg_2);
  }
  
  static integer
  GLUE_76 (const integer &arg_1, const int &arg_2) {
    return arg_1 & arg_2;
  }
  
  static integer
  GLUE_77 (const integer &arg_1, const int &arg_2) {
    return arg_1 | arg_2;
  }
  
  static integer
  GLUE_78 (const integer &arg_1, const int &arg_2) {
    return arg_1 ^ arg_2;
  }
  
  static integer
  GLUE_79 (const int &arg_1, const integer &arg_2) {
    return arg_1 & arg_2;
  }
  
  static integer
  GLUE_80 (const int &arg_1, const integer &arg_2) {
    return arg_1 | arg_2;
  }
  
  static integer
  GLUE_81 (const int &arg_1, const integer &arg_2) {
    return arg_1 ^ arg_2;
  }
  
  void
  glue_integer () {
    static bool done = false;
    if (done) return;
    done = true;
    call_glue (string ("glue_int"));
    call_glue (string ("glue_literal"));
    call_glue (string ("glue_string"));
    define_type<integer > (lit ("Integer"));
    define ("literal_integer", GLUE_1);
    define ("integer", GLUE_2);
    define_converter ("upgrade", GLUE_3, PENALTY_INCLUSION);
    define ("int?", GLUE_4);
    define ("as_int", GLUE_5);
    define ("as_integer", GLUE_6);
    define ("as_string", GLUE_7);
    define_constructor<int > (GLUE_8);
    define_converter (":>", GLUE_9, PENALTY_INCLUSION);
    define ("-", GLUE_10);
    define ("square", GLUE_11);
    define ("+", GLUE_12);
    define ("-", GLUE_13);
    define ("*", GLUE_14);
    define ("div", GLUE_15);
    define ("quo", GLUE_16);
    define ("rem", GLUE_17);
    define ("divides?", GLUE_18);
    define ("gcd", GLUE_19);
    define ("lcm", GLUE_20);
    define ("invert_modulo", GLUE_21);
    define ("=", GLUE_22);
    define ("!=", GLUE_23);
    define ("<", GLUE_24);
    define ("<=", GLUE_25);
    define (">", GLUE_26);
    define (">=", GLUE_27);
    define ("sign", GLUE_28);
    define ("abs", GLUE_29);
    define ("min", GLUE_30);
    define ("max", GLUE_31);
    define ("inf", GLUE_32);
    define ("sup", GLUE_33);
    define (".!", GLUE_34);
    define ("binomial", GLUE_35);
    define ("probable_prime?", GLUE_36);
    define ("probable_next_prime", GLUE_37);
    define ("/\\", GLUE_38);
    define ("\\/", GLUE_39);
    define ("xor", GLUE_40);
    define ("!", GLUE_41);
    define ("#", GLUE_42);
    define (".[]", GLUE_43);
    define ("hamming_norm", GLUE_44);
    define ("hamming_distance", GLUE_45);
    define ("+", GLUE_46);
    define ("-", GLUE_47);
    define ("*", GLUE_48);
    define ("+", GLUE_49);
    define ("-", GLUE_50);
    define ("*", GLUE_51);
    define ("div", GLUE_52);
    define ("quo", GLUE_53);
    define ("rem", GLUE_54);
    define ("divides?", GLUE_55);
    define ("div", GLUE_56);
    define ("quo", GLUE_57);
    define ("rem", GLUE_58);
    define ("divides?", GLUE_59);
    define ("=", GLUE_60);
    define ("!=", GLUE_61);
    define ("<", GLUE_62);
    define ("<=", GLUE_63);
    define (">", GLUE_64);
    define (">=", GLUE_65);
    define ("=", GLUE_66);
    define ("!=", GLUE_67);
    define ("<", GLUE_68);
    define ("<=", GLUE_69);
    define (">", GLUE_70);
    define (">=", GLUE_71);
    define ("min", GLUE_72);
    define ("max", GLUE_73);
    define ("min", GLUE_74);
    define ("max", GLUE_75);
    define ("/\\", GLUE_76);
    define ("\\/", GLUE_77);
    define ("xor", GLUE_78);
    define ("/\\", GLUE_79);
    define ("\\/", GLUE_80);
    define ("xor", GLUE_81);
  }
}

---