/Users/mourrain/Devel/mmx/algebramix/glue/glue_matrix_modular_integer.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/vector.hpp>
#include <algebramix/vector_unrolled.hpp>
#include <algebramix/vector_simd.hpp>
#include <algebramix/vector_modular.hpp>
#include <numerix/rational.hpp>
#include <algebramix/permutation.hpp>
#include <basix/row_tuple.hpp>
#include <algebramix/matrix.hpp>
#include <algebramix/matrix_ring_naive.hpp>
#include <algebramix/matrix_integer.hpp>
#include <algebramix/matrix_modular_integer.hpp>
#include <algebramix/matrix_quotient.hpp>
#include <basix/tuple.hpp>
#include <basix/alias.hpp>
#include <basix/glue.hpp>

#define int_literal(x) as_int (as_string (x))
#define identity_matrix_integer identity_matrix<integer>
#define hilbert_matrix_rational hilbert_matrix<rational>

namespace mmx {
  template<typename C> matrix<C>
  matrix_new (const vector<row_tuple<C> >& t) {
    if (N(t) == 0) return matrix<C> ();
    nat i, j, rows= N(t), cols= N(t[0]);
    C dummy= 0;
    matrix<C> r (dummy, rows, cols);
    for (i=0; i<rows; i++) {
      ASSERT (N(t[i]) == cols, "unequal row lengths");
      for (j=0; j<cols; j++)
        r(i,j)= t[i][j];
    }
    return r;
  }

  template<typename C> matrix<C>
  matrix_new (const vector<C>& t) {
    nat j, rows= 1, cols= N(t);
    C dummy= 0;
    matrix<C> r (dummy, rows, cols);
    for (j=0; j<cols; j++)
      r(0,j)= t[j];
    return r;
  }

  template<typename C> vector<generic>
  wrap_column_reduced_echelon_with_permutation (const matrix<C>& m) {
    permutation permut;
    generic tp=as<generic> (column_reduced_echelon (m, permut));
    return vec (tp, as<generic> (permut));
  }

  template<typename C> vector<generic>
  wrap_column_reduced_echelon_with_transform (const matrix<C>& m) {
    matrix<C> k;
    generic tp=as<generic> (column_reduced_echelon (m, k));
    return vec (tp, as<generic> (k));
  }

  template<typename C> vector<generic>
  wrap_row_reduced_echelon_with_transform (const matrix<C>& m) {
    matrix<C> k;
    generic tp=as<generic> (row_reduced_echelon (m, k));
    return vec (tp, as<generic> (k));
  }
}


namespace mmx {
  static row_tuple<mmx_modular(integer) >
  GLUE_1 (const tuple<mmx_modular(integer) > &arg_1) {
    return row_tuple<mmx_modular(integer) > (as_vector (arg_1));
  }
  
  static matrix<mmx_modular(integer) >
  GLUE_2 (const tuple<mmx_modular(integer) > &arg_1) {
    return matrix_new (as_vector (arg_1));
  }
  
  static matrix<mmx_modular(integer) >
  GLUE_3 (const tuple<row_tuple<mmx_modular(integer) > > &arg_1) {
    return matrix_new (as_vector (arg_1));
  }
  
  static matrix<mmx_modular(integer) >
  GLUE_4 (const tuple<row_tuple<mmx_modular(integer) > > &arg_1) {
    return matrix_new (as_vector (arg_1));
  }
  
  static int
  GLUE_5 (const matrix<mmx_modular(integer) > &arg_1) {
    return N (arg_1);
  }
  
  static int
  GLUE_6 (const matrix<mmx_modular(integer) > &arg_1) {
    return rows (arg_1);
  }
  
  static int
  GLUE_7 (const matrix<mmx_modular(integer) > &arg_1) {
    return cols (arg_1);
  }
  
