/Users/mourrain/Devel/mmx/algebramix/glue/glue_polynomial_p_adic_modular_integer.cpp File Reference

#include <basix/vector.hpp>
#include <numerix/integer.hpp>
#include <basix/int.hpp>
#include <numerix/modular.hpp>
#include <numerix/modular_integer.hpp>
#include <algebramix/vector_unrolled.hpp>
#include <algebramix/vector_simd.hpp>
#include <algebramix/vector_modular.hpp>
#include <algebramix/p_expansion.hpp>
#include <algebramix/p_expansion_modular_integer.hpp>
#include <algebramix/p_adic.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_p_adic.hpp>
#include <algebramix/polynomial_schonhage.hpp>
#include <basix/tuple.hpp>
#include <basix/glue.hpp>

Go to the source code of this file.

Namespaces

• namespace mmx

Defines

• #define int_literal(x)   as_int (as_string (x))
• #define simple_p_expansion(C)   polynomial<C, polynomial_carry_variant_helper<C>::PV>
• #define simple_as_p_expansion(C)   as_p_expansion<C,Modulus_variant(C),modular_local>
• #define simple_p_adic(C)   series<C, series_carry_variant_helper<C>::SV>

Functions

• static polynomial< mmx_modular(integer),
  polynomial_carry_variant_helper
  < mmx_modular(integer) >::PV > integer_as_p_expansion (const integer &c, const modulus< integer > &p)
• template<typename C > polynomial< C > polynomial_reverse (const vector< C > &v)
• template<typename C > polynomial< modular< modulus
  < C >, modular_local > > as_polynomial_modular (const polynomial< C > &f, const modulus< C > &p)
• template<typename C > vector< generic > wrap_subresultants (const polynomial< C > &f, const polynomial< C > &g)
• static polynomial< series
  < mmx_modular(integer),
  series_carry_variant_helper
  < mmx_modular(integer) >::SV > > GLUE_1 (const tuple< series< mmx_modular(integer), series_carry_variant_helper< mmx_modular(integer) >::SV > > &arg_1)
• static polynomial< series
  < mmx_modular(integer),
  series_carry_variant_helper
  < mmx_modular(integer) >::SV > > GLUE_2 (const tuple< series< mmx_modular(integer), series_carry_variant_helper< mmx_modular(integer) >::SV > > &arg_1)
• static void GLUE_3 (const polynomial< series< mmx_modular(integer), series_carry_variant_helper< mmx_modular(integer) >::SV > > &arg_1, const generic &arg_2)
• static polynomial< series
  < mmx_modular(integer),
  series_carry_variant_helper
  < mmx_modular(integer) >::SV > > GLUE_4 (const series< mmx_modular(integer), series_carry_variant_helper< mmx_modular(integer) >::SV > &arg_1)
• static iterator< generic > GLUE_5 (const polynomial< series< mmx_modular(integer), series_carry_variant_helper< mmx_modular(integer) >::SV > > &arg_1)
• static int GLUE_6 (const polynomial< series< mmx_modular(integer), series_carry_variant_helper< mmx_modular(integer) >::SV > > &arg_1)
• static int GLUE_7 (const polynomial< series< mmx_modular(integer), series_carry_variant_helper< mmx_modular(integer) >::SV > > &arg_1)
• static series< mmx_modular(integer),
  series_carry_variant_helper
  < mmx_modular(integer) >::SV > GLUE_8 (const polynomial< series< mmx_modular(integer), series_carry_variant_helper< mmx_modular(integer) >::SV > > &arg_1, const int &arg_2)
• static polynomial< series
  < mmx_modular(integer),
  series_carry_variant_helper
  < mmx_modular(integer) >::SV > > GLUE_9 (const polynomial< series< mmx_modular(integer), series_carry_variant_helper< mmx_modular(integer) >::SV > > &arg_1)
• static polynomial< series
  < mmx_modular(integer),
  series_carry_variant_helper
  < mmx_modular(integer) >::SV > > GLUE_10 (const polynomial< series< mmx_modular(integer), series_carry_variant_helper< mmx_modular(integer) >::SV > > &arg_1)
