#include <algebramix/series_carry.hpp>

Classes

struct series_carry_monoblock< V, s, BV, t >
struct implementation< U, W, series_carry_monoblock< V, s, BV, t > >
struct series_carry_blocks< V, s, BV, t >
struct implementation< U, W, series_carry_blocks< V, s, BV, t > >
struct modular_global_series_carry_monoblock< M, s, BV >
class modular_global_series_carry_monoblock< M, s, BV >::modulus_storage< P >
class series_carry_monoblock_transformer< M, V, s, BV >
class series_carry_monoblock_transformer< M, V, s, BV >::to_monoblock_series_rep
class series_carry_monoblock_transformer< M, V, s, BV >::from_monoblock_series_rep
class binary_monoblock_series_rep< Op, M, V, s, BV, t >
class truncate_mul_monoblock_series_rep< M, V, s, BV, t >
class binary_scalar_recursive_monoblock_series_rep< Op, M, V, s, BV, t, X >
struct implementation< series_multiply, U, series_carry_monoblock< W, s, BV, t > >
struct implementation< series_divide, U, series_carry_monoblock< W, s, BV, t > >
struct implementation< series_separable_root, U, series_carry_monoblock< W, s, BV, t > >
struct implementation< series_multiply, U, series_carry_blocks< W, s, BV, t > >
class implementation< series_multiply, U, series_carry_blocks< W, s, BV, t > >::mul_series_rep< M, V >

Namespaces

namespace mmx

Defines

#define Series series<M,V>
#define Series_rep series_rep<M,V>
#define C typename M::C
#define Modulus typename M::modulus
#define TMPL template<typename M,typename V>
#define Monoblock_transformer series_carry_monoblock_transformer<M,V,s,BV>
#define Monoblock_modular
#define Monoblock_series_rep series_rep<Monoblock_modular,BV>
#define Monoblock_series series <Monoblock_modular,BV>

Functions

template<typename M , typename V , nat s, typename BV > series< modular< modulus
< Lift_type(M)>
, modular_global_series_carry_monoblock
< M, s, BV > >,BV > to_monoblock (const series< M, V > &f, const series_carry_monoblock_transformer< M, V, s, BV > &blocker)
template<typename M , typename V , nat s, typename BV > series< M, V > from_monoblock (const series< modular< modulus< Lift_type(M)>, modular_global_series_carry_monoblock< M, s, BV > >, BV > &f, const series_carry_monoblock_transformer< M, V, s, BV > &blocker)
template<typename Op , typename M , typename V , nat s, typename BV , nat t> series< M, V > binary_monoblock_series (const series< M, V > &f, const series< M, V > &g)
template<typename M , typename V , nat s, typename BV , nat t> series< M, V > truncate_mul_monoblock_series (const series< M, V > &f, const series< M, V > &g, nat nf, nat ng)
template<typename Op , typename M , typename V , nat s, typename BV , nat t, typename X > series< M, V > binary_scalar_recursive_monoblock_series (const series< M, V > &f, const X &x)

Define Documentation

#define C typename M::C

Definition at line 20 of file series_carry_blocks.hpp.

#define Modulus typename M::modulus

Definition at line 21 of file series_carry_blocks.hpp.

#define Monoblock_modular

Value:

modular<modulus<Lift_type(M)>,          \
                                  modular_global_series_carry_monoblock \
                                  <M,s,BV> >

Definition at line 61 of file series_carry_blocks.hpp.

Referenced by binary_scalar_recursive_monoblock_series_rep< Op, M, V, s, BV, t, X >::Increase_order(), and series_carry_monoblock_transformer< M, W, s, BV >::to_monoblock().

#define Monoblock_series series <Monoblock_modular,BV>

Definition at line 66 of file series_carry_blocks.hpp.

Referenced by series_carry_monoblock_transformer< M, W, s, BV >::to_monoblock().

#define Monoblock_series_rep series_rep<Monoblock_modular,BV>

Definition at line 65 of file series_carry_blocks.hpp.

Referenced by series_carry_monoblock_transformer< M, W, s, BV >::to_monoblock().

#define Monoblock_transformer series_carry_monoblock_transformer<M,V,s,BV>

Definition at line 23 of file series_carry_blocks.hpp.

#define Series series<M,V>

Definition at line 18 of file series_carry_blocks.hpp.

Referenced by series_carry_monoblock_transformer< M, W, s, BV >::from_monoblock(), truncate_mul_monoblock_series_rep< M, V, s, BV, t >::Increase_order(), implementation< series_divide, U, series_carry_monoblock< W, s, BV, t > >::ser_div(), 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_divide, U, series_carry_monoblock< W, s, BV, t > >::ser_rrem_sc(), implementation< series_multiply, U, series_carry_blocks< W, s, BV, t > >::ser_truncate_mul(), and implementation< series_multiply, U, series_carry_monoblock< W, s, BV, t > >::ser_truncate_mul().

#define Series_rep series_rep<M,V>

Definition at line 19 of file series_carry_blocks.hpp.

Referenced by mmx::binary_monoblock_series(), mmx::binary_scalar_recursive_monoblock_series(), series_carry_monoblock_transformer< M, W, s, BV >::from_monoblock(), implementation< series_multiply, U, series_carry_blocks< W, s, BV, t > >::ser_mul(), implementation< series_multiply, U, series_carry_blocks< W, s, BV, t > >::ser_truncate_mul(), and mmx::truncate_mul_monoblock_series().

#define TMPL template<typename M,typename V>

Definition at line 22 of file series_carry_blocks.hpp.