REP_STRUCT< Series, Monomial > Class Template Reference

#include <quotient_series.hpp>

List of all members.

Public Member Functions

• quotient_series_rep ()
• quotient_series_rep (const Series &f2)
• quotient_series_rep (const Series &f2, const Monomial &m2)
• quotient_series_rep (const Monomial &m2)
• ~quotient_series_rep ()
• void normalize ()
• unknown_rep ()
• unknown_rep (const C &b2)
• unknown_rep (solver_series_rep< C, V > *f2, const C &b2, C *ss, nat s2, nat e2)
• virtual ~unknown_rep ()

Public Attributes

• Series f
• Monomial m
• solver_series_rep< C, V > * f
• C b
• C * s
• nat l
• nat i1
• nat i2

---

Detailed Description

template<typename Series, typename Monomial>
class mmx::REP_STRUCT< Series, Monomial >

Definition at line 34 of file quotient_series.hpp.

---

Constructor & Destructor Documentation

~quotient_series_rep

(

)

[inline]

Definition at line 46 of file quotient_series.hpp.

{}

virtual ~unknown_rep

(

)

[inline, virtual]

Definition at line 66 of file series_implicit.hpp.

                                 {
    mmx_delete<C> (s, l); }

---

Member Function Documentation

void normalize

(

)

[inline]

Definition at line 45 of file series_implicit.hpp.

References mmx::C, and mmx::is_exact_zero().

                           {
    nat k=i1;
    while (i1 < i2 && is_exact_zero (s[i2-k-1])) i2--;
    while (i1 < i2 && is_exact_zero (s[i1-k])) i1++;
    if (i1 != k) {
      //mmerr << "    normalize " << i1 << " -- " << i2 << "\n";
      nat d= i1-k;
      C* s2= mmx_new<C> (i2-i1);
      for (nat i=0; i<i2-i1; i++) s2[i]= s[i+d];
      mmx_delete<C> (s, l);
      s= s2;
      l= i2-i1;
    }
  }

quotient_series_rep

(

)

[inline]

Definition at line 38 of file quotient_series.hpp.

                               :
    f (0), m (1) {}

quotient_series_rep

(

const Monomial &

m2

)

[inline]

Definition at line 44 of file quotient_series.hpp.

                                                 :
    f (1), m (m2) {}

quotient_series_rep

(

const Series &

f2

)

[inline]

Definition at line 40 of file quotient_series.hpp.

                                               :
    f (f2), m (1) {}

quotient_series_rep	(	const Series &	f2,
		const Monomial &	m2
	)		[inline]

Definition at line 42 of file quotient_series.hpp.

                                                                   :
    f (f2), m (m2) {}

unknown_rep	(	solver_series_rep< C, V > *	f2,
		const C &	b2,
		C *	ss,
		nat	s2,
		nat	e2
	)		[inline]

Definition at line 64 of file series_implicit.hpp.

References mmx::normalize().

                                                                  :
    f (f2), b (b2), s (ss), l (e2 - s2), i1 (s2), i2 (e2) { normalize (); }

unknown_rep

(

const C &

b2

)

[inline]

Definition at line 62 of file series_implicit.hpp.

                                  :
    f (NULL), b (b2), s (mmx_new<C> (0)), l (0), i1 (0), i2 (0) {}

unknown_rep

(

)

[inline]

Definition at line 60 of file series_implicit.hpp.

                       :
    f (NULL), b (), s (mmx_new<C> (0)), l (0), i1 (0), i2 (0) {}

---

Member Data Documentation

C b

Definition at line 39 of file series_implicit.hpp.

Series f

Definition at line 36 of file quotient_series.hpp.

solver_series_rep<C,V>* f

Definition at line 38 of file series_implicit.hpp.

nat i1

Definition at line 42 of file series_implicit.hpp.

nat i2

Definition at line 43 of file series_implicit.hpp.

nat l

Definition at line 41 of file series_implicit.hpp.

Monomial m

Definition at line 37 of file quotient_series.hpp.

C* s

Definition at line 40 of file series_implicit.hpp.

---

The documentation for this class was generated from the following files:

• /Users/mourrain/Devel/mmx/algebramix/include/algebramix/quotient_series.hpp
• /Users/mourrain/Devel/mmx/algebramix/include/algebramix/series_implicit.hpp