test-smith-form-binary.C File Reference

Test the EGV divide and conquer SNF alg. More...

#include "linbox/linbox-config.h"
#include "linbox/randiter/random-prime.h"
#include "linbox/algorithms/last-invariant-factor.h"
#include "linbox/algorithms/one-invariant-factor.h"
#include "linbox/algorithms/smith-form-binary.h"
#include "linbox/algorithms/smith-form-adaptive.h"
#include "linbox/blackbox/scompose.h"
#include "linbox/blackbox/random-matrix.h"
#include "linbox/algorithms/rational-solver.h"
#include <givaro/modular.h>
#include "linbox/util/commentator.h"
#include "test-smith-form.h"

Typedefs
typedef Givaro::ZRing< Integer >	PIR
typedef Givaro::Modular< double >	Field
using	PrimeGenerator = PrimeIterator<IteratorCategories::HeuristicTag>
typedef DixonSolver< PIR, Field, PrimeGenerator >	Solver
typedef LastInvariantFactor< PIR, Solver >	LIF
typedef OneInvariantFactor< PIR, LIF, SCompose, RandomMatrix >	OIF
typedef SmithFormBinary< PIR, OIF >	SF

Functions
template<typename Vect>
void	spaceBumps (size_t m, size_t n, Vect &bumps, Vect &lumps)
template<typename Mat, typename Vect>
bool	checkBumpsLumps (SF &sf, Mat &A, Vect &d, Vect &x, const Vect &bumps, const Vect &lumps)
int	main (int argc, char **argv)

Detailed Description

Test the EGV divide and conquer SNF alg.

Typedef Documentation

PIR

typedef Givaro::ZRing<Integer> PIR

Field

typedef Givaro::Modular<double> Field

PrimeGenerator

using PrimeGenerator = PrimeIterator<IteratorCategories::HeuristicTag>

Solver

typedef DixonSolver<PIR, Field, PrimeGenerator> Solver

LIF

typedef LastInvariantFactor<PIR, Solver> LIF

OIF

typedef OneInvariantFactor<PIR, LIF, SCompose, RandomMatrix> OIF

SF

typedef SmithFormBinary<PIR, OIF > SF

Function Documentation

spaceBumps()

template<typename Vect>

void spaceBumps	(	size_t	m,
		size_t	n,
		Vect &	bumps,
		Vect &	lumps )

checkBumpsLumps()

template<typename Mat, typename Vect>

bool checkBumpsLumps	(	SF &	sf,
		Mat &	A,
		Vect &	d,
		Vect &	x,
		const Vect &	bumps,
		const Vect &	lumps )

main()

int main	(	int	argc,
		char **	argv )