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

Go to the documentation of this file.

#include <numerix/integer.hpp>
#include <numerix/rational.hpp>
#include <numerix/complex.hpp>
#include <basix/vector.hpp>
#include <algebramix/polynomial.hpp>
#include <algebramix/polynomial_polynomial.hpp>
#include <algebramix/polynomial_integer.hpp>
#include <algebramix/polynomial_rational.hpp>
#include <algebramix/polynomial_complex.hpp>
#include <algebramix/polynomial_schonhage.hpp>
#include <basix/tuple.hpp>
#include <basix/glue.hpp>

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 }

namespace mmx {
  static polynomial<rational>
  GLUE_1 (const tuple<rational> &arg_1) {
    return polynomial_reverse (as_vector (arg_1));
  }
  
  static polynomial<rational>
  GLUE_2 (const tuple<rational> &arg_1) {
    return polynomial<rational > (as_vector (arg_1));
  }
  
  static void
  GLUE_3 (const polynomial<rational> &arg_1, const generic &arg_2) {
    set_variable_name (arg_1, arg_2);
  }
  
  static polynomial<rational>
  GLUE_4 (const rational &arg_1) {
    return polynomial<rational > (arg_1);
  }
  
  static iterator<generic>
  GLUE_5 (const polynomial<rational> &arg_1) {
    return as<iterator<generic> > (iterate (arg_1));
  }
  
  static int
  GLUE_6 (const polynomial<rational> &arg_1) {
    return N (arg_1);
  }
  
  static int
  GLUE_7 (const polynomial<rational> &arg_1) {
    return deg (arg_1);
  }
  
  static rational
  GLUE_8 (const polynomial<rational> &arg_1, const int &arg_2) {
    return arg_1[arg_2];
  }
  
  static polynomial<rational>
  GLUE_9 (const polynomial<rational> &arg_1) {
    return -arg_1;
  }
  
  static polynomial<rational>
  GLUE_10 (const polynomial<rational> &arg_1) {
    return square (arg_1);
  }
  
  static polynomial<rational>
  GLUE_11 (const polynomial<rational> &arg_1, const polynomial<rational> &arg_2) {
    return arg_1 + arg_2;
  }
  
  static polynomial<rational>
  GLUE_12 (const polynomial<rational> &arg_1, const polynomial<rational> &arg_2) {
    return arg_1 - arg_2;
  }
  
  static polynomial<rational>
  GLUE_13 (const polynomial<rational> &arg_1, const polynomial<rational> &arg_2) {
    return arg_1 * arg_2;
  }
  
  static polynomial<rational>
  GLUE_14 (const rational &arg_1, const polynomial<rational> &arg_2) {
    return arg_1 + arg_2;
  }
  
  static polynomial<rational>
  GLUE_15 (const polynomial<rational> &arg_1, const rational &arg_2) {
    return arg_1 + arg_2;
  }
  
  static polynomial<rational>
  GLUE_16 (const rational &arg_1, const polynomial<rational> &arg_2) {
    return arg_1 - arg_2;
  }
  
  static polynomial<rational>
  GLUE_17 (const polynomial<rational> &arg_1, const rational &arg_2) {
    return arg_1 - arg_2;
  }
  
  static polynomial<rational>
  GLUE_18 (const rational &arg_1, const polynomial<rational> &arg_2) {
    return arg_1 * arg_2;
  }
  
  static polynomial<rational>
  GLUE_19 (const polynomial<rational> &arg_1, const rational &arg_2) {
    return arg_1 * arg_2;
  }
  
  static polynomial<rational>
  GLUE_20 (const polynomial<rational> &arg_1, const int &arg_2) {
    return binpow (arg_1, arg_2);
  }
  
  static polynomial<rational>
  GLUE_21 (const polynomial<rational> &arg_1, const int &arg_2) {
    return lshiftz (arg_1, arg_2);
  }
  
  static polynomial<rational>
  GLUE_22 (const polynomial<rational> &arg_1, const int &arg_2) {
    return rshiftz (arg_1, arg_2);
  }
  
  static polynomial<rational>
  GLUE_23 (const polynomial<rational> &arg_1) {
    return derive (arg_1);
  }
  
  static polynomial<rational>
  GLUE_24 (const polynomial<rational> &arg_1) {
    return xderive (arg_1);
  }
  
