---

MasseyDomain Class Template Reference

#include <massey-domain.h>

List of all members.

---

Detailed Description

template<class Field, class Sequence>
class LinBox::MasseyDomain< Field, Sequence >

Berlekamp/Massey algorithm. @doc Domain Massey - Computation is stopped when the polynomials remain the same for more than EARLY_TERM_THRESOLD - When minimal polynomial equals characteristic polynomial, 2 additional iterations are needed to compute it (parameter DEFAULT_ADDITIONAL_ITERATION), but those iterations are not needed for the rank.

Public Types
typedef Field::Element	Element
Public Methods
	MasseyDomain (unsigned long ett_default=DEFAULT_EARLY_TERM_THRESHOLD)
	MasseyDomain (const MasseyDomain< Field, Sequence > &M, unsigned long ett_default=DEFAULT_EARLY_TERM_THRESHOLD)
	MasseyDomain (Sequence *D, unsigned long ett_default=DEFAULT_EARLY_TERM_THRESHOLD)
	MasseyDomain (Sequence *MD, const Field &F, unsigned long ett_default=DEFAULT_EARLY_TERM_THRESHOLD)
template<class Polynomial> void	operator() (Polynomial &C, bool full_poly=false)
const Field &	getField () const
Sequence *	getSequence () const
void	pseudo_rank (unsigned long &rank)
void	valence (Element &valence, unsigned long &rank)
template<class Polynomial> unsigned long	pseudo_minpoly (Polynomial &phi, unsigned long &rank, bool full_poly=true)
template<class Polynomial> void	minpoly (Polynomial &phi, unsigned long &rank, bool full_poly=true)

---

Member Typedef Documentation

typedef Field::Element Element

---

Constructor & Destructor Documentation

MasseyDomain (  unsigned long    ett_default = DEFAULT_EARLY_TERM_THRESHOLD )  [inline]

MasseyDomain (  const MasseyDomain< Field, Sequence > &    M, unsigned long    ett_default = DEFAULT_EARLY_TERM_THRESHOLD )  [inline]

MasseyDomain (  Sequence *    D, unsigned long    ett_default = DEFAULT_EARLY_TERM_THRESHOLD )  [inline]

MasseyDomain (  Sequence *    MD, const Field &    F, unsigned long    ett_default = DEFAULT_EARLY_TERM_THRESHOLD )  [inline]

---

Member Function Documentation

const Field& getField (    )  const [inline]

Sequence* getSequence (    )  const [inline]

void minpoly (  Polynomial &    phi, unsigned long &    rank, bool    full_poly = true )  [inline]

void operator() (  Polynomial &    C, bool    full_poly = false )  [inline]

unsigned long pseudo_minpoly (  Polynomial &    phi, unsigned long &    rank, bool    full_poly = true )  [inline]

void pseudo_rank (  unsigned long &    rank )  [inline]

void valence (  Element &    valence, unsigned long &    rank )  [inline]

---