• static polynomial< series
  < mmx_modular(integer),
  series_carry_variant_helper
  < mmx_modular(integer) >::SV > > GLUE_11 (const polynomial< series< mmx_modular(integer), series_carry_variant_helper< mmx_modular(integer) >::SV > > &arg_1, const polynomial< series< mmx_modular(integer), series_carry_variant_helper< mmx_modular(integer) >::SV > > &arg_2)
• static polynomial< series
  < mmx_modular(integer),
  series_carry_variant_helper
  < mmx_modular(integer) >::SV > > GLUE_12 (const polynomial< series< mmx_modular(integer), series_carry_variant_helper< mmx_modular(integer) >::SV > > &arg_1, const polynomial< series< mmx_modular(integer), series_carry_variant_helper< mmx_modular(integer) >::SV > > &arg_2)
• static polynomial< series
  < mmx_modular(integer),
  series_carry_variant_helper
  < mmx_modular(integer) >::SV > > GLUE_13 (const polynomial< series< mmx_modular(integer), series_carry_variant_helper< mmx_modular(integer) >::SV > > &arg_1, const polynomial< series< mmx_modular(integer), series_carry_variant_helper< mmx_modular(integer) >::SV > > &arg_2)
• static polynomial< series
  < mmx_modular(integer),
  series_carry_variant_helper
  < mmx_modular(integer) >::SV > > GLUE_14 (const series< mmx_modular(integer), series_carry_variant_helper< mmx_modular(integer) >::SV > &arg_1, const polynomial< series< mmx_modular(integer), series_carry_variant_helper< mmx_modular(integer) >::SV > > &arg_2)
• static polynomial< series
  < mmx_modular(integer),
  series_carry_variant_helper
  < mmx_modular(integer) >::SV > > GLUE_15 (const polynomial< series< mmx_modular(integer), series_carry_variant_helper< mmx_modular(integer) >::SV > > &arg_1, const series< mmx_modular(integer), series_carry_variant_helper< mmx_modular(integer) >::SV > &arg_2)
• static polynomial< series
  < mmx_modular(integer),
  series_carry_variant_helper
  < mmx_modular(integer) >::SV > > GLUE_16 (const series< mmx_modular(integer), series_carry_variant_helper< mmx_modular(integer) >::SV > &arg_1, const polynomial< series< mmx_modular(integer), series_carry_variant_helper< mmx_modular(integer) >::SV > > &arg_2)
• static polynomial< series
  < mmx_modular(integer),
  series_carry_variant_helper
  < mmx_modular(integer) >::SV > > GLUE_17 (const polynomial< series< mmx_modular(integer), series_carry_variant_helper< mmx_modular(integer) >::SV > > &arg_1, const series< mmx_modular(integer), series_carry_variant_helper< mmx_modular(integer) >::SV > &arg_2)
• static polynomial< series
  < mmx_modular(integer),
  series_carry_variant_helper
  < mmx_modular(integer) >::SV > > GLUE_18 (const series< mmx_modular(integer), series_carry_variant_helper< mmx_modular(integer) >::SV > &arg_1, const polynomial< series< mmx_modular(integer), series_carry_variant_helper< mmx_modular(integer) >::SV > > &arg_2)
• static polynomial< series
  < mmx_modular(integer),
  series_carry_variant_helper
  < mmx_modular(integer) >::SV > > GLUE_19 (const polynomial< series< mmx_modular(integer), series_carry_variant_helper< mmx_modular(integer) >::SV > > &arg_1, const series< mmx_modular(integer), series_carry_variant_helper< mmx_modular(integer) >::SV > &arg_2)
• static polynomial< series
  < mmx_modular(integer),
  series_carry_variant_helper
  < mmx_modular(integer) >::SV > > GLUE_20 (const polynomial< series< mmx_modular(integer), series_carry_variant_helper< mmx_modular(integer) >::SV > > &arg_1, const int &arg_2)
• static polynomial< series
  < mmx_modular(integer),
  series_carry_variant_helper
  < mmx_modular(integer) >::SV > > GLUE_21 (const polynomial< series< mmx_modular(integer), series_carry_variant_helper< mmx_modular(integer) >::SV > > &arg_1, const int &arg_2)
