MasseyDomain Class Template Reference

#include <massey-domain.h>

---

Detailed Description

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

Berlekamp/Massey algorithm. 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 Member Functions
	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

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

const Field& getField (   )  const [inline]

Sequence* getSequence (   )  const [inline]

void pseudo_rank (  unsigned long &  rank  )  [inline]

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

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

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

---