mul_analytic_rep< C, V > Class Template Reference

#include <analytic.hpp>

Inheritance diagram for mul_analytic_rep< C, V >:

List of all members.

Public Member Functions

mul_analytic_rep (const analytic< C, V > &f, const analytic< C, V > &g)
Abs_type (typename unvectorize< C >::val) Radius_bound(nat order) const
Abs_type (C) Tail_bound(const Abs_type(typename unvectorize< C >
void Clear_cache (nat which) const
series< C > Expand () const
analytic< C, V > Move (const typename unvectorize< C >::val &z) const
C Eval (const typename unvectorize< C >::val &z) const
analytic< C, V > Derive () const

Protected Attributes

analytic< C, V > f
analytic< C, V > g

Detailed Description

template<typename C, typename V>
class mmx::mul_analytic_rep< C, V >

Definition at line 1319 of file analytic.hpp.

Constructor & Destructor Documentation

mul_analytic_rep	(	const analytic< C, V > &	f,
		const analytic< C, V > &	g
	)			`[inline]`

Definition at line 1321 of file analytic.hpp.

01321                                                          :
01322     binary_analytic_rep<mul_op,C,V> (f, g) {}
  Radius Radius_bound (nat order) const {

Member Function Documentation

Abs_type ( C ) const [inline]

Definition at line 1325 of file analytic.hpp.

References binary_analytic_rep< mul_op, C, V >::g, and mmx::me.

01325                                                              {
01326     return
01327       conv_bound (this->me (), this->f, this->g, r, order) +
01328       head_bound (this->f, r, order) * tail_bound (this->g, r, order, a) +
01329       tail_bound (this->f, r, order, a) * upper_bound (this->g, r, order, a); }

Abs_type ( typename unvectorize< C >::val ) const [inline]

Definition at line 1323 of file analytic.hpp.

References binary_analytic_rep< mul_op, C, V >::g.

01323                                         {
01324     return min (radius_bound (this->f), radius_bound (this->g)); }

void Clear_cache ( nat which ) const [inline, inherited]

Definition at line 1137 of file analytic.hpp.

References mmx::clear_cache(), binary_analytic_rep< Op, C, V >::Clear_cache(), and binary_analytic_rep< Op, C, V >::g.

01137                                      {
01138     Analytic_rep::Clear_cache (which);
01139     clear_cache (f, which);
01140     clear_cache (g, which); }

analytic<C ,V > Derive ( ) const [inline, inherited]

Definition at line 1147 of file analytic.hpp.

References binary_analytic_rep< Op, C, V >::g, and mmx::me.

01147                            {
01148     return Op::diff_op (this->me (), f, g); }

C Eval ( const typename unvectorize< C >::val & z ) const [inline, inherited]

Definition at line 1145 of file analytic.hpp.

References mmx::eval(), and binary_analytic_rep< Op, C, V >::g.

01145                                  {
01146     return Op::op (eval (f, z), eval (g, z)); }

series<C > Expand ( ) const [inline, inherited]

Definition at line 1141 of file analytic.hpp.

References mmx::expand(), and binary_analytic_rep< Op, C, V >::g.

01141                          {
01142     return Op::op (expand (f), expand (g)); }

analytic<C ,V > Move ( const typename unvectorize< C >::val & z ) const [inline, inherited]

Definition at line 1143 of file analytic.hpp.

References binary_analytic_rep< Op, C, V >::g, and mmx::move().

01143                                         {
01144     return Op::op (move (f, z), move (g, z)); }

Member Data Documentation

analytic<C ,V > f [protected, inherited]

Definition at line 1133 of file analytic.hpp.

analytic<C ,V > g [protected, inherited]