/Users/mourrain/Devel/mmx/algebramix/glue/glue_series_modular_integer.cpp

Go to the documentation of this file.

#include <numerix/integer.hpp>
#include <basix/int.hpp>
#include <numerix/modular.hpp>
#include <numerix/modular_integer.hpp>
#include <basix/vector.hpp>
#include <algebramix/vector_unrolled.hpp>
#include <algebramix/vector_simd.hpp>
#include <algebramix/vector_modular.hpp>
#include <algebramix/polynomial.hpp>
#include <algebramix/polynomial_polynomial.hpp>
#include <algebramix/polynomial_integer.hpp>
#include <algebramix/polynomial_modular.hpp>
#include <algebramix/polynomial_modular_integer.hpp>
#include <algebramix/polynomial_schonhage.hpp>
#include <numerix/rational.hpp>
#include <algebramix/series.hpp>
#include <algebramix/series_elementary.hpp>
#include <algebramix/series_integer.hpp>
#include <algebramix/series_rational.hpp>
#include <algebramix/series_modular_integer.hpp>
#include <algebramix/series_sugar.hpp>
#include <basix/tuple.hpp>
#include <basix/routine.hpp>
#include <basix/glue.hpp>

#define int_literal(x) as_int (as_string (x))
namespace mmx {
    template<typename C> polynomial<C>
    polynomial_reverse (const vector<C>& v) {
      return polynomial<C> (reverse (v)); }

    template<typename C> polynomial<modular<modulus<C>, modular_local> >
    as_polynomial_modular (const polynomial<C>& f, const modulus<C>& p) {
      modular<modulus<C>, modular_local>::set_modulus (p);
      return as<polynomial<modular<modulus<C>, modular_local> > > (f); }

    template<typename C> vector<generic>
    wrap_subresultants (const polynomial<C>& f, const polynomial<C>& g) {
      return as<vector<generic> > (subresultants (f, g)); }

  }
namespace mmx { POLYNOMIAL_GENERIC_USES_SCHONHAGE }
#define series_shift_default(s,sh) shift (s, sh, mmx_bit_precision)

namespace mmx {
  static generic
  GLUE_1 (const integer &arg_1, const integer &arg_2) {
    return integer_pow (arg_1, arg_2);
  }
  
  static series<generic>
  GLUE_2 (const series<generic> &arg_1, const integer &arg_2) {
    return binpow (arg_1, arg_2);
  }
  
  static void
  GLUE_3 (const series<mmx_modular(integer) > &arg_1, const generic &arg_2) {
    set_variable_name (arg_1, arg_2);
  }
  
  static void
  GLUE_4 (const series<mmx_modular(integer) > &arg_1, const int &arg_2) {
    set_output_order (arg_1, arg_2);
  }
  
  static void
  GLUE_5 (const series<mmx_modular(integer) > &arg_1, const int &arg_2) {
    set_cancel_order (arg_1, arg_2);
  }
  
  static void
  GLUE_6 (const series<mmx_modular(integer) > &arg_1, const bool &arg_2) {
    set_formula_output (arg_1, arg_2);
  }
  
  static series<mmx_modular(integer) >
  GLUE_7 (const tuple<mmx_modular(integer) > &arg_1) {
    return series<mmx_modular(integer) > (as_vector (arg_1));
  }
  
  static series<mmx_modular(integer) >
  GLUE_8 (const mmx_modular(integer) &arg_1) {
    return series<mmx_modular(integer) > (arg_1);
  }
  
  static series<mmx_modular(integer) >
  GLUE_9 (const polynomial<mmx_modular(integer) > &arg_1) {
    return series<mmx_modular(integer) > (arg_1);
  }
  
  static iterator<generic>
  GLUE_10 (const series<mmx_modular(integer) > &arg_1) {
    return as<iterator<generic> > (iterate (arg_1));
  }
  
  static mmx_modular(integer)
  GLUE_11 (const series<mmx_modular(integer) > &arg_1, const int &arg_2) {
    return arg_1[arg_2];
  }
  
  static polynomial<mmx_modular(integer) >
  GLUE_12 (const series<mmx_modular(integer) > &arg_1, const int &arg_2, const int &arg_3) {
    return range (arg_1, arg_2, arg_3);
  }
  
  static series<mmx_modular(integer) >
  GLUE_13 (const series<mmx_modular(integer) > &arg_1) {
    return -arg_1;
  }
  
  static series<mmx_modular(integer) >
  GLUE_14 (const series<mmx_modular(integer) > &arg_1) {
    return square (arg_1);
  }
  
  static series<mmx_modular(integer) >
  GLUE_15 (const series<mmx_modular(integer) > &arg_1, const series<mmx_modular(integer) > &arg_2) {
    return arg_1 + arg_2;
  }
  