  static mmx_modular(integer)
  GLUE_8 (const matrix<mmx_modular(integer) > &arg_1, const int &arg_2, const int &arg_3) {
    return arg_1 (arg_2, arg_3);
  }
  
  static alias<mmx_modular(integer) >
  GLUE_9 (const alias<matrix<mmx_modular(integer) > > &arg_1, const int &arg_2, const int &arg_3) {
    return alias_access<mmx_modular(integer) > (arg_1, arg_2, arg_3);
  }
  
  static matrix<mmx_modular(integer) >
  GLUE_10 (const matrix<mmx_modular(integer) > &arg_1, const int &arg_2, const int &arg_3, const int &arg_4, const int &arg_5) {
    return range (arg_1, arg_2, arg_3, arg_4, arg_5);
  }
  
  static vector<mmx_modular(integer) >
  GLUE_11 (const matrix<mmx_modular(integer) > &arg_1, const int &arg_2) {
    return row (arg_1, arg_2);
  }
  
  static vector<mmx_modular(integer) >
  GLUE_12 (const matrix<mmx_modular(integer) > &arg_1, const int &arg_2) {
    return column (arg_1, arg_2);
  }
  
  static matrix<mmx_modular(integer) >
  GLUE_13 (const matrix<mmx_modular(integer) > &arg_1) {
    return transpose (arg_1);
  }
  
  static matrix<mmx_modular(integer) >
  GLUE_14 (const matrix<mmx_modular(integer) > &arg_1, const matrix<mmx_modular(integer) > &arg_2) {
    return horizontal_join (arg_1, arg_2);
  }
  
  static matrix<mmx_modular(integer) >
  GLUE_15 (const matrix<mmx_modular(integer) > &arg_1, const matrix<mmx_modular(integer) > &arg_2) {
    return vertical_join (arg_1, arg_2);
  }
  
  static row_tuple<generic>
  GLUE_16 (const row_tuple<mmx_modular(integer) > &arg_1) {
    return as<row_tuple<generic> > (arg_1);
  }
  
  static matrix<generic>
  GLUE_17 (const matrix<mmx_modular(integer) > &arg_1) {
    return as<matrix<generic> > (arg_1);
  }
  
  static matrix<mmx_modular(integer) >
  GLUE_18 (const mmx_modular(integer) &arg_1, const int &arg_2, const int &arg_3) {
    return fill_matrix (arg_1, arg_2, arg_3);
  }
  
  static matrix<mmx_modular(integer) >
  GLUE_19 (const mmx_modular(integer) &arg_1, const int &arg_2) {
    return jordan_matrix (arg_1, arg_2);
  }
  
  static matrix<mmx_modular(integer) >
  GLUE_20 (const vector<mmx_modular(integer) > &arg_1) {
    return toeplitz_matrix (arg_1);
  }
  
  static matrix<mmx_modular(integer) >
  GLUE_21 (const vector<mmx_modular(integer) > &arg_1) {
    return hankel_matrix (arg_1);
  }
  
  static matrix<mmx_modular(integer) >
  GLUE_22 (const vector<mmx_modular(integer) > &arg_1, const vector<mmx_modular(integer) > &arg_2) {
    return tensor_matrix (arg_1, arg_2);
  }
  
  static matrix<mmx_modular(integer) >
  GLUE_23 (const vector<mmx_modular(integer) > &arg_1) {
    return vandermonde (arg_1);
  }
  
  static matrix<mmx_modular(integer) >
  GLUE_24 (const matrix<mmx_modular(integer) > &arg_1) {
    return -arg_1;
  }
  
  static matrix<mmx_modular(integer) >
  GLUE_25 (const matrix<mmx_modular(integer) > &arg_1) {
    return square (arg_1);
  }
  
  static matrix<mmx_modular(integer) >
  GLUE_26 (const matrix<mmx_modular(integer) > &arg_1, const matrix<mmx_modular(integer) > &arg_2) {
    return arg_1 + arg_2;
  }
  
  static matrix<mmx_modular(integer) >
  GLUE_27 (const matrix<mmx_modular(integer) > &arg_1, const matrix<mmx_modular(integer) > &arg_2) {
    return arg_1 - arg_2;
  }
  
  static matrix<mmx_modular(integer) >
  GLUE_28 (const matrix<mmx_modular(integer) > &arg_1, const matrix<mmx_modular(integer) > &arg_2) {
    return arg_1 * arg_2;
  }
  
  static matrix<mmx_modular(integer) >
  GLUE_29 (const mmx_modular(integer) &arg_1, const matrix<mmx_modular(integer) > &arg_2) {
    return arg_1 + arg_2;
  }
  
  static matrix<mmx_modular(integer) >
  GLUE_30 (const matrix<mmx_modular(integer) > &arg_1, const mmx_modular(integer) &arg_2) {
    return arg_1 + arg_2;
  }
  
  static matrix<mmx_modular(integer) >
  GLUE_31 (const mmx_modular(integer) &arg_1, const matrix<mmx_modular(integer) > &arg_2) {
    return arg_1 - arg_2;
  }
  
  static matrix<mmx_modular(integer) >
  GLUE_32 (const matrix<mmx_modular(integer) > &arg_1, const mmx_modular(integer) &arg_2) {
    return arg_1 - arg_2;
  }
  
  static matrix<mmx_modular(integer) >
  GLUE_33 (const mmx_modular(integer) &arg_1, const matrix<mmx_modular(integer) > &arg_2) {
    return arg_1 * arg_2;
  }
  
  static matrix<mmx_modular(integer) >
  GLUE_34 (const matrix<mmx_modular(integer) > &arg_1, const mmx_modular(integer) &arg_2) {
    return arg_1 * arg_2;
  }
  
  static vector<mmx_modular(integer) >
  GLUE_35 (const matrix<mmx_modular(integer) > &arg_1, const vector<mmx_modular(integer) > &arg_2) {
    return arg_1 * arg_2;
  }
  
  static vector<mmx_modular(integer) >
  GLUE_36 (const vector<mmx_modular(integer) > &arg_1, const matrix<mmx_modular(integer) > &arg_2) {
    return arg_1 * arg_2;
  }
  
  static matrix<mmx_modular(integer) >
  GLUE_37 (const mmx_modular(integer) &arg_1, const matrix<mmx_modular(integer) > &arg_2) {
    return arg_1 / arg_2;
  }
  
  static matrix<mmx_modular(integer) >
  GLUE_38 (const matrix<mmx_modular(integer) > &arg_1, const mmx_modular(integer) &arg_2) {
    return arg_1 / arg_2;
  }
  
  static matrix<mmx_modular(integer) >
  GLUE_39 (const matrix<mmx_modular(integer) > &arg_1, const matrix<mmx_modular(integer) > &arg_2) {
    return krylov (arg_1, arg_2);
  }
  
  static mmx_modular(integer)
  GLUE_40 (const matrix<mmx_modular(integer) > &arg_1) {
    return det (arg_1);
  }
  
  static matrix<mmx_modular(integer) >
  GLUE_41 (const matrix<mmx_modular(integer) > &arg_1) {
    return row_echelon (arg_1);
  }
  
  static matrix<mmx_modular(integer) >
  GLUE_42 (const matrix<mmx_modular(integer) > &arg_1) {
    return column_echelon (arg_1);
  }
  
  static matrix<mmx_modular(integer) >
  GLUE_43 (const matrix<mmx_modular(integer) > &arg_1) {
    return row_reduced_echelon (arg_1);
  }
  
  static matrix<mmx_modular(integer) >
  GLUE_44 (const matrix<mmx_modular(integer) > &arg_1) {
    return column_reduced_echelon (arg_1);
  }
  
  static vector<generic>
  GLUE_45 (const matrix<mmx_modular(integer) > &arg_1) {
    return wrap_row_reduced_echelon_with_transform (arg_1);
  }
  
  static vector<generic>
  GLUE_46 (const matrix<mmx_modular(integer) > &arg_1) {
    return wrap_column_reduced_echelon_with_transform (arg_1);
  }
  
  static vector<generic>
  GLUE_47 (const matrix<mmx_modular(integer) > &arg_1) {
    return wrap_column_reduced_echelon_with_permutation (arg_1);
  }
  
  static matrix<mmx_modular(integer) >
  GLUE_48 (const matrix<mmx_modular(integer) > &arg_1) {
    return kernel (arg_1);
  }
  
  static matrix<mmx_modular(integer) >
  GLUE_49 (const matrix<mmx_modular(integer) > &arg_1) {
    return image (arg_1);
  }
  
  static int
  GLUE_50 (const matrix<mmx_modular(integer) > &arg_1) {
    return rank (arg_1);
  }
  
  static matrix<mmx_modular(integer) >
  GLUE_51 (const matrix<mmx_modular(integer) > &arg_1) {
    return invert (arg_1);
  }
  
  void
  glue_matrix_modular_integer () {
    static bool done = false;
    if (done) return;
    done = true;
    call_glue (string ("glue_vector_modular_integer"));
    call_glue (string ("glue_matrix_integer"));
    define_type<row_tuple<mmx_modular(integer) > > (gen (lit ("Row"), gen (lit ("Modular"), lit ("Integer"))));
    define_type<matrix<mmx_modular(integer) > > (gen (lit ("Matrix"), gen (lit ("Modular"), lit ("Integer"))));
    define ("(.)", GLUE_1);
    define ("matrix", GLUE_2);
    define ("matrix", GLUE_3);
    define ("[]", GLUE_4);
    define ("#", GLUE_5);
    define ("rows", GLUE_6);
    define ("columns", GLUE_7);
    define (".[]", GLUE_8);
    define (".[]", GLUE_9);
    define (".[]", GLUE_10);
    define ("row", GLUE_11);
    define ("column", GLUE_12);
    define ("transpose", GLUE_13);
    define ("horizontal_join", GLUE_14);
    define ("vertical_join", GLUE_15);
    define_converter (":>", GLUE_16, PENALTY_PROMOTE_GENERIC);
    define_converter (":>", GLUE_17, PENALTY_PROMOTE_GENERIC);
    define ("fill_matrix", GLUE_18);
    define ("jordan_matrix", GLUE_19);
    define ("toeplitz_matrix", GLUE_20);
    define ("hankel_matrix", GLUE_21);
    define ("tensor_matrix", GLUE_22);
    define ("vandermonde", GLUE_23);
    define ("-", GLUE_24);
    define ("square", GLUE_25);
    define ("+", GLUE_26);
    define ("-", GLUE_27);
    define ("*", GLUE_28);
    define ("+", GLUE_29);
    define ("+", GLUE_30);
    define ("-", GLUE_31);
    define ("-", GLUE_32);
    define ("*", GLUE_33);
    define ("*", GLUE_34);
    define ("*", GLUE_35);
    define ("*", GLUE_36);
    define ("/", GLUE_37);
    define ("/", GLUE_38);
    define ("krylov", GLUE_39);
    define ("det", GLUE_40);
    define ("row_echelon", GLUE_41);
    define ("column_echelon", GLUE_42);
    define ("row_reduced_echelon", GLUE_43);
    define ("column_reduced_echelon", GLUE_44);
    define ("row_reduced_echelon_with_transform", GLUE_45);
    define ("column_reduced_echelon_with_transform", GLUE_46);
    define ("column_reduced_echelon_with_permutation", GLUE_47);
    define ("ker", GLUE_48);
    define ("im", GLUE_49);
    define ("rank", GLUE_50);
    define ("invert", GLUE_51);
  }
}