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

#include <algebramix/p_expansion.hpp>
#include <algebramix/series_naive.hpp>
#include <algebramix/root_modular.hpp>
#include <algebramix/series_vector.hpp>
#include <basix/literal.hpp>
#include <basix/compound.hpp>
#include <basix/timer.hpp>

Go to the source code of this file.

Classes

• struct series_carry_naive
• struct implementation< V, W, series_carry_naive >
• struct series_polynomial_helper< M, series_carry_naive >
• struct series_carry_variant_helper< M >
• struct implementation< series_defaults, U, series_carry_naive >
• class implementation< series_defaults, U, series_carry_naive >::global_variables< S >
• struct implementation< series_scalar_abstractions, U, series_carry_naive >
• class implementation< series_scalar_abstractions, U, series_carry_naive >::binary_scalar_series_rep< Op, M, V, X >
• struct implementation< series_abstractions, U, series_carry_naive >
• class implementation< series_abstractions, U, series_carry_naive >::unary_series_rep< Op, M, V >
• class implementation< series_abstractions, U, series_carry_naive >::binary_series_rep< Op, M, V >
• struct implementation< series_multiply, U, series_carry_naive >
• class implementation< series_multiply, U, series_carry_naive >::mul_series_rep< M, V >
• class implementation< series_multiply, U, series_carry_naive >::truncate_mul_series_rep< M, V >
• struct series_carry_lift< V >
• struct implementation< V, U, series_carry_lift< W > >
• struct implementation< series_multiply, U, series_carry_lift< W > >
• class implementation< series_multiply, U, series_carry_lift< W > >::mul_series_rep< M, V >
• class implementation< series_multiply, U, series_carry_lift< W > >::truncate_mul_series_rep< M, V >
• struct implementation< series_divide, U, series_carry_naive >
• class implementation< series_divide, U, series_carry_naive >::carry_mul_sc_series_rep< M, V, X >
• class implementation< series_divide, U, series_carry_naive >::rdiv_sc_series_rep< M, V, X >
• class implementation< series_divide, U, series_carry_naive >::div_series_rep< M, V >
• struct ser_carry_separable_root_op
• struct implementation< series_separable_root, U, series_carry_naive >
• class root_series_rep< M, V >
• class system_root_series_rep< M, V, W >

Namespaces

• namespace mmx

Defines

• #define Series   series<M,V>
• #define Series_rep   series_rep<M,V>
• #define Recursive_series_rep   recursive_series_rep<M,V>
• #define C   typename M::C
• #define Modulus   typename M::modulus
• #define TMPL   template<typename M, typename V>
• #define TMPLW   template<typename M, typename V, typename W>
• #define Vector   vector<M,W>
• #define Series_vector   series<Vector, V>
• #define Series_carry_variant(C)   series_carry_variant_helper<C>::SV

Functions

• template<typename M , typename V > vector< series< M, V > > rec_add (const vector< series< M, V > > &p, const vector< series< M, V > > &q)
• template<typename M , typename V > vector< series< M, V > > rec_minus (const vector< series< M, V > > &p)
• template<typename M , typename V > vector< series< M, V > > rec_minus (const vector< series< M, V > > &p, const vector< series< M, V > > &q)
• template<typename M , typename V > vector< series< M, V > > rec_prod (const vector< series< M, V > > &p, const vector< series< M, V > > &q, const series< M, V > &y)
• template<typename M , typename V > vector< series< M, V > > rec_prod (const vector< series< M, V > > &p, const vector< series< M, V > > &q, const vector< series< M, V > > &y)
• template<typename M , typename V > vector< series< M, V > > rec_square (const vector< series< M, V > > &p, const series< M, V > &y)
• template<typename M , typename V > vector< series< M, V > > rec_square (const vector< series< M, V > > &p, const vector< series< M, V > > &y)
• template<typename M , typename V > vector< series< M, V > > rec_lin (const series< M, V > &a, const series< M, V > &b)
• template<typename M , typename V > vector< series< M, V > > rec_lin (const series< M, V > &a, const vector< series< M, V > > &b)
• template<typename M , typename V > vector< series< M, V > > rec_cst (const series< M, V > &p)
• template<typename M , typename V > vector< series< M, V > > rec_cst (const series< M, V > &p, nat n)
• template<typename M , typename V > static series< M, V > root_series (const generic &f, const generic &x, const M &y0)
• template<typename M , typename V , typename W > static vector< series< M, V >,W > system_root_series (const vector< generic > &f, const vector< generic > &x, const vector< M, W > &y0)

---

Define Documentation

#define C   typename M::C

Definition at line 27 of file series_carry_naive.hpp.

#define Modulus   typename M::modulus

Definition at line 28 of file series_carry_naive.hpp.

Referenced by implementation< series_multiply, U, series_carry_naive >::truncate_mul_series_rep< M, V >::next(), and implementation< series_multiply, U, series_carry_naive >::mul_series_rep< M, V >::next().

#define Recursive_series_rep   recursive_series_rep<M,V>

Definition at line 26 of file series_carry_naive.hpp.

#define Series   series<M,V>

Definition at line 24 of file series_carry_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(), root_series_rep< M, V >::initialize(), 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(), mmx::rec_cst(), mmx::rec_lin(), mmx::rec_prod(), mmx::rec_square(), mmx::root_series(), implementation< series_separable_root, U, series_carry_naive >::sep_root(), implementation< series_divide, U, series_carry_naive >::ser_div(), implementation< series_multiply, U, series_carry_lift< W > >::ser_mul(), implementation< series_multiply, U, series_carry_naive >::ser_mul(), implementation< series_divide, U, series_carry_naive >::ser_rdiv_sc(), implementation< series_divide, U, series_carry_naive >::ser_rrem_sc(), implementation< series_multiply, U, series_carry_lift< W > >::ser_truncate_mul(), and implementation< series_multiply, U, series_carry_naive >::ser_truncate_mul().

#define Series_carry_variant

(

C

)

series_carry_variant_helper<C>::SV

Definition at line 54 of file series_carry_naive.hpp.

#define Series_rep   series_rep<M,V>

Definition at line 25 of file series_carry_naive.hpp.

Referenced by implementation< series_divide, U, series_carry_naive >::carry_mul_series(), mmx::root_series(), implementation< series_divide, U, series_carry_naive >::ser_div(), implementation< series_multiply, U, series_carry_lift< W > >::ser_mul(), implementation< series_multiply, U, series_carry_naive >::ser_mul(), implementation< series_divide, U, series_carry_naive >::ser_rdiv_sc(), implementation< series_multiply, U, series_carry_lift< W > >::ser_truncate_mul(), and implementation< series_multiply, U, series_carry_naive >::ser_truncate_mul().

#define Series_vector   series<Vector, V>

Definition at line 32 of file series_carry_naive.hpp.

Referenced by system_root_series_rep< M, V, W >::initialize(), and mmx::system_root_series().

#define TMPL   template<typename M, typename V>

Definition at line 29 of file series_carry_naive.hpp.

#define TMPLW   template<typename M, typename V, typename W>

Examples:

polynomial_int_test.cpp, polynomial_integer_test.cpp, polynomial_modular_test.cpp, and polynomial_polynomial_test.cpp.

Definition at line 30 of file series_carry_naive.hpp.

#define Vector   vector<M,W>

Definition at line 31 of file series_carry_naive.hpp.