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

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(), mmx::direct_crt(), implementation< crt_transform, V, crt_naive >::inverse(), 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(), crt_naive_transformer< C, S, V >::setup_inverse(), mmx::square_kronecker(), and mmx::square_kronecker_int().

#define M

Value:

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

Definition at line 150 of file base_naive.hpp.

Referenced by mmx::access(), mmx::as_p_expansion(), ser_carry_separable_root_op::binpow_no_tangent(), ser_carry_pth_root_reg_op::binpow_no_tangent_normalized(), moduli_helper< C, M, W >::covering(), as_helper< polynomial< modular< modulus< C, U1 >, U2 >, V >, Lift_type(modular< modulus< C, U1 >, U2 >)>::cv(), 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(), ldiv_mat_monoblock_series_rep< M, V >::Increase_order(), ldiv_vec_monoblock_series_rep< M, V >::Increase_order(), div_series_rep< M, V >::initialize(), rdiv_sc_series_rep< M, V, X >::initialize(), mmx::integer_to_series_carry(), carry_mul_sc_series_rep< M, V, X >::next(), truncate_mul_series_rep< M, V >::next(), mul_series_rep< M, V >::next(), lshiftz_series_matrix_rep< M, V >::next(), slp_polynomial_regular_root_monoblock_series_rep< M, V, L >::next(), ser_carry_polynomial_regular_root_op::op(), coprime_moduli_sequence< M, V >::operator[](), implementation< series_polynomial_regular_root, U, series_carry_naive >::pol_root(), implementation< series_polynomial_regular_root, U, series_carry_monoblock< W, s, BV, t > >::pol_root(), implementation< series_polynomial_regular_root, U, series_carry_monoblock< W, s, BV, t > >::pol_root_init(), mmx::range(), 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().