#include <numerix/modular.hpp>
#include <algebramix/polynomial.hpp>
#include <algebramix/polynomial_carry_naive.hpp>
#include <algebramix/base.hpp>

Classes

struct as_helper< Lift_type(modular< modulus< C, U1 >, U2 >), polynomial< modular< modulus< C, U1 >, U2 >, V > >
struct as_helper< polynomial< modular< modulus< C, U1 >, U2 >, V >, Lift_type(modular< modulus< C, U1 >, U2 >)>

Namespaces

namespace mmx

Defines

#define P_expansion_variant(M) Polynomial_carry_variant(M)
#define p_expansion(M, V) polynomial<M,V>
#define default_p_expansion(M) p_expansion(M,typename P_expansion_variant(M))
#define M modular<modulus<C,U1>,U2>

Functions

template<typename C , typename U1 , typename U2 > polynomial< modular< modulus
< C, U1 >, U2 >,typename
polynomial_carry_variant_helper
< modular< modulus< C, U1 >
, U2 > >::PV > as_p_expansion (const Lift_type(modular< modulus< C, U1 >, U2 >)&a, const modulus< C, U1 > &p)

Define Documentation

#define default_p_expansion ( M ) p_expansion(M,typename P_expansion_variant(M))

Definition at line 24 of file p_expansion.hpp.

Referenced by root_series_rep< M, V >::_derive(), 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(), and mmx::rec_square().

#define M modular<modulus<C,U1>,U2>

Definition at line 26 of file p_expansion.hpp.

Referenced by mmx::as_p_expansion(), and as_helper< polynomial< modular< modulus< C, U1 >, U2 >, V >, Lift_type(modular< modulus< C, U1 >, U2 >)>::cv().

#define p_expansion	(	M,
		V
	)	polynomial<M,V>

Definition at line 23 of file p_expansion.hpp.

Referenced by as_helper< polynomial< modular< modulus< C, U1 >, U2 >, V >, Lift_type(modular< modulus< C, U1 >, U2 >)>::cv().

#define P_expansion_variant ( M ) Polynomial_carry_variant(M)

Definition at line 22 of file p_expansion.hpp.