Public Member Functions

carry_add_quorem_series_rep (const series< C, V > &a2, const series< C, V > &b2)
syntactic expression (const syntactic &z) const
virtual void Increase_order (nat l)
virtual vector< C > next ()

Protected Attributes

series< C, V > a
series< C, V > b
C::C r

Detailed Description

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

Definition at line 225 of file series_vector.hpp.

Constructor & Destructor Documentation

carry_add_quorem_series_rep	(	const series< C, V > &	a2,
		const series< C, V > &	b2
	)		`[inline]`

Definition at line 230 of file series_vector.hpp.

                                                                         :
    series_rep<vector<C>,V> (get_format (vec<C> (get_sample (CF(a2))))),
    a(a2), b (b2), r (0) {}

Member Function Documentation

syntactic expression ( const syntactic & z ) const [inline]

Definition at line 233 of file series_vector.hpp.

References carry_add_quorem_series_rep< C, V >::a, carry_add_quorem_series_rep< C, V >::b, and mmx::flatten().

                                                  {
    return apply (syntactic ("carry_add_quorem"), flatten (a, z),
                  flatten (b,z)); }

virtual void Increase_order ( nat l ) [inline, virtual]

Definition at line 236 of file series_vector.hpp.

References carry_add_quorem_series_rep< C, V >::a, carry_add_quorem_series_rep< C, V >::b, and mmx::increase_order().

                                      {
    series_rep<vector<C>,V>::Increase_order (l);
    increase_order (a, l);
    increase_order (b, l); }

virtual vector<C> next ( ) [inline, virtual]

Definition at line 240 of file series_vector.hpp.

References carry_add_quorem_series_rep< C, V >::a, carry_add_quorem_series_rep< C, V >::b, mmx::C, D, and carry_add_quorem_series_rep< C, V >::r.

                            {
    D r = a[this->n].rep + b[this->n].rep;
    if (r < * C::get_modulus ())
      return vec<C> (C(0), C(r));
    return vec<C> (C(1), C(r- (* C::get_modulus ())) ); }