linbox
Functions
test-nullspace.C File Reference

Tests the dense nullspace functions for Zp. More...

#include "linbox/linbox-config.h"
#include <iostream>
#include "linbox/integer.h"
#include "linbox/matrix/matrix-domain.h"
#include "linbox/field/modular.h"
#include "linbox/algorithms/dense-nullspace.h"
#include <vector>
#include "./test-common.h"
#include "linbox/algorithms/linbox-tags.h"

Functions

size_t & RandIntInInt (const size_t &s, size_t &RIII, const int &seed=0)
 gives a random number such that $0 \leq RIII < s$.
void RandomPermutation (size_t *P, const size_t &len)
 Creates a random Lapack style Permutation P of size len.
template<class Field >
bool CheckRank (const Field &F, const typename Field::Element *A, const size_t &m, const size_t &n, const size_t &lda, const size_t &alledged_rank)
 Checks we got the right rank.
template<class Field >
void RandomMatrixWithRank (const Field &F, typename Field::Element *A, const size_t &m, const size_t &n, const size_t &rank)
 Builds a m x n random matrix of rank rank over field F.

Detailed Description

Tests the dense nullspace functions for Zp.

Test:
dense nullspace

Function Documentation

size_t& RandIntInInt ( const size_t &  s,
size_t &  RIII,
const int &  seed = 0 
)

gives a random number such that $0 \leq RIII < s$.

basic..

Parameters
[in]ssup
[in]seedseed. If 0 (default) we create a new one.
[out]RIIIrandom integer in the interval $[[0, s-1]]$.
Returns
a reference to RIII
bool CheckRank ( const Field F,
const typename Field::Element *  A,
const size_t &  m,
const size_t &  n,
const size_t &  lda,
const size_t &  alledged_rank 
)

Checks we got the right rank.

Parameters
Ffield
Amatrix
mrows
ncols
ldaleadin dimmension
alledged_ranksupposedly correct rank.
Returns
alledged_rank==rank(A)