div_analytic_rep< C, V > Class Template Reference

#include <analytic.hpp>

Inheritance diagram for div_analytic_rep< C, V >:

List of all members.

Public Member Functions

div_analytic_rep (const analytic< C, V > &f, const analytic< C, V > &g)
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::div_analytic_rep< C, V >

Definition at line 1338 of file analytic.hpp.

Constructor & Destructor Documentation

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

Definition at line 1340 of file analytic.hpp.

01340                                                          :
01341     binary_analytic_rep<div_op,C,V> (f, g) {}
  /*

Member Function Documentation

Abs_type ( C ) const [inline]

Definition at line 1347 of file analytic.hpp.

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

01347                                                              {
01348     R lg= lower_bound (this->g, r, order, a);
01349     if (lg <= 0) return Maximal (R);
01350     R tf= tail_bound (this->f, r, order, a);
01351     R tg= tail_bound (this->g, r, order, a);
01352     R hh= head_bound (this->me (), r, order);
01353     R cb= conv_bound (this->me (), this->me (), this->g, r, order);
01354     //mmout << "tf= " << tf << "\n";
01355     //mmout << "tg= " << tg << "\n";
01356     //mmout << "lg= " << lg << "\n";
01357     //mmout << "hh= " << hh << "\n";
01358     //mmout << "cb= " << cb << "\n";
01359     return (tf + cb + hh * tg) / lg; }

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

Definition at line 1137 of file analytic.hpp.

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.

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.

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.

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.

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]