linbox
|
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 ![]() | |
void | RandomPermutation (size_t *P, const size_t &len) |
Creates a random Lapack style Permutation P of size len . | |
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 . | |
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. |
Tests the dense nullspace functions for Zp.
size_t& RandIntInInt | ( | const size_t & | s, |
size_t & | RIII, | ||
const int & | seed = 0 |
||
) |
gives a random number such that .
basic..
[in] | s | sup |
[in] | seed | seed. If 0 (default) we create a new one. |
[out] | RIII | random integer in the interval ![]() |
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.
F | field |
A | matrix |
m | rows |
n | cols |
lda | leadin dimmension |
alledged_rank | supposedly correct rank. |
alledged_rank==rank(A)