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

Go to the documentation of this file.

#include <basix/int.hpp>
#include <numerix/integer.hpp>
#include <numerix/modular.hpp>
#include <numerix/modular_integer.hpp>
#include <basix/glue.hpp>

#define int_literal(x) as_int (as_string (x))

namespace mmx {
  static generic
  GLUE_1 (const int &arg_1) {
    return integer_construct (arg_1);
  }
  
  static modulus<int>
  GLUE_2 (const int &arg_1) {
    return modulus<int > (arg_1);
  }
  
  static modulus<int>
  GLUE_3 (const int &arg_1) {
    return modulus<int > (arg_1);
  }
  
  static int
  GLUE_4 (const modulus<int> &arg_1) {
    return *arg_1;
  }
  
  static mmx_modular(int)
  GLUE_5 (const int &arg_1, const int &arg_2) {
    return (mmx_modular(int ) (arg_1, arg_2));
  }
  
  static mmx_modular(int)
  GLUE_6 (const int &arg_1, const modulus<int> &arg_2) {
    return (mmx_modular(int ) (arg_1, arg_2));
  }
  
  static mmx_modular(int)
  GLUE_7 (const int &arg_1, const modulus<int> &arg_2) {
    return (mmx_modular(int ) (arg_1, arg_2));
  }
  
  static modulus<int>
  GLUE_8 (const mmx_modular(int) &arg_1) {
    return get_modulus (arg_1);
  }
  
  static int
  GLUE_9 (const mmx_modular(int) &arg_1) {
    return *arg_1;
  }
  
  static mmx_modular(int)
  GLUE_10 (const mmx_modular(int) &arg_1) {
    return -arg_1;
  }
  
  static mmx_modular(int)
  GLUE_11 (const mmx_modular(int) &arg_1) {
    return square (arg_1);
  }
  
  static mmx_modular(int)
  GLUE_12 (const mmx_modular(int) &arg_1, const mmx_modular(int) &arg_2) {
    return arg_1 + arg_2;
  }
  
  static mmx_modular(int)
  GLUE_13 (const mmx_modular(int) &arg_1, const mmx_modular(int) &arg_2) {
    return arg_1 - arg_2;
  }
  
  static mmx_modular(int)
  GLUE_14 (const mmx_modular(int) &arg_1, const mmx_modular(int) &arg_2) {
    return arg_1 * arg_2;
  }
  
  static mmx_modular(int)
  GLUE_15 (const int &arg_1, const mmx_modular(int) &arg_2) {
    return arg_1 + arg_2;
  }
  
  static mmx_modular(int)
  GLUE_16 (const mmx_modular(int) &arg_1, const int &arg_2) {
    return arg_1 + arg_2;
  }
  
  static mmx_modular(int)
  GLUE_17 (const int &arg_1, const mmx_modular(int) &arg_2) {
    return arg_1 - arg_2;
  }
  
  static mmx_modular(int)
  GLUE_18 (const mmx_modular(int) &arg_1, const int &arg_2) {
    return arg_1 - arg_2;
  }
  
  static mmx_modular(int)
  GLUE_19 (const int &arg_1, const mmx_modular(int) &arg_2) {
    return arg_1 * arg_2;
  }
  
  static mmx_modular(int)
  GLUE_20 (const mmx_modular(int) &arg_1, const int &arg_2) {
    return arg_1 * arg_2;
  }
  
  static mmx_modular(int)
  GLUE_21 (const mmx_modular(int) &arg_1, const mmx_modular(int) &arg_2) {
    return arg_1 / arg_2;
  }
  
  static mmx_modular(int)
  GLUE_22 (const int &arg_1, const mmx_modular(int) &arg_2) {
    return arg_1 / arg_2;
  }
  
  static mmx_modular(int)
  GLUE_23 (const mmx_modular(int) &arg_1, const int &arg_2) {
    return arg_1 / arg_2;
  }
  
  static mmx_modular(int)
  GLUE_24 (const mmx_modular(int) &arg_1, const int &arg_2) {
    return binpow (arg_1, arg_2);
  }
  
  void
  glue_modular_int () {
    static bool done = false;
    if (done) return;
    done = true;
    call_glue (string ("glue_int"));
    define_constructor<int > (GLUE_1);
    define_type<modulus<int> > (gen (lit ("Modulus"), lit ("Int")));
    define_type<mmx_modular(int) > (gen (lit ("Modular"), lit ("Int")));
    define ("modulus", GLUE_2);
    define_converter ("upgrade", GLUE_3, PENALTY_HOMOMORPHISM);
    define_converter (":>", GLUE_4, PENALTY_CAST);
    define ("modular", GLUE_5);
    define ("modular", GLUE_6);
    define ("mod", GLUE_7);
    define ("get_modulus", GLUE_8);
    define ("preimage", GLUE_9);
    define ("-", GLUE_10);
    define ("square", 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 ("/", GLUE_22);
    define ("/", GLUE_23);
    define ("^", GLUE_24);
  }
}