  static series<mmx_modular(integer) >
  GLUE_16 (const series<mmx_modular(integer) > &arg_1, const series<mmx_modular(integer) > &arg_2) {
    return arg_1 - arg_2;
  }
  
  static series<mmx_modular(integer) >
  GLUE_17 (const series<mmx_modular(integer) > &arg_1, const series<mmx_modular(integer) > &arg_2) {
    return arg_1 * arg_2;
  }
  
  static series<mmx_modular(integer) >
  GLUE_18 (const mmx_modular(integer) &arg_1, const series<mmx_modular(integer) > &arg_2) {
    return arg_1 + arg_2;
  }
  
  static series<mmx_modular(integer) >
  GLUE_19 (const series<mmx_modular(integer) > &arg_1, const mmx_modular(integer) &arg_2) {
    return arg_1 + arg_2;
  }
  
  static series<mmx_modular(integer) >
  GLUE_20 (const mmx_modular(integer) &arg_1, const series<mmx_modular(integer) > &arg_2) {
    return arg_1 - arg_2;
  }
  
  static series<mmx_modular(integer) >
  GLUE_21 (const series<mmx_modular(integer) > &arg_1, const mmx_modular(integer) &arg_2) {
    return arg_1 - arg_2;
  }
  
  static series<mmx_modular(integer) >
  GLUE_22 (const mmx_modular(integer) &arg_1, const series<mmx_modular(integer) > &arg_2) {
    return arg_1 * arg_2;
  }
  
  static series<mmx_modular(integer) >
  GLUE_23 (const series<mmx_modular(integer) > &arg_1, const mmx_modular(integer) &arg_2) {
    return arg_1 * arg_2;
  }
  
  static series<mmx_modular(integer) >
  GLUE_24 (const series<mmx_modular(integer) > &arg_1, const int &arg_2) {
    return binpow (arg_1, arg_2);
  }
  
  static series<mmx_modular(integer) >
  GLUE_25 (const series<mmx_modular(integer) > &arg_1, const integer &arg_2) {
    return binpow (arg_1, arg_2);
  }
  
  static series<mmx_modular(integer) >
  GLUE_26 (const series<mmx_modular(integer) > &arg_1) {
    return derive (arg_1);
  }
  
  static series<mmx_modular(integer) >
  GLUE_27 (const series<mmx_modular(integer) > &arg_1) {
    return xderive (arg_1);
  }
  
  static series<mmx_modular(integer) >
  GLUE_28 (const series<mmx_modular(integer) > &arg_1, const int &arg_2) {
    return dilate (arg_1, arg_2);
  }
  
  static series<mmx_modular(integer) >
  GLUE_29 (const series<mmx_modular(integer) > &arg_1, const int &arg_2) {
    return lshiftz (arg_1, arg_2);
  }
  
  static series<mmx_modular(integer) >
  GLUE_30 (const series<mmx_modular(integer) > &arg_1, const int &arg_2) {
    return rshiftz (arg_1, arg_2);
  }
  
  static series<mmx_modular(integer) >
  GLUE_31 (const series<mmx_modular(integer) > &arg_1, const series<mmx_modular(integer) > &arg_2) {
    return arg_1 / arg_2;
  }
  
  static series<mmx_modular(integer) >
  GLUE_32 (const mmx_modular(integer) &arg_1, const series<mmx_modular(integer) > &arg_2) {
    return arg_1 / arg_2;
  }
  
  static series<mmx_modular(integer) >
  GLUE_33 (const series<mmx_modular(integer) > &arg_1, const mmx_modular(integer) &arg_2) {
    return arg_1 / arg_2;
  }
  
  static series<mmx_modular(integer) >
  GLUE_34 (const series<mmx_modular(integer) > &arg_1, const series<mmx_modular(integer) > &arg_2) {
    return arg_1 / arg_2;
  }
  
  static bool
  GLUE_35 (const series<mmx_modular(integer) > &arg_1, const series<mmx_modular(integer) > &arg_2) {
    return divides (arg_1, arg_2);
  }
  
  static series<mmx_modular(integer) >
  GLUE_36 (const series<mmx_modular(integer) > &arg_1, const series<mmx_modular(integer) > &arg_2) {
    return gcd (arg_1, arg_2);
  }
  
  static series<mmx_modular(integer) >
  GLUE_37 (const series<mmx_modular(integer) > &arg_1, const series<mmx_modular(integer) > &arg_2) {
    return lcm (arg_1, arg_2);
  }
  
  static series<mmx_modular(integer) >
  GLUE_38 (const series<mmx_modular(integer) > &arg_1) {
    return integrate (arg_1);
  }
  