• static polynomial< series
  < mmx_modular(integer),
  series_carry_variant_helper
  < mmx_modular(integer) >::SV > > GLUE_22 (const polynomial< series< mmx_modular(integer), series_carry_variant_helper< mmx_modular(integer) >::SV > > &arg_1, const int &arg_2)
• static polynomial< series
  < mmx_modular(integer),
  series_carry_variant_helper
  < mmx_modular(integer) >::SV > > GLUE_23 (const polynomial< series< mmx_modular(integer), series_carry_variant_helper< mmx_modular(integer) >::SV > > &arg_1)
• static polynomial< series
  < mmx_modular(integer),
  series_carry_variant_helper
  < mmx_modular(integer) >::SV > > GLUE_24 (const polynomial< series< mmx_modular(integer), series_carry_variant_helper< mmx_modular(integer) >::SV > > &arg_1)
• static series< mmx_modular(integer),
  series_carry_variant_helper
  < mmx_modular(integer) >::SV > GLUE_25 (const polynomial< series< mmx_modular(integer), series_carry_variant_helper< mmx_modular(integer) >::SV > > &arg_1, const series< mmx_modular(integer), series_carry_variant_helper< mmx_modular(integer) >::SV > &arg_2)
• static series< mmx_modular(integer),
  series_carry_variant_helper
  < mmx_modular(integer) >::SV > GLUE_26 (const polynomial< series< mmx_modular(integer), series_carry_variant_helper< mmx_modular(integer) >::SV > > &arg_1, const series< mmx_modular(integer), series_carry_variant_helper< mmx_modular(integer) >::SV > &arg_2)
• static polynomial< series
  < mmx_modular(integer),
  series_carry_variant_helper
  < mmx_modular(integer) >::SV > > GLUE_27 (const polynomial< series< mmx_modular(integer), series_carry_variant_helper< mmx_modular(integer) >::SV > > &arg_1, const series< mmx_modular(integer), series_carry_variant_helper< mmx_modular(integer) >::SV > &arg_2)
• static polynomial< series
  < mmx_modular(integer),
  series_carry_variant_helper
  < mmx_modular(integer) >::SV > > GLUE_28 (const polynomial< series< mmx_modular(integer), series_carry_variant_helper< mmx_modular(integer) >::SV > > &arg_1, const polynomial< series< mmx_modular(integer), series_carry_variant_helper< mmx_modular(integer) >::SV > > &arg_2)
• static polynomial< series
  < mmx_modular(integer),
  series_carry_variant_helper
  < mmx_modular(integer) >::SV > > GLUE_29 (const polynomial< series< mmx_modular(integer), series_carry_variant_helper< mmx_modular(integer) >::SV > > &arg_1, const polynomial< series< mmx_modular(integer), series_carry_variant_helper< mmx_modular(integer) >::SV > > &arg_2)
• static polynomial< series
  < mmx_modular(integer),
  series_carry_variant_helper
  < mmx_modular(integer) >::SV > > GLUE_30 (const polynomial< series< mmx_modular(integer), series_carry_variant_helper< mmx_modular(integer) >::SV > > &arg_1, const polynomial< series< mmx_modular(integer), series_carry_variant_helper< mmx_modular(integer) >::SV > > &arg_2)
• static bool GLUE_31 (const polynomial< series< mmx_modular(integer), series_carry_variant_helper< mmx_modular(integer) >::SV > > &arg_1, const polynomial< series< mmx_modular(integer), series_carry_variant_helper< mmx_modular(integer) >::SV > > &arg_2)
• static polynomial< series
  < mmx_modular(integer),
  series_carry_variant_helper
  < mmx_modular(integer) >::SV > > GLUE_32 (const polynomial< series< mmx_modular(integer), series_carry_variant_helper< mmx_modular(integer) >::SV > > &arg_1, const polynomial< series< mmx_modular(integer), series_carry_variant_helper< mmx_modular(integer) >::SV > > &arg_2, const int &arg_3)