  static rational
  GLUE_25 (const polynomial<rational> &arg_1, const rational &arg_2) {
    return evaluate (arg_1, arg_2);
  }
  
  static vector<rational>
  GLUE_26 (const polynomial<rational> &arg_1, const vector<rational> &arg_2) {
    return evaluate (arg_1, arg_2);
  }
  
  static rational
  GLUE_27 (const polynomial<rational> &arg_1, const rational &arg_2) {
    return evaluate (arg_1, arg_2);
  }
  
  static vector<rational>
  GLUE_28 (const polynomial<rational> &arg_1, const vector<rational> &arg_2) {
    return evaluate (arg_1, arg_2);
  }
  
  static polynomial<rational>
  GLUE_29 (const polynomial<rational> &arg_1, const rational &arg_2) {
    return arg_1 / arg_2;
  }
  
  static polynomial<rational>
  GLUE_30 (const polynomial<rational> &arg_1, const polynomial<rational> &arg_2) {
    return arg_1 / arg_2;
  }
  
  static polynomial<rational>
  GLUE_31 (const polynomial<rational> &arg_1, const polynomial<rational> &arg_2) {
    return quo (arg_1, arg_2);
  }
  
  static polynomial<rational>
  GLUE_32 (const polynomial<rational> &arg_1, const polynomial<rational> &arg_2) {
    return rem (arg_1, arg_2);
  }
  
  static bool
  GLUE_33 (const polynomial<rational> &arg_1, const polynomial<rational> &arg_2) {
    return divides (arg_1, arg_2);
  }
  
  static polynomial<rational>
  GLUE_34 (const polynomial<rational> &arg_1, const polynomial<rational> &arg_2, const int &arg_3) {
    return subresultant (arg_1, arg_2, arg_3);
  }
  
  static vector<generic>
  GLUE_35 (const polynomial<rational> &arg_1, const polynomial<rational> &arg_2) {
    return wrap_subresultants (arg_1, arg_2);
  }
  
  static rational
  GLUE_36 (const polynomial<rational> &arg_1, const polynomial<rational> &arg_2) {
    return resultant (arg_1, arg_2);
  }
  
  static rational
  GLUE_37 (const polynomial<rational> &arg_1) {
    return discriminant (arg_1);
  }
  
  static polynomial<rational>
  GLUE_38 (const polynomial<rational> &arg_1) {
    return integrate (arg_1);
  }
  
  static polynomial<rational>
  GLUE_39 (const polynomial<rational> &arg_1, const polynomial<rational> &arg_2) {
    return compose (arg_1, arg_2);
  }
  
  static polynomial<rational>
  GLUE_40 (const polynomial<rational> &arg_1, const rational &arg_2) {
    return q_difference (arg_1, arg_2);
  }
  
  static polynomial<rational>
  GLUE_41 (const polynomial<rational> &arg_1, const int &arg_2) {
    return dilate (arg_1, arg_2);
  }
  
  static polynomial<rational>
  GLUE_42 (const vector<rational> &arg_1) {
    return annulator (arg_1);
  }
  
  static polynomial<rational>
  GLUE_43 (const vector<rational> &arg_1, const vector<rational> &arg_2) {
    return interpolate (arg_1, arg_2);
  }
  
  static polynomial<rational>
  GLUE_44 (const polynomial<rational> &arg_1, const rational &arg_2) {
    return shift (arg_1, arg_2);
  }
  
  static polynomial<rational>
  GLUE_45 (const polynomial<rational> &arg_1) {
    return graeffe (arg_1);
  }
  
  static rational
  GLUE_46 (const polynomial<rational> &arg_1) {
    return contents (arg_1);
  }
  
  static polynomial<rational>
  GLUE_47 (const polynomial<rational> &arg_1) {
    return primitive_part (arg_1);
  }
  
  static polynomial<rational>
  GLUE_48 (const polynomial<rational> &arg_1, const polynomial<rational> &arg_2) {
    return gcd (arg_1, arg_2);
  }
  
  static polynomial<rational>
  GLUE_49 (const polynomial<rational> &arg_1, const polynomial<rational> &arg_2) {
    return lcm (arg_1, arg_2);
  }
  
  static polynomial<rational>
  GLUE_50 (const polynomial<integer> &arg_1) {
    return as<polynomial<rational> > (arg_1);
  }
  
