LastInvariantFactor Class Template Reference

#include <last-invariant-factor.h>

---

Detailed Description

template<class _Ring, class _Solver>
class LinBox::LastInvariantFactor< _Ring, _Solver >

This is used in a Smith Form algorithm. This computes the last invariant factor of an integer matrix, whether zero or not, by rational solving.

Public Types
typedef _Ring	Ring
typedef _Solver	Solver
typedef Ring::Element	Integer
Public Member Functions
	LastInvariantFactor (const Solver &_solver=Solver(), const Ring &_r=Ring(), int _threshold=DEFAULTLIFTHRESHOLD)
void	setThreshold (int _threshold)
int	getThreshold () const
const Solver &	getSolver () const
void	setSolver (const Solver &s)
template<class IMatrix, class Vector> Integer &	lastInvariantFactor (Integer &lif, const IMatrix &A, const Vector &PrimeL) const
	Compute the last invariant factor of an integer matrix, by solving linear system, ignoring these factors of primes in list PrimeL.
template<class IMatrix, class Vector> Integer &	lastInvariantFactor_Bonus (Integer &lif, Integer &bonus, const IMatrix &A, const Vector &PrimeL) const
	Compute the last invariant factor of an integer matrix, by solving linear system, ignoring these factors of primes in list PrimeL Implement the bonus in ref{....}.
template<class IMatrix> Integer &	lastInvariantFactor (Integer &lif, const IMatrix &A) const
	Compute the last invariant factor.
template<class IMatrix> Integer &	lastInvariantFactor_Bonus (Integer &lif, Integer &bonus, const IMatrix &A) const
	Compute the last invariant factor with bonus.
Protected Attributes
Ring	r
Solver	solver
int	threshold

---

Member Typedef Documentation

typedef _Ring Ring

typedef _Solver Solver

typedef Ring::Element Integer

---

Constructor & Destructor Documentation

LastInvariantFactor (  const Solver &  _solver = Solver(), const Ring &  _r = Ring(), int  _threshold = DEFAULTLIFTHRESHOLD )  [inline]

_Ring, an integer ring, _Solver, a function which solves Ax = b over the quotient field of _Ring.

---

Member Function Documentation

void setThreshold (  int  _threshold  )  [inline]

int getThreshold (   )  const [inline]

const Solver& getSolver (   )  const [inline]

void setSolver (  const Solver &  s  )  [inline]

Integer& lastInvariantFactor (  Integer &  lif, const IMatrix &  A, const Vector &  PrimeL )  const [inline]

Compute the last invariant factor of an integer matrix, by solving linear system, ignoring these factors of primes in list PrimeL.

Integer& lastInvariantFactor_Bonus (  Integer &  lif, Integer &  bonus, const IMatrix &  A, const Vector &  PrimeL )  const [inline]

Compute the last invariant factor of an integer matrix, by solving linear system, ignoring these factors of primes in list PrimeL Implement the bonus in ref{....}.

Integer& lastInvariantFactor (  Integer &  lif, const IMatrix &  A )  const [inline]

Compute the last invariant factor.

Integer& lastInvariantFactor_Bonus (  Integer &  lif, Integer &  bonus, const IMatrix &  A )  const [inline]

Compute the last invariant factor with bonus.

---

Field Documentation

Ring r [protected]

Solver solver [protected]

int threshold [protected]

---