Compute the rank of an integer matrix in place over a finite field by Gaussian elimination.
More...
#include <matrix-rank.h>
Public Types |
typedef _Ring | Ring |
| Ring ?
|
typedef _Field | Field |
| Field ?
|
Data Fields |
Ring | r |
| Ring ?
|
_RandomPrime | rp |
| Holds the random prime for Monte-Carlo rank.
|
Detailed Description
template<class _Ring, class _Field, class _RandomPrime = RandomPrimeIterator>
class LinBox::MatrixRank< _Ring, _Field, _RandomPrime >
Compute the rank of an integer matrix in place over a finite field by Gaussian elimination.
- Bug:
- there is no generic
rankIn
method.
Constructor & Destructor Documentation
Constructor.
- Parameters
-
_r | ring (default is Ring) |
_rp | random prime generator (default is template provided) |
Member Function Documentation
long rank |
( |
const IMatrix & |
A | ) |
const |
|
inline |
compute the integer matrix A by modulo a random prime, Monto-Carlo.
This is the generic method (mapping to a random modular matrix).
- Parameters
-
- Returns
- the rank of A.
Specialisation for BlasMatrix.
Computation done by mapping to a random modular matrix.
- Parameters
-
- Returns
- the rank of A.
- Bug:
- we suppose we can map IRing to Field...
bug the following should work :
Specialisation for SparseMatrix Computation done by mapping to a random modular matrix.
- Parameters
-
- Returns
- the rank of A.
- Bug:
- we suppose we can map IRing to Field...
Specialisation for BlasMatrix (in place).
Generic (slow) elimination code.
- Parameters
-
- Returns
- its rank
- Warning
- The matrix is on the Field !!!!!!!
Specialisation for SparseMatrix, in place.
solution rank is called. (is Elimination guaranteed as the doc says above ?)
- Parameters
-
- Returns
- its rank
The documentation for this class was generated from the following file: