glue/glue_polynomial_p_adic_modular_integer.cpp File Reference

#include <basix/int.hpp>
#include <basix/vector.hpp>
#include <basix/port.hpp>
#include <basix/literal.hpp>
#include <numerix/integer.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 <basix/compound.hpp>
#include <basix/mmx_syntax.hpp>
#include <basix/lisp_syntax.hpp>
#include <basix/cpp_syntax.hpp>
#include <basix/syntactic.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.

Classes

• struct polynomial_variant_helper< generic >

Namespaces

• namespace mmx

Defines

• #define int_literal(x)   as_int (as_string (x))
• #define is_generic_literal   is<literal>
• #define gen_literal_apply(f, v)   gen (as<generic> (f), v)
• #define gen_literal_access(f, v)   access (as<generic> (f), v)
• #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>
• #define is_generic_compound   is<compound>
• #define compound_arguments(x)   cdr (as_vector (x))
• #define gen_compound_apply(f, v)   gen (as<generic> (f), v)

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 bool GLUE_23 (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_24 (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_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 bool 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 bool GLUE_27 (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 bool GLUE_28 (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_29 (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_30 (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_31 (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_32 (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_33 (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_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 polynomial< 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, 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_36 (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_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 polynomial< series< mmx_modular(integer), series_carry_variant_helper< mmx_modular(integer) >::SV > > &arg_2, const int &arg_3)
• static vector< generic > GLUE_39 (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_40 (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_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< 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_43 (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_44 (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_45 (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_46 (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_47 (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_48 (const polynomial< mmx_modular(integer) > &arg_1)
• static polynomial< generic > GLUE_49 (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 compound_arguments

(

x

)

cdr (as_vector (x))

Definition at line 49 of file glue_polynomial_p_adic_modular_integer.cpp.

#define gen_compound_apply	(	f,
		v		)	gen (as<generic> (f), v)

Definition at line 50 of file glue_polynomial_p_adic_modular_integer.cpp.

#define gen_literal_access	(	f,
		v		)	access (as<generic> (f), v)

Definition at line 33 of file glue_polynomial_p_adic_modular_integer.cpp.

#define gen_literal_apply	(	f,
		v		)	gen (as<generic> (f), v)

Definition at line 32 of file glue_polynomial_p_adic_modular_integer.cpp.

#define int_literal

(

x

)

as_int (as_string (x))

Definition at line 30 of file glue_polynomial_p_adic_modular_integer.cpp.

#define is_generic_compound   is<compound>

Definition at line 48 of file glue_polynomial_p_adic_modular_integer.cpp.

#define is_generic_literal   is<literal>

Definition at line 31 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 36 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 46 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 35 of file glue_polynomial_p_adic_modular_integer.cpp.