BlockMasseyDomain Class Template Reference

#include <block-massey-domain.h>

---

Detailed Description

template<class _Field, class _Sequence>
class LinBox::BlockMasseyDomain< _Field, _Sequence >

Compute the linear generator of a sequence of matrices Giorgi, Jeannerod Villard algorithm from ISSAC'03 This class encapsulates the functionality required for computing the block minimal polynomial of a matrix.

Public Types
typedef _Field	Field
typedef Field::Element	Element
typedef _Sequence	Sequence
typedef BlasMatrix< Element >	Coefficient
Public Member Functions
void	clearTimer ()
void	print (Timer &T, const char *timer, const char *title)
void	printTimer ()
	BlockMasseyDomain (const BlockMasseyDomain< Field, Sequence > &M, unsigned long ett_default=DEFAULT_EARLY_TERM_THRESHOLD)
	BlockMasseyDomain (Sequence *D, unsigned long ett_default=DEFAULT_EARLY_TERM_THRESHOLD)
const Field &	getField () const
Sequence *	getSequence () const
void	left_minpoly (std::vector< Coefficient > &P)
void	left_minpoly_rec (std::vector< Coefficient > &P)
void	left_minpoly (std::vector< Coefficient > &phi, std::vector< size_t > &degree)
void	left_minpoly_rec (std::vector< Coefficient > &P, std::vector< size_t > &degree)
void	right_minpoly (std::vector< Coefficient > &P)
Data Fields
Timer	ttGetMinPoly
Timer	tGetMinPoly
Timer	ttNewDiscrepancy
Timer	tNewDiscrepancy
Timer	ttShiftSigma
Timer	tShiftSigma
Timer	ttApplyPerm
Timer	tApplyPerm
Timer	ttUpdateSigma
Timer	tUpdateSigma
Timer	ttInverseL
Timer	tInverseL
Timer	ttGetPermutation
Timer	tGetPermutation
Timer	ttLQUP
Timer	tLQUP
Timer	ttDiscrepancy
Timer	tDiscrepancy
Timer	ttGetCoeff
Timer	tGetCoeff
Timer	ttCheckSequence
Timer	tCheckSequence
Timer	ttSetup
Timer	tSetup
Timer	ttMBasis
Timer	tMBasis
Timer	ttUpdateSerie
Timer	tUpdateSerie
Timer	ttBasisMultiplication
Timer	tBasisMultiplication
Timer	ttCopyingData
Timer	tCopyingData
Timer	Total

---

Member Typedef Documentation

typedef _Field Field

typedef Field::Element Element

typedef _Sequence Sequence

typedef BlasMatrix<Element> Coefficient

---

Constructor & Destructor Documentation

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

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

---

Member Function Documentation

void clearTimer (   )  [inline]

void print (  Timer &  T, const char *  timer, const char *  title )  [inline]

void printTimer (   )  [inline]

const Field& getField (   )  const [inline]

Sequence* getSequence (   )  const [inline]

void left_minpoly (  std::vector< Coefficient > &  P  )  [inline]

void left_minpoly_rec (  std::vector< Coefficient > &  P  )  [inline]

void left_minpoly (  std::vector< Coefficient > &  phi, std::vector< size_t > &  degree )  [inline]

void left_minpoly_rec (  std::vector< Coefficient > &  P, std::vector< size_t > &  degree )  [inline]

void right_minpoly (  std::vector< Coefficient > &  P  )  [inline]

---

Field Documentation

Timer ttGetMinPoly [mutable]

Timer tGetMinPoly [mutable]

Timer ttNewDiscrepancy [mutable]

Timer tNewDiscrepancy [mutable]

Timer ttShiftSigma [mutable]

Timer tShiftSigma [mutable]

Timer ttApplyPerm [mutable]

Timer tApplyPerm [mutable]

Timer ttUpdateSigma [mutable]

Timer tUpdateSigma [mutable]

Timer ttInverseL [mutable]

Timer tInverseL [mutable]

Timer ttGetPermutation [mutable]

Timer tGetPermutation [mutable]

Timer ttLQUP [mutable]

Timer tLQUP [mutable]

Timer ttDiscrepancy [mutable]

Timer tDiscrepancy [mutable]

Timer ttGetCoeff [mutable]

Timer tGetCoeff [mutable]

Timer ttCheckSequence [mutable]

Timer tCheckSequence [mutable]

Timer ttSetup [mutable]

Timer tSetup [mutable]

Timer ttMBasis [mutable]

Timer tMBasis [mutable]

Timer ttUpdateSerie [mutable]

Timer tUpdateSerie [mutable]

Timer ttBasisMultiplication [mutable]

Timer tBasisMultiplication [mutable]

Timer ttCopyingData [mutable]

Timer tCopyingData [mutable]

Timer Total [mutable]

---