test-regression.C File Reference

tests former bugs to check that no regression made them show up again. More...

#include "linbox/linbox-config.h"
#include "givaro/modular.h"
#include "linbox/matrix/sparse-matrix.h"
#include "linbox/matrix/dense-matrix.h"
#include "linbox/ring/polynomial-ring.h"
#include "linbox/vector/blas-vector.h"
#include "linbox/solutions/solve.h"
#include "linbox/solutions/charpoly.h"
#include "linbox/algorithms/smith-form-sparseelim-poweroftwo.h"
#include "test-smith-form.h"

Typedefs
typedef Givaro::ZRing< Givaro::Integer >	ZRingInts

Functions
bool	testSolveSparse ()
bool	testSolveSparseSage ()
template<class SolveMethod>
bool	testFlatDixonSolver (const SolveMethod &m)
	Testing regresssion for issue 56 https://github.com/linbox-team/linbox/issues/56 reported by Vincent Delecroix.
template<class SolveMethod>
bool	testFlatDixonSolver2 (const SolveMethod &m)
template<class SolveMethod>
bool	testTallDixonSolver (const SolveMethod &m)
template<class SolveMethod>
bool	testSingularDixonSolver (const SolveMethod &m)
template<class SolveMethod>
bool	testZeroDixonSolver (const SolveMethod &m)
bool	testDixonSolverWithMPrhs ()
bool	testSparseRationalSolver ()
template<class SolveMethod, typename Matrix_t = SparseMatrix<ZRingInts>>
bool	testDixonRectangularSolver ()
bool	testSparseDiagDet (uint64_t n)
bool	testSparse1x1Det (uint64_t v)
bool	testZeroDimensionalCharPoly ()
bool	testZeroDimensionalMinPoly ()
bool	testBigScalarCharPoly ()
template<typename Matrix_t = SparseMatrix<ZRingInts>, class SolveMethod>
bool	testInconsistent (const SolveMethod &m)
bool	testLocalSmith ()
bool	testDixonSmallFat ()
template<typename CMethod = Method::Blackbox>
bool	testZeroMatrixCharPoly (const CMethod &cMeth=CMethod())
bool	testFourFourMatrix ()
int	main (int argc, char **argv)

Variables
bool	writing =false

Detailed Description

tests former bugs to check that no regression made them show up again.

Typedef Documentation

ZRingInts

typedef Givaro::ZRing<Givaro::Integer> ZRingInts

Function Documentation

testSolveSparse()

bool testSolveSparse

(

)

testSolveSparseSage()

bool testSolveSparseSage

(

)

testFlatDixonSolver()

template<class SolveMethod>

bool testFlatDixonSolver

(

const SolveMethod &

m

)

Testing regresssion for issue 56 https://github.com/linbox-team/linbox/issues/56 reported by Vincent Delecroix.

testFlatDixonSolver2()

template<class SolveMethod>

bool testFlatDixonSolver2

(

const SolveMethod &

m

)

testTallDixonSolver()

template<class SolveMethod>

bool testTallDixonSolver

(

const SolveMethod &

m

)

testSingularDixonSolver()

template<class SolveMethod>

bool testSingularDixonSolver

(

const SolveMethod &

m

)

testZeroDixonSolver()

template<class SolveMethod>

bool testZeroDixonSolver

(

const SolveMethod &

m

)

testDixonSolverWithMPrhs()

bool testDixonSolverWithMPrhs

(

)

testSparseRationalSolver()

bool testSparseRationalSolver

(

)

testDixonRectangularSolver()

template<class SolveMethod, typename Matrix_t = SparseMatrix<ZRingInts>>

bool testDixonRectangularSolver

(

)

testSparseDiagDet()

bool testSparseDiagDet

(

uint64_t

n

)

testSparse1x1Det()

bool testSparse1x1Det

(

uint64_t

v

)

testZeroDimensionalCharPoly()

bool testZeroDimensionalCharPoly

(

)

testZeroDimensionalMinPoly()

bool testZeroDimensionalMinPoly

(

)

testBigScalarCharPoly()

bool testBigScalarCharPoly

(

)

testInconsistent()

template<typename Matrix_t = SparseMatrix<ZRingInts>, class SolveMethod>

bool testInconsistent

(

const SolveMethod &

m

)

testLocalSmith()

bool testLocalSmith

(

)

testDixonSmallFat()

bool testDixonSmallFat

(

)

testZeroMatrixCharPoly()

template<typename CMethod = Method::Blackbox>

bool testZeroMatrixCharPoly

(

const CMethod &

cMeth = CMethod()

)

testFourFourMatrix()

bool testFourFourMatrix

(

)

main()

int main	(	int	argc,
		char **	argv )

Variable Documentation

writing

bool writing =false