#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.
| #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 | ) |
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> |
Definition at line 33 of file p_adic.hpp.
Referenced by slp_polynomial_regular_root_series_rep< M, V, L >::_eps(), mmx::as_matrix(), mmx::as_vector(), mmx::asmatrix(), mmx::binary_recursive_series(), mmx::binary_scalar_recursive_series(), ser_carry_pth_root_reg_op::binpow_no_tangent_normalized(), ser_carry_polynomial_regular_root_op::def(), ser_carry_pth_root_reg_op::def(), mmx::deflate(), mmx::derive(), mmx::dilate(), series_carry_monoblock_transformer< M, W, s, BV >::from_monoblock(), ldiv_mat_monoblock_series_rep< M, V >::Increase_order(), ldiv_vec_monoblock_series_rep< M, V >::Increase_order(), truncate_mul_monoblock_series_rep< M, V, s, BV, t >::Increase_order(), reverse_series_rep< C, V >::initialize(), binary_scalar_recursive_series_rep< Op, C, V, X >::initialize(), binary_recursive_series_rep< Op, C, V >::initialize(), unary_polynomial_recursive_series_rep< Op, C, V, L >::initialize(), unary_recursive_series_rep< Op, C, V >::initialize(), nullary_recursive_series_rep< Op, C, V >::initialize(), slp_polynomial_regular_root_series_rep< M, V, L >::initialize(), div_series_rep< M, V >::initialize(), rdiv_sc_series_rep< M, V, X >::initialize(), mmx::integer_to_series_carry(), mmx::integrate(), mmx::lshiftz(), mmx::lshiftz_series_matrix(), mmx::lshiftz_series_vector(), mmx::operator*(), mmx::operator+(), mmx::operator-(), mmx::operator/(), implementation< series_polynomial_regular_root, U, series_naive >::pol_root(), mmx::polynomial_regular_root(), mmx::polynomial_regular_root_init(), mmx::q_difference(), slp_polynomial_regular_root_series_rep< M, V, L >::rec_prod(), slp_polynomial_regular_root_series_rep< M, V, L >::rec_square(), mmx::rem(), mmx::REP_STRUCT_1(), mmx::restrict(), mmx::rshiftz(), implementation< series_separable_root, U, series_naive >::sep_root(), implementation< series_separable_root, U, series_carry_naive >::sep_root(), implementation< series_compose, U, series_naive >::ser_compose(), implementation< series_divide, U, series_naive >::ser_div(), implementation< series_divide, U, series_carry_naive >::ser_div(), implementation< series_divide, U, series_carry_monoblock< W, s, BV, t > >::ser_div(), implementation< series_multiply, U, series_relaxed< W > >::ser_mul(), implementation< series_multiply, U, series_naive >::ser_mul(), implementation< series_multiply, U, series_fast >::ser_mul(), implementation< series_multiply, U, series_carry_relaxed< W > >::ser_mul(), implementation< series_multiply, U, series_carry_lift< W > >::ser_mul(), implementation< series_multiply, U, series_carry_naive >::ser_mul(), implementation< series_multiply, U, series_carry_blocks< W, s, BV, t > >::ser_mul(), implementation< series_multiply, U, series_carry_monoblock< W, s, BV, t > >::ser_mul(), implementation< series_multiply, U, series_carry_modular_int_naive< W > >::ser_mul(), implementation< series_divide, U, series_naive >::ser_quo(), implementation< series_divide, U, series_naive >::ser_rdiv_sc(), implementation< series_divide, U, series_carry_naive >::ser_rdiv_sc(), implementation< series_compose, U, series_naive >::ser_reverse(), implementation< series_divide, U, series_naive >::ser_rquo_sc(), implementation< series_divide, U, series_naive >::ser_rrem_sc(), implementation< series_divide, U, series_carry_naive >::ser_rrem_sc(), implementation< series_divide, U, series_carry_monoblock< W, s, BV, t > >::ser_rrem_sc(), implementation< series_multiply, U, series_relaxed< W > >::ser_truncate_mul(), implementation< series_multiply, U, series_naive >::ser_truncate_mul(), implementation< series_multiply, U, series_fast >::ser_truncate_mul(), implementation< series_multiply, U, series_carry_relaxed< W > >::ser_truncate_mul(), implementation< series_multiply, U, series_carry_lift< W > >::ser_truncate_mul(), implementation< series_multiply, U, series_carry_naive >::ser_truncate_mul(), implementation< series_multiply, U, series_carry_blocks< W, s, BV, t > >::ser_truncate_mul(), implementation< series_multiply, U, series_carry_monoblock< W, s, BV, t > >::ser_truncate_mul(), implementation< series_multiply, U, series_carry_modular_int_naive< W > >::ser_truncate_mul(), mmx::set_as(), mmx::shift(), implementation< series_slp_polynomial_regular_root, U, series_naive >::slp_pol_root(), mmx::sqrt(), mmx::unary_polynomial_recursive_series(), mmx::unary_recursive_series(), implementation< series_pth_root, U, series_carry_p_adic< W > >::unsep_root(), mmx::xderive(), and recursive_container_series_rep< C, V >::~recursive_container_series_rep().
| #define Series_rep series_rep<M,V> |
Definition at line 34 of file p_adic.hpp.
Referenced by mmx::access(), mmx::binary_monoblock_series(), mmx::binary_recursive_series(), mmx::binary_scalar_recursive_monoblock_series(), mmx::binary_scalar_recursive_series(), mmx::binary_scalar_series(), mmx::binary_series(), implementation< series_divide, U, series_carry_naive >::carry_mul_series(), mmx::change_precision(), mmx::deflate(), mmx::derive(), mmx::dilate(), series_carry_monoblock_transformer< M, W, s, BV >::from_monoblock(), mmx::gcd(), mmx::integrate(), mmx::integrate_init(), mmx::known(), mmx::lcm(), mmx::lshiftz(), implementation< series_multiply, U, series_fast >::nrelax_mul(), mmx::piecewise(), implementation< series_polynomial_regular_root, U, series_naive >::pol_root(), mmx::q_difference(), mmx::recursive(), mmx::restrict(), mmx::rshiftz(), implementation< series_separable_root, U, series_naive >::sep_root(), implementation< series_compose, U, series_naive >::ser_compose(), implementation< series_divide, U, series_naive >::ser_div(), implementation< series_divide, U, series_carry_naive >::ser_div(), implementation< series_multiply, U, series_relaxed< W > >::ser_mul(), implementation< series_multiply, U, series_naive >::ser_mul(), implementation< series_multiply, U, series_fast >::ser_mul(), implementation< series_multiply, U, series_carry_relaxed< W > >::ser_mul(), implementation< series_multiply, U, series_carry_lift< W > >::ser_mul(), implementation< series_multiply, U, series_carry_naive >::ser_mul(), implementation< series_multiply, U, series_carry_blocks< W, s, BV, t > >::ser_mul(), implementation< series_multiply, U, series_carry_modular_int_naive< W > >::ser_mul(), implementation< series_divide, U, series_naive >::ser_quo(), implementation< series_divide, U, series_naive >::ser_rdiv_sc(), implementation< series_divide, U, series_carry_naive >::ser_rdiv_sc(), implementation< series_compose, U, series_naive >::ser_reverse(), implementation< series_divide, U, series_naive >::ser_rquo_sc(), implementation< series_divide, U, series_naive >::ser_rrem_sc(), implementation< series_multiply, U, series_relaxed< W > >::ser_truncate_mul(), implementation< series_multiply, U, series_naive >::ser_truncate_mul(), implementation< series_multiply, U, series_fast >::ser_truncate_mul(), implementation< series_multiply, U, series_carry_relaxed< W > >::ser_truncate_mul(), implementation< series_multiply, U, series_carry_lift< W > >::ser_truncate_mul(), implementation< series_multiply, U, series_carry_naive >::ser_truncate_mul(), implementation< series_multiply, U, series_carry_blocks< W, s, BV, t > >::ser_truncate_mul(), implementation< series_multiply, U, series_carry_modular_int_naive< W > >::ser_truncate_mul(), mmx::shift(), implementation< series_slp_polynomial_regular_root, U, series_naive >::slp_pol_root(), mmx::ternary_scalar_series(), mmx::truncate_mul_monoblock_series(), implementation< series_map_as_abstractions, U, series_naive >::unary_map_as(), mmx::unary_map_as(), mmx::unary_polynomial_recursive_monoblock_series(), mmx::unary_polynomial_recursive_series(), mmx::unary_recursive_series(), mmx::unary_series(), fast_helper< series< C, V > >::uu(), and mmx::xderive().
| #define TMPL template<typename M,typename V> |
Definition at line 36 of file p_adic.hpp.
1.6.1