glue/glue_modular_int.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 <numerix/modular.hpp>
#include <numerix/modular_integer.hpp>
#include <basix/alias.hpp>
#include <basix/tuple.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 bool
  GLUE_1 (const generic &arg_1) {
    return is_vector (arg_1);
  }
  
  static bool
  GLUE_2 (const generic &arg_1) {
    return generic_is_string (arg_1);
  }
  
  static int
  GLUE_3 (const string &arg_1) {
    return N (arg_1);
  }
  
  static string
  GLUE_4 (const string &arg_1, const int &arg_2, const int &arg_3) {
    return arg_1 (arg_2, arg_3);
  }
  
  static string
  GLUE_5 (const string &arg_1, const string &arg_2) {
    return arg_1 * arg_2;
  }
  
  static string
  GLUE_6 (const string &arg_1, const string &arg_2) {
    return arg_1 * arg_2;
  }
  
  static alias<string>
  GLUE_7 (const alias<string> &arg_1, const string &arg_2) {
    return alias_write (arg_1, arg_2);
  }
  
  static bool
  GLUE_8 (const string &arg_1, const string &arg_2) {
    return arg_1 < arg_2;
  }
  
  static bool
  GLUE_9 (const string &arg_1, const string &arg_2) {
    return arg_1 <= arg_2;
  }
  
  static bool
  GLUE_10 (const string &arg_1, const string &arg_2) {
    return arg_1 > arg_2;
  }
  
  static bool
  GLUE_11 (const string &arg_1, const string &arg_2) {
    return arg_1 >= arg_2;
  }
  
  static bool
  GLUE_12 (const string &arg_1, const string &arg_2) {
    return starts (arg_1, arg_2);
  }
  
  static bool
  GLUE_13 (const string &arg_1, const string &arg_2) {
    return ends (arg_1, arg_2);
  }
  
  static string
  GLUE_14 (const string &arg_1, const string &arg_2, const string &arg_3) {
    return replace (arg_1, arg_2, arg_3);
  }
  
  static int
  GLUE_15 (const string &arg_1, const string &arg_2, const int &arg_3) {
    return search_forwards (arg_1, arg_2, arg_3);
  }
  
  static int
  GLUE_16 (const string &arg_1, const string &arg_2, const int &arg_3) {
    return search_backwards (arg_1, arg_2, arg_3);
  }
  
  static string
  GLUE_17 (const string &arg_1) {
    return upcase (arg_1);
  }
  
  static string
  GLUE_18 (const string &arg_1) {
    return locase (arg_1);
  }
  
  static string
  GLUE_19 (const string &arg_1) {
    return upcase_first (arg_1);
  }
  
  static string
  GLUE_20 (const string &arg_1) {
    return locase_first (arg_1);
  }
  
  static string
  GLUE_21 (const string &arg_1) {
    return quote (arg_1);
  }
  
  static string
  GLUE_22 (const string &arg_1) {
    return unquote (arg_1);
  }
  
  static string
  GLUE_23 (const int &arg_1) {
    return charcode_as_string (arg_1);
  }
  
  static int
  GLUE_24 (const string &arg_1) {
    return string_as_charcode (arg_1);
  }
  
  static bool
  GLUE_25 (const generic &arg_1) {
    return is_generic_literal (arg_1);
  }
  
  static generic
  GLUE_26 (const literal &arg_1, const tuple<generic> &arg_2) {
    return gen_literal_apply (arg_1, as_vector (arg_2));
  }
  
  static generic
  GLUE_27 (const literal &arg_1, const tuple<generic> &arg_2) {
    return gen_literal_access (arg_1, as_vector (arg_2));
  }
  
  static literal
  GLUE_28 (const string &arg_1) {
    return literal (arg_1);
  }
  
  static string
  GLUE_29 (const literal &arg_1) {
    return *arg_1;
  }
  
  static generic
  GLUE_30 (const int &arg_1) {
    return integer_construct (arg_1);
  }
  
  static modulus<int>
  GLUE_31 (const int &arg_1) {
    return modulus<int > (arg_1);
  }
  
  static modulus<int>
  GLUE_32 (const int &arg_1) {
    return modulus<int > (arg_1);
  }
  
  static int
  GLUE_33 (const modulus<int> &arg_1) {
    return *arg_1;
  }
  
  static mmx_modular(int)
  GLUE_34 (const int &arg_1, const int &arg_2) {
    return (mmx_modular(int ) (arg_1, arg_2));
  }
  
  static mmx_modular(int)
  GLUE_35 (const int &arg_1, const modulus<int> &arg_2) {
    return (mmx_modular(int ) (arg_1, arg_2));
  }
  
  static mmx_modular(int)
  GLUE_36 (const int &arg_1, const modulus<int> &arg_2) {
    return (mmx_modular(int ) (arg_1, arg_2));
  }
  
  static modulus<int>
  GLUE_37 (const mmx_modular(int) &arg_1) {
    return get_modulus (arg_1);
  }
  
  static int
  GLUE_38 (const mmx_modular(int) &arg_1) {
    return *arg_1;
  }
  
  static mmx_modular(int)
  GLUE_39 (const mmx_modular(int) &arg_1) {
    return -arg_1;
  }
  
  static mmx_modular(int)
  GLUE_40 (const mmx_modular(int) &arg_1) {
    return square (arg_1);
  }
  
  static mmx_modular(int)
  GLUE_41 (const mmx_modular(int) &arg_1, const mmx_modular(int) &arg_2) {
    return arg_1 + arg_2;
  }
  
  static mmx_modular(int)
  GLUE_42 (const mmx_modular(int) &arg_1, const mmx_modular(int) &arg_2) {
    return arg_1 - arg_2;
  }
  
  static mmx_modular(int)
  GLUE_43 (const mmx_modular(int) &arg_1, const mmx_modular(int) &arg_2) {
    return arg_1 * arg_2;
  }
  
  static mmx_modular(int)
  GLUE_44 (const int &arg_1, const mmx_modular(int) &arg_2) {
    return arg_1 + arg_2;
  }
  
  static mmx_modular(int)
  GLUE_45 (const mmx_modular(int) &arg_1, const int &arg_2) {
    return arg_1 + arg_2;
  }
  
  static mmx_modular(int)
  GLUE_46 (const int &arg_1, const mmx_modular(int) &arg_2) {
    return arg_1 - arg_2;
  }
  
  static mmx_modular(int)
  GLUE_47 (const mmx_modular(int) &arg_1, const int &arg_2) {
    return arg_1 - arg_2;
  }
  
  static mmx_modular(int)
  GLUE_48 (const int &arg_1, const mmx_modular(int) &arg_2) {
    return arg_1 * arg_2;
  }
  
  static mmx_modular(int)
  GLUE_49 (const mmx_modular(int) &arg_1, const int &arg_2) {
    return arg_1 * arg_2;
  }
  
  static mmx_modular(int)
  GLUE_50 (const mmx_modular(int) &arg_1, const mmx_modular(int) &arg_2) {
    return arg_1 / arg_2;
  }
  
  static mmx_modular(int)
  GLUE_51 (const int &arg_1, const mmx_modular(int) &arg_2) {
    return arg_1 / arg_2;
  }
  
  static mmx_modular(int)
  GLUE_52 (const mmx_modular(int) &arg_1, const int &arg_2) {
    return arg_1 / arg_2;
  }
  
  static mmx_modular(int)
  GLUE_53 (const mmx_modular(int) &arg_1, const int &arg_2) {
    return binpow (arg_1, arg_2);
  }
  
  static bool
  GLUE_54 (const mmx_modular(int) &arg_1, const mmx_modular(int) &arg_2) {
    return arg_1 == arg_2;
  }
  
  static bool
  GLUE_55 (const mmx_modular(int) &arg_1, const mmx_modular(int) &arg_2) {
    return arg_1 != arg_2;
  }
  
  static bool
  GLUE_56 (const mmx_modular(int) &arg_1, const int &arg_2) {
    return arg_1 == arg_2;
  }
  
  static bool
  GLUE_57 (const mmx_modular(int) &arg_1, const int &arg_2) {
    return arg_1 != arg_2;
  }
  
  static bool
  GLUE_58 (const int &arg_1, const mmx_modular(int) &arg_2) {
    return arg_1 == arg_2;
  }
  
  static bool
  GLUE_59 (const int &arg_1, const mmx_modular(int) &arg_2) {
    return arg_1 != arg_2;
  }
  
  void
  glue_modular_int () {
    static bool done = false;
    if (done) return;
    done = true;
    call_glue (string ("glue_int"));
    define ("vector?", GLUE_1);
    define ("string?", 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 ("starts?", GLUE_12);
    define ("ends?", GLUE_13);
    define ("replace", GLUE_14);
    define ("search_forwards", GLUE_15);
    define ("search_backwards", GLUE_16);
    define ("upcase", GLUE_17);
    define ("locase", GLUE_18);
    define ("upcase_first", GLUE_19);
    define ("locase_first", GLUE_20);
    define ("quote", GLUE_21);
    define ("unquote", GLUE_22);
    define ("ascii", GLUE_23);
    define ("ascii_code", GLUE_24);
    define ("literal?", GLUE_25);
    define (".()", GLUE_26);
    define (".[]", GLUE_27);
    define ("as_literal", GLUE_28);
    define ("as_string", GLUE_29);
    define_constructor<int > (GLUE_30);
    define_type<modulus<int> > (gen (lit ("Modulus"), lit ("Int")));
    define_type<mmx_modular(int) > (gen (lit ("Modular"), lit ("Int")));
    define ("modulus", GLUE_31);
    define_converter ("upgrade", GLUE_32, PENALTY_HOMOMORPHISM);
    define_converter (":>", GLUE_33, PENALTY_CAST);
    define ("modular", GLUE_34);
    define ("modular", GLUE_35);
    define ("mod", GLUE_36);
    define ("get_modulus", GLUE_37);
    define ("preimage", GLUE_38);
    define ("-", GLUE_39);
    define ("square", GLUE_40);
    define ("+", GLUE_41);
    define ("-", GLUE_42);
    define ("*", GLUE_43);
    define ("+", GLUE_44);
    define ("+", GLUE_45);
    define ("-", GLUE_46);
    define ("-", GLUE_47);
    define ("*", GLUE_48);
    define ("*", GLUE_49);
    define ("/", GLUE_50);
    define ("/", GLUE_51);
    define ("/", GLUE_52);
    define ("^", GLUE_53);
    define ("=", GLUE_54);
    define ("!=", GLUE_55);
    define ("=", GLUE_56);
    define ("!=", GLUE_57);
    define ("=", GLUE_58);
    define ("!=", GLUE_59);
  }
}

---