  static polynomial<generic>
  GLUE_51 (const polynomial<rational> &arg_1) {
    return as<polynomial<generic> > (arg_1);
  }
  
  static polynomial<complex<rational> >
  GLUE_52 (const tuple<complex<rational> > &arg_1) {
    return polynomial_reverse (as_vector (arg_1));
  }
  
  static polynomial<complex<rational> >
  GLUE_53 (const tuple<complex<rational> > &arg_1) {
    return polynomial<complex<rational> > (as_vector (arg_1));
  }
  
  static void
  GLUE_54 (const polynomial<complex<rational> > &arg_1, const generic &arg_2) {
    set_variable_name (arg_1, arg_2);
  }
  
  static polynomial<complex<rational> >
  GLUE_55 (const complex<rational> &arg_1) {
    return polynomial<complex<rational> > (arg_1);
  }
  
  static iterator<generic>
  GLUE_56 (const polynomial<complex<rational> > &arg_1) {
    return as<iterator<generic> > (iterate (arg_1));
  }
  
  static int
  GLUE_57 (const polynomial<complex<rational> > &arg_1) {
    return N (arg_1);
  }
  
  static int
  GLUE_58 (const polynomial<complex<rational> > &arg_1) {
    return deg (arg_1);
  }
  
  static complex<rational>
  GLUE_59 (const polynomial<complex<rational> > &arg_1, const int &arg_2) {
    return arg_1[arg_2];
  }
  
  static polynomial<complex<rational> >
  GLUE_60 (const polynomial<complex<rational> > &arg_1) {
    return -arg_1;
  }
  
  static polynomial<complex<rational> >
  GLUE_61 (const polynomial<complex<rational> > &arg_1) {
    return square (arg_1);
  }
  
  static polynomial<complex<rational> >
  GLUE_62 (const polynomial<complex<rational> > &arg_1, const polynomial<complex<rational> > &arg_2) {
    return arg_1 + arg_2;
  }
  
  static polynomial<complex<rational> >
  GLUE_63 (const polynomial<complex<rational> > &arg_1, const polynomial<complex<rational> > &arg_2) {
    return arg_1 - arg_2;
  }
  
  static polynomial<complex<rational> >
  GLUE_64 (const polynomial<complex<rational> > &arg_1, const polynomial<complex<rational> > &arg_2) {
    return arg_1 * arg_2;
  }
  
  static polynomial<complex<rational> >
  GLUE_65 (const complex<rational> &arg_1, const polynomial<complex<rational> > &arg_2) {
    return arg_1 + arg_2;
  }
  
  static polynomial<complex<rational> >
  GLUE_66 (const polynomial<complex<rational> > &arg_1, const complex<rational> &arg_2) {
    return arg_1 + arg_2;
  }
  
  static polynomial<complex<rational> >
  GLUE_67 (const complex<rational> &arg_1, const polynomial<complex<rational> > &arg_2) {
    return arg_1 - arg_2;
  }
  
  static polynomial<complex<rational> >
  GLUE_68 (const polynomial<complex<rational> > &arg_1, const complex<rational> &arg_2) {
    return arg_1 - arg_2;
  }
  
  static polynomial<complex<rational> >
  GLUE_69 (const complex<rational> &arg_1, const polynomial<complex<rational> > &arg_2) {
    return arg_1 * arg_2;
  }
  
  static polynomial<complex<rational> >
  GLUE_70 (const polynomial<complex<rational> > &arg_1, const complex<rational> &arg_2) {
    return arg_1 * arg_2;
  }
  
  static polynomial<complex<rational> >
  GLUE_71 (const polynomial<complex<rational> > &arg_1, const int &arg_2) {
    return binpow (arg_1, arg_2);
  }
  
  static polynomial<complex<rational> >
  GLUE_72 (const polynomial<complex<rational> > &arg_1, const int &arg_2) {
    return lshiftz (arg_1, arg_2);
  }
  
  static polynomial<complex<rational> >
  GLUE_73 (const polynomial<complex<rational> > &arg_1, const int &arg_2) {
    return rshiftz (arg_1, arg_2);
  }
  
  static polynomial<complex<rational> >
  GLUE_74 (const polynomial<complex<rational> > &arg_1) {
    return derive (arg_1);
  }
  
