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

#include <basix/vector.hpp>
#include <numerix/modular.hpp>

Go to the source code of this file.

Classes

• struct size_bound_in_base_helper< C, I >
• struct std_base_naive< C, I >
• struct base_naive
• struct base_naive_variant_helper< C >
• struct base_transform
• struct implementation< base_transform, V, base_naive >
• struct base_signed< V >
• struct implementation< F, V, base_signed< W > >
• struct implementation< base_transform, V, base_signed< W > >
• struct base_naive_transformer< C, S, V >

Namespaces

• namespace mmx

Defines

• #define Base_naive_variant(C)   base_naive_variant_helper<C>::BV
• #define C   typename Baser::base
• #define I   typename Baser::modulus_base
• #define M

Functions

• template<typename Baser > nat size_bound (const typename Baser::base &a, Baser &baser)
• template<typename Baser > nat direct_base (typename Baser::modulus_base *dest, nat n, const typename Baser::base &s, Baser &baser)
• template<typename Baser , typename W > void direct_base (vector< typename Baser::modulus_base, W > &dest, const typename Baser::base &s, Baser &baser)
• template<typename Baser > vector< typename
  Baser::modulus_base > direct_base (const typename Baser::base &s, Baser &baser)
• template<typename Baser > void inverse_base (typename Baser::base &d, const typename Baser::modulus_base *src, nat n, Baser &baser)
• template<typename Baser , typename W > void inverse_base (typename Baser::base &d, const vector< typename Baser::modulus_base, W > &src, Baser &baser)
• template<typename Baser , typename W > Baser::base inverse_base (const vector< typename Baser::modulus_base, W > &src, Baser &baser)

---

Define Documentation

#define Base_naive_variant

(

C

)

base_naive_variant_helper<C>::BV

Definition at line 49 of file base_naive.hpp.

#define C   typename Baser::base

Definition at line 148 of file base_naive.hpp.

#define I   typename Baser::modulus_base

Examples:

base_test.cpp, and crt_test.cpp.

Definition at line 149 of file base_naive.hpp.

Referenced by ser_carry_separable_root_op::binpow_no_tangent(), mmx::decode_kronecker_int(), mmx::DEFINE_VARIANT(), implementation< base_transform, V, base_signed< base_dicho< W > > >::direct(), mmx::direct_base(), implementation< crt_transform, V, crt_int >::inverse(), implementation< matrix_multiply, V, matrix_crt< W > >::mat_direct_crt(), implementation< matrix_multiply, V, matrix_crt< W > >::mat_inverse_crt(), primitive_root_helper_modular_int< long int, V, W >::max_order(), implementation< matrix_multiply, V, matrix_crt< W > >::mul(), mmx::mul_kronecker(), mmx::mul_kronecker_int(), primitive_root_helper_modular_int< long int, V, W >::op(), mmx::primitive_root_max_int(), mmx::square_kronecker(), and mmx::square_kronecker_int().

#define M

Value:

modulus<typename Baser::modulus_base,\
                  typename Baser::modulus_base_variant>

Examples:

base_test.cpp, crt_test.cpp, matrix_test.cpp, pivot_test.cpp, and polynomial_modular_test.cpp.

Definition at line 150 of file base_naive.hpp.

Referenced by root_series_rep< M, V >::_derive(), system_root_series_rep< M, V, W >::_eps(), root_series_rep< M, V >::_eps(), system_root_series_rep< M, V, W >::_ev_der(), ser_carry_separable_root_op::binpow_no_tangent(), ser_carry_pth_root_reg_op::binpow_no_tangent_normalized(), ser_carry_separable_root_op::def(), ser_carry_pth_root_reg_op::def(), probable_prime_sequence_int< s >::extend(), fft_prime_sequence_int< s >::extend(), prime_sequence_int::extend(), implementation< series_divide, U, series_carry_naive >::div_series_rep< M, V >::initialize(), implementation< series_divide, U, series_carry_naive >::rdiv_sc_series_rep< M, V, X >::initialize(), implementation< series_multiply, U, series_carry_relaxed< W > >::mul_series_rep< M, V >::next(), implementation< series_divide, U, series_carry_naive >::carry_mul_sc_series_rep< M, V, X >::next(), implementation< series_multiply, U, series_carry_lift< W > >::truncate_mul_series_rep< M, V >::next(), implementation< series_multiply, U, series_carry_lift< W > >::mul_series_rep< M, V >::next(), mmx::rec_square(), implementation< series_separable_root, U, series_carry_naive >::sep_root(), implementation< series_separable_root, U, series_carry_monoblock< W, s, BV, t > >::sep_root(), implementation< series_separable_root, U, series_carry_monoblock< W, s, BV, t > >::sep_root_init(), 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().