  static series<mmx_modular(integer) >
  GLUE_39 (const series<mmx_modular(integer) > &arg_1, const series<mmx_modular(integer) > &arg_2) {
    return compose (arg_1, arg_2);
  }
  
  static series<mmx_modular(integer) >
  GLUE_40 (const series<mmx_modular(integer) > &arg_1) {
    return reverse (arg_1);
  }
  
  static series<mmx_modular(integer) >
  GLUE_41 (const series<mmx_modular(integer) > &arg_1, const mmx_modular(integer) &arg_2) {
    return q_difference (arg_1, arg_2);
  }
  
  static series<mmx_modular(integer) >
  GLUE_42 (const series<mmx_modular(integer) > &arg_1, const mmx_modular(integer) &arg_2) {
    return series_shift_default (arg_1, arg_2);
  }
  
  static series<mmx_modular(integer) >
  GLUE_43 (const series<mmx_modular(integer) > &arg_1, const mmx_modular(integer) &arg_2, const int &arg_3) {
    return shift (arg_1, arg_2, arg_3);
  }
  
  static series<generic>
  GLUE_44 (const series<mmx_modular(integer) > &arg_1) {
    return as<series<generic> > (arg_1);
  }
  
  static series<mmx_modular(integer) >
  GLUE_45 (const routine &arg_1, const mmx_modular(integer) &arg_2) {
    return fixed_point_series (arg_1, arg_2);
  }
  
  static vector<generic>
  GLUE_46 (const routine &arg_1, const vector<mmx_modular(integer) > &arg_2) {
    return gen_fixed_point_vector_series (arg_1, arg_2);
  }
  
  static series<mmx_modular(integer) >
  GLUE_47 (const routine &arg_1, const mmx_modular(integer) &arg_2) {
    return integrate_series (arg_1, arg_2);
  }
  
  static vector<generic>
  GLUE_48 (const routine &arg_1, const vector<mmx_modular(integer) > &arg_2) {
    return gen_integrate_vector_series (arg_1, arg_2);
  }
  
  static series<mmx_modular(integer) >
  GLUE_49 (const routine &arg_1, const mmx_modular(integer) &arg_2) {
    return implicit_series (arg_1, arg_2);
  }
  
  static vector<generic>
  GLUE_50 (const routine &arg_1, const vector<mmx_modular(integer) > &arg_2) {
    return gen_implicit_vector_series (arg_1, arg_2);
  }
  
  void
  glue_series_modular_integer () {
    static bool done = false;
    if (done) return;
    done = true;
    call_glue (string ("glue_integer"));
    call_glue (string ("glue_modular_integer"));
    call_glue (string ("glue_polynomial_modular_integer"));
    call_glue (string ("glue_series_generic"));
    define ("^", GLUE_1);
    define ("^", GLUE_2);
    define_type<series<mmx_modular(integer) > > (gen (lit ("Series"), gen (lit ("Modular"), lit ("Integer"))));
    define ("set_variable_name", GLUE_3);
    define ("set_output_order", GLUE_4);
    define ("set_cancel_order", GLUE_5);
    define ("set_formula_output", GLUE_6);
    define ("series", GLUE_7);
    define_converter ("upgrade", GLUE_8, PENALTY_INCLUSION);
    define_converter ("upgrade", GLUE_9, PENALTY_INCLUSION);
    define_converter (":>", GLUE_10, PENALTY_CAST);
    define (".[]", GLUE_11);
    define (".[]", GLUE_12);
    define ("-", GLUE_13);
    define ("square", 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);
    define ("^", GLUE_25);
    define ("derive", GLUE_26);
    define ("xderive", GLUE_27);
    define ("dilate", GLUE_28);
    define ("<<", GLUE_29);
    define (">>", GLUE_30);
    define ("/", GLUE_31);
    define ("/", GLUE_32);
    define ("/", GLUE_33);
    define ("div", GLUE_34);
    define ("divides?", GLUE_35);
    define ("gcd", GLUE_36);
    define ("lcm", GLUE_37);
    define ("integrate", GLUE_38);
    define ("@", GLUE_39);
    define ("reverse", GLUE_40);
    define ("q_difference", GLUE_41);
    define ("shift", GLUE_42);
    define ("shift", GLUE_43);
    define_converter (":>", GLUE_44, PENALTY_PROMOTE_GENERIC);
    define ("fixed_point_series", GLUE_45);
    define ("fixed_point_series", GLUE_46);
    define ("integrate_series", GLUE_47);
    define ("integrate_series", GLUE_48);
    define ("implicit_series", GLUE_49);
    define ("implicit_series", GLUE_50);
  }
}