/Users/mourrain/Devel/mmx/algebramix/include/algebramix/p_adic.hpp File Reference

#include <basix/pair.hpp>
#include <algebramix/p_expansion_modular_int.hpp>
#include <algebramix/p_expansion_modular_integer.hpp>
#include <algebramix/series_int.hpp>
#include <algebramix/series_integer.hpp>
#include <algebramix/series_modular_int.hpp>
#include <algebramix/series_modular_integer.hpp>
#include <algebramix/series_carry.hpp>
#include <algebramix/series_carry_relaxed.hpp>
#include <algebramix/series_carry_blocks.hpp>

Go to the source code of this file.

Classes

• struct series_carry_p_adic< V >
• struct implementation< V, U, series_carry_p_adic< W > >
• struct series_carry_modular_int_naive< V >
• struct implementation< V, W, series_carry_modular_int_naive< U > >
• struct implementation< series_multiply, U, series_carry_modular_int_naive< W > >
• class implementation< series_multiply, U, series_carry_modular_int_naive< W > >::mul_series_rep< M, V >
• struct ser_carry_pth_root_reg_op
• struct implementation< series_pth_root_reg, U, series_carry_p_adic< W > >
• struct implementation< series_pth_root, U, series_carry_p_adic< W > >
• struct implementation< series_pth_root_reg, U, series_carry_monoblock< W, s, BV, t > >
• struct series_carry_variant_helper< modular< modulus< signed char, V >, W > >
• struct series_carry_variant_helper< modular< modulus< unsigned char, V >, W > >
• struct series_carry_variant_helper< modular< modulus< short int, V >, W > >
• struct series_carry_variant_helper< modular< modulus< unsigned short, V >, W > >
• struct series_carry_variant_helper< modular< modulus< int, V >, W > >
• struct series_carry_variant_helper< modular< modulus< unsigned int, V >, W > >
• struct series_carry_variant_helper< modular< modulus< long int, V >, W > >
• struct series_carry_variant_helper< modular< modulus< unsigned long int, V >, W > >
• struct series_carry_variant_helper< modular< modulus< long long int, V >, W > >
• struct series_carry_variant_helper< modular< modulus< unsigned long long int, V >, W > >
• struct series_carry_variant_helper< modular< modulus< integer, V >, W > >

Namespaces

• namespace mmx

Defines

• #define P_adic_variant(M)   Series_carry_variant (M)
• #define p_adic(M, V)   series<M,V>
• #define default_p_adic(M)   p_adic(M, typename P_adic_variant(M))
• #define Series   series<M,V>
• #define Series_rep   series_rep<M,V>
• #define C   typename M::C
• #define TMPL   template<typename M,typename V>
• #define Pair   pair<integer,integer>
• #define IMPLEMENTATION_HELPER(C)

---

Define Documentation

#define C   typename M::C

Definition at line 35 of file p_adic.hpp.

#define default_p_adic

(

M

)

p_adic(M, typename P_adic_variant(M))

Definition at line 31 of file p_adic.hpp.

#define IMPLEMENTATION_HELPER

(

C

)

Value:

template<typename V,typename W>                                 \
  struct series_carry_variant_helper<modular<modulus<C,V>,W> > {        \
    typedef series_carry_p_adic<                                        \
      series_carry_relaxed<series_carry_naive> > SV; };

Definition at line 283 of file p_adic.hpp.

#define p_adic	(		M,
			V
	)		series<M,V>

Definition at line 30 of file p_adic.hpp.

#define P_adic_variant

(

M

)

Series_carry_variant (M)

Definition at line 29 of file p_adic.hpp.

#define Pair   pair<integer,integer>

Definition at line 132 of file p_adic.hpp.

Referenced by implementation< series_pth_root, U, series_carry_p_adic< W > >::unsep_root(), and implementation< series_pth_root_reg, U, series_carry_monoblock< W, s, BV, t > >::unsep_root_reg().

#define Series   series<M,V>

Examples:

fast_series_test.cpp, and series_test.cpp.

Definition at line 33 of file p_adic.hpp.

Referenced by ser_carry_pth_root_reg_op::binpow_no_tangent_normalized(), ser_carry_pth_root_reg_op::def(), implementation< series_multiply, U, series_carry_modular_int_naive< W > >::ser_mul(), implementation< series_multiply, U, series_carry_modular_int_naive< W > >::ser_truncate_mul(), and implementation< series_pth_root, U, series_carry_p_adic< W > >::unsep_root().

#define Series_rep   series_rep<M,V>

Definition at line 34 of file p_adic.hpp.

Referenced by implementation< series_multiply, U, series_carry_modular_int_naive< W > >::ser_mul(), and implementation< series_multiply, U, series_carry_modular_int_naive< W > >::ser_truncate_mul().

#define TMPL   template<typename M,typename V>

Definition at line 36 of file p_adic.hpp.