• static vector< generic > GLUE_33 (const polynomial< series< mmx_modular(integer), series_carry_variant_helper< mmx_modular(integer) >::SV > > &arg_1, const polynomial< series< mmx_modular(integer), series_carry_variant_helper< mmx_modular(integer) >::SV > > &arg_2)
• static series< mmx_modular(integer),
  series_carry_variant_helper
  < mmx_modular(integer) >::SV > GLUE_34 (const polynomial< series< mmx_modular(integer), series_carry_variant_helper< mmx_modular(integer) >::SV > > &arg_1, const polynomial< series< mmx_modular(integer), series_carry_variant_helper< mmx_modular(integer) >::SV > > &arg_2)
• static series< mmx_modular(integer),
  series_carry_variant_helper
  < mmx_modular(integer) >::SV > GLUE_35 (const polynomial< series< mmx_modular(integer), series_carry_variant_helper< mmx_modular(integer) >::SV > > &arg_1)
• static polynomial< series
  < mmx_modular(integer),
  series_carry_variant_helper
  < mmx_modular(integer) >::SV > > GLUE_36 (const polynomial< series< mmx_modular(integer), series_carry_variant_helper< mmx_modular(integer) >::SV > > &arg_1)
• static polynomial< series
  < mmx_modular(integer),
  series_carry_variant_helper
  < mmx_modular(integer) >::SV > > GLUE_37 (const polynomial< series< mmx_modular(integer), series_carry_variant_helper< mmx_modular(integer) >::SV > > &arg_1, const polynomial< series< mmx_modular(integer), series_carry_variant_helper< mmx_modular(integer) >::SV > > &arg_2)
• static polynomial< series
  < mmx_modular(integer),
  series_carry_variant_helper
  < mmx_modular(integer) >::SV > > GLUE_38 (const polynomial< series< mmx_modular(integer), series_carry_variant_helper< mmx_modular(integer) >::SV > > &arg_1, const series< mmx_modular(integer), series_carry_variant_helper< mmx_modular(integer) >::SV > &arg_2)
• static polynomial< series
  < mmx_modular(integer),
  series_carry_variant_helper
  < mmx_modular(integer) >::SV > > GLUE_39 (const polynomial< series< mmx_modular(integer), series_carry_variant_helper< mmx_modular(integer) >::SV > > &arg_1, const int &arg_2)
• static polynomial< series
  < mmx_modular(integer),
  series_carry_variant_helper
  < mmx_modular(integer) >::SV > > GLUE_40 (const polynomial< series< mmx_modular(integer), series_carry_variant_helper< mmx_modular(integer) >::SV > > &arg_1, const series< mmx_modular(integer), series_carry_variant_helper< mmx_modular(integer) >::SV > &arg_2)
• static polynomial< series
  < mmx_modular(integer),
  series_carry_variant_helper
  < mmx_modular(integer) >::SV > > GLUE_41 (const polynomial< series< mmx_modular(integer), series_carry_variant_helper< mmx_modular(integer) >::SV > > &arg_1)
• static polynomial< series
  < mmx_modular(integer),
  series_carry_variant_helper
  < mmx_modular(integer) >::SV > > GLUE_42 (const polynomial< mmx_modular(integer) > &arg_1)
• static polynomial< generic > GLUE_43 (const polynomial< series< mmx_modular(integer), series_carry_variant_helper< mmx_modular(integer) >::SV > > &arg_1)
• void glue_polynomial_p_adic_modular_integer ()

---

Define Documentation

#define int_literal

(

x

)

as_int (as_string (x))

Definition at line 23 of file glue_polynomial_p_adic_modular_integer.cpp.

#define simple_as_p_expansion

(

C

)

as_p_expansion<C,Modulus_variant(C),modular_local>

Definition at line 26 of file glue_polynomial_p_adic_modular_integer.cpp.

#define simple_p_adic

(

C

)

series<C, series_carry_variant_helper<C>::SV>

Definition at line 36 of file glue_polynomial_p_adic_modular_integer.cpp.

#define simple_p_expansion

(

C

)

polynomial<C, polynomial_carry_variant_helper<C>::PV>

Definition at line 25 of file glue_polynomial_p_adic_modular_integer.cpp.