Main Page | Modules | Namespace List | Class Hierarchy | Class List | File List | Namespace Members | Class 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.

This computes the last invariant factor of an integer matrix, whether zero or not, by rational solving.


Public Member Functions

 LastInvariantFactor (const Solver &_solver=Solver(), const Ring &_r=Ring(), int _threshold=DEFAULTLIFTHRESHOLD)
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.


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.


The documentation for this class was generated from the following file:
Generated on Thu Feb 8 22:32:57 2007 for linbox by doxygen 1.3.4