  static polynomial<complex<rational> >
  GLUE_75 (const polynomial<complex<rational> > &arg_1) {
    return xderive (arg_1);
  }
  
  static complex<rational>
  GLUE_76 (const polynomial<complex<rational> > &arg_1, const complex<rational> &arg_2) {
    return evaluate (arg_1, arg_2);
  }
  
  static vector<complex<rational> >
  GLUE_77 (const polynomial<complex<rational> > &arg_1, const vector<complex<rational> > &arg_2) {
    return evaluate (arg_1, arg_2);
  }
  
  static complex<rational>
  GLUE_78 (const polynomial<complex<rational> > &arg_1, const complex<rational> &arg_2) {
    return evaluate (arg_1, arg_2);
  }
  
  static vector<complex<rational> >
  GLUE_79 (const polynomial<complex<rational> > &arg_1, const vector<complex<rational> > &arg_2) {
    return evaluate (arg_1, arg_2);
  }
  
  static polynomial<complex<rational> >
  GLUE_80 (const polynomial<complex<rational> > &arg_1, const complex<rational> &arg_2) {
    return arg_1 / arg_2;
  }
  
  static polynomial<complex<rational> >
  GLUE_81 (const polynomial<complex<rational> > &arg_1, const polynomial<complex<rational> > &arg_2) {
    return arg_1 / arg_2;
  }
  
  static polynomial<complex<rational> >
  GLUE_82 (const polynomial<complex<rational> > &arg_1, const polynomial<complex<rational> > &arg_2) {
    return quo (arg_1, arg_2);
  }
  
  static polynomial<complex<rational> >
  GLUE_83 (const polynomial<complex<rational> > &arg_1, const polynomial<complex<rational> > &arg_2) {
    return rem (arg_1, arg_2);
  }
  
  static bool
  GLUE_84 (const polynomial<complex<rational> > &arg_1, const polynomial<complex<rational> > &arg_2) {
    return divides (arg_1, arg_2);
  }
  
  static polynomial<complex<rational> >
  GLUE_85 (const polynomial<complex<rational> > &arg_1, const polynomial<complex<rational> > &arg_2, const int &arg_3) {
    return subresultant (arg_1, arg_2, arg_3);
  }
  
  static vector<generic>
  GLUE_86 (const polynomial<complex<rational> > &arg_1, const polynomial<complex<rational> > &arg_2) {
    return wrap_subresultants (arg_1, arg_2);
  }
  
  static complex<rational>
  GLUE_87 (const polynomial<complex<rational> > &arg_1, const polynomial<complex<rational> > &arg_2) {
    return resultant (arg_1, arg_2);
  }
  
  static complex<rational>
  GLUE_88 (const polynomial<complex<rational> > &arg_1) {
    return discriminant (arg_1);
  }
  
  static polynomial<complex<rational> >
  GLUE_89 (const polynomial<complex<rational> > &arg_1) {
    return integrate (arg_1);
  }
  
  static polynomial<complex<rational> >
  GLUE_90 (const polynomial<complex<rational> > &arg_1, const polynomial<complex<rational> > &arg_2) {
    return compose (arg_1, arg_2);
  }
  
  static polynomial<complex<rational> >
  GLUE_91 (const polynomial<complex<rational> > &arg_1, const complex<rational> &arg_2) {
    return q_difference (arg_1, arg_2);
  }
  
  static polynomial<complex<rational> >
  GLUE_92 (const polynomial<complex<rational> > &arg_1, const int &arg_2) {
    return dilate (arg_1, arg_2);
  }
  
  static polynomial<complex<rational> >
  GLUE_93 (const vector<complex<rational> > &arg_1) {
    return annulator (arg_1);
  }
  
  static polynomial<complex<rational> >
  GLUE_94 (const vector<complex<rational> > &arg_1, const vector<complex<rational> > &arg_2) {
    return interpolate (arg_1, arg_2);
  }
  
  static polynomial<complex<rational> >
  GLUE_95 (const polynomial<complex<rational> > &arg_1, const complex<rational> &arg_2) {
    return shift (arg_1, arg_2);
  }
  
  static polynomial<complex<rational> >
  GLUE_96 (const polynomial<complex<rational> > &arg_1) {
    return graeffe (arg_1);
  }
  
  static polynomial<complex<rational> >
  GLUE_97 (const polynomial<integer> &arg_1) {
    return as<polynomial<complex<rational> > > (arg_1);
  }
  
  static polynomial<complex<rational> >
  GLUE_98 (const polynomial<rational> &arg_1) {
    return as<polynomial<complex<rational> > > (arg_1);
  }
  
  static polynomial<generic>
  GLUE_99 (const polynomial<complex<rational> > &arg_1) {
    return as<polynomial<generic> > (arg_1);
  }
  
  void
  glue_polynomial_rational () {
    static bool done = false;
    if (done) return;
    done = true;
    call_glue (string ("glue_vector_rational"));
    call_glue (string ("glue_polynomial_integer"));
    define_type<polynomial<rational> > (gen (lit ("Polynomial"), lit ("Rational")));
    define ("poly", GLUE_1);
    define ("polynomial", GLUE_2);
    define ("set_variable_name", GLUE_3);
    define_converter ("upgrade", GLUE_4, PENALTY_INCLUSION);
    define_converter (":>", GLUE_5, PENALTY_CAST);
    define ("#", GLUE_6);
    define ("deg", GLUE_7);
    define (".[]", GLUE_8);
    define ("-", GLUE_9);
    define ("square", GLUE_10);
    define ("+", 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 ("derive", GLUE_23);
    define ("xderive", GLUE_24);
    define ("eval", GLUE_25);
    define ("eval", GLUE_26);
    define ("evaluate", GLUE_27);
    define ("evaluate", GLUE_28);
    define ("/", GLUE_29);
    define ("div", GLUE_30);
    define ("quo", GLUE_31);
    define ("rem", GLUE_32);
    define ("divides?", GLUE_33);
    define ("subresultant", GLUE_34);
    define ("subresultants", GLUE_35);
    define ("resultant", GLUE_36);
    define ("discriminant", GLUE_37);
    define ("integrate", GLUE_38);
    define ("@", GLUE_39);
    define ("q_difference", GLUE_40);
    define ("dilate", GLUE_41);
    define ("annulator", GLUE_42);
    define ("interpolate", GLUE_43);
    define ("shift", GLUE_44);
    define ("graeffe", GLUE_45);
    define ("contents", GLUE_46);
    define ("primitive_part", GLUE_47);
    define ("gcd", GLUE_48);
    define ("lcm", GLUE_49);
    define_converter (":>", GLUE_50, PENALTY_INCLUSION);
    define_converter (":>", GLUE_51, PENALTY_PROMOTE_GENERIC);
    define_type<polynomial<complex<rational> > > (gen (lit ("Polynomial"), gen (lit ("Complex"), lit ("Rational"))));
    define ("poly", GLUE_52);
    define ("polynomial", GLUE_53);
    define ("set_variable_name", GLUE_54);
    define_converter ("upgrade", GLUE_55, PENALTY_INCLUSION);
    define_converter (":>", GLUE_56, PENALTY_CAST);
    define ("#", GLUE_57);
    define ("deg", GLUE_58);
    define (".[]", GLUE_59);
    define ("-", GLUE_60);
    define ("square", 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 ("<<", GLUE_72);
    define (">>", GLUE_73);
    define ("derive", GLUE_74);
    define ("xderive", GLUE_75);
    define ("eval", GLUE_76);
    define ("eval", GLUE_77);
    define ("evaluate", GLUE_78);
    define ("evaluate", GLUE_79);
    define ("/", GLUE_80);
    define ("div", GLUE_81);
    define ("quo", GLUE_82);
    define ("rem", GLUE_83);
    define ("divides?", GLUE_84);
    define ("subresultant", GLUE_85);
    define ("subresultants", GLUE_86);
    define ("resultant", GLUE_87);
    define ("discriminant", GLUE_88);
    define ("integrate", GLUE_89);
    define ("@", GLUE_90);
    define ("q_difference", GLUE_91);
    define ("dilate", GLUE_92);
    define ("annulator", GLUE_93);
    define ("interpolate", GLUE_94);
    define ("shift", GLUE_95);
    define ("graeffe", GLUE_96);
    define_converter (":>", GLUE_97, PENALTY_INCLUSION);
    define_converter (":>", GLUE_98, PENALTY_INCLUSION);
    define_converter (":>", GLUE_99, PENALTY_PROMOTE_GENERIC);
  }
}