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"

Include dependency graph for test-nullspace.C:

Functions
size_t &	RandIntInInt (const size_t &s, size_t &RIII, const int &seed=0)
	gives a random number such that . More...
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. More...
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 .

basic..

Parameters

[in]	s	sup
[in]	seed	seed. If 0 (default) we create a new one.
[out]	RIII	random integer in the interval .

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

F	field
A	matrix
m	rows
n	cols
lda	leadin dimmension
alledged_rank	supposedly correct rank.

Returns

alledged_rank==rank(A)