Main Page   Modules   Namespace List   Class Hierarchy   Compound List   File List   Namespace Members   Compound Members   File Members   Related Pages  

LastInvariantFactor Class Template Reference

#include <last-invariant-factor.h>

List of all members.

Detailed Description

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

This is used in a Smith Form algorithm. @doc 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 Methods

 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::Element Integer
 

typedef _Ring Ring
 

typedef _Solver Solver
 

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

const Solver& getSolver (    )  const [inline]
 

int getThreshold (    )  const [inline]
 

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

Compute the last invariant factor.

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 [inline]
 

Compute the last invariant factor with bonus.

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{....}.

void setSolver (  const Solver &    s )  [inline]
 

void setThreshold (  int    _threshold )  [inline]
 

Member Data Documentation

Ring r [protected]
 

Solver solver [protected]
 

int threshold [protected]
 

Generated on Mon Jun 20 09:16:57 2005 for linbox by doxygen1.2.18