rational-solver.h File Reference

Rational solving (Dixon, Wiedemann,...) More...

#include <iostream>
#include "linbox/linbox-config.h"
#include "linbox/util/debug.h"
#include "linbox/solutions/methods.h"
#include "linbox/blackbox/archetype.h"
#include "linbox/matrix/dense-matrix.h"
#include "linbox/blackbox/lambda-sparse.h"
#include "linbox/blackbox/compose.h"
#include "linbox/algorithms/vector-fraction.h"
#include "linbox/util/timer.h"
#include "./dixon-solver/dixon-solver-dense.h"
#include "linbox/algorithms/rational-solver.inl"

Data Structures
class	DixonSolver< Ring, Field, RandomPrime, MethodTraits >
	Interface for the different specialization of p-adic lifting based solvers. More...
class	DixonSolver< Ring, Field, RandomPrime, Method::Wiedemann >
	Partial specialization of p-adic based solver with Wiedemann algorithm. More...
class	DixonSolver< Ring, Field, RandomPrime, Method::BlockWiedemann >
	partial specialization of p-adic based solver with block Wiedemann algorithm. More...
class	DixonSolver< Ring, Field, RandomPrime, Method::BlockHankel >
	Block Hankel. More...
class	DixonSolver< Ring, Field, RandomPrime, Method::SparseElimination >
	Sparse LU. More...

Namespaces
namespace	LinBox
	Namespace in which all linbox code resides.

Macros
#define	SINGULARITY_THRESHOLD   5
#define	BAD_PRECONTITIONER_THRESHOLD   5
#define	DEFAULT_MAXPRIMES   5
#define	SL_DEFAULT   SL_LASVEGAS

Enumerations
enum	SolverReturnStatus {   SS_OK , SS_FAILED , SS_SINGULAR , SS_INCONSISTENT ,   SS_BAD_PRECONDITIONER }
	define the different return status of the p-adic based solver's computation. More...
enum	SolverLevel { SL_MONTECARLO , SL_LASVEGAS , SL_CERTIFIED }
	Define the different strategy which can be used in the p-adic based solver. More...

Detailed Description

Rational solving (Dixon, Wiedemann,...)

Macro Definition Documentation

SINGULARITY_THRESHOLD

#define SINGULARITY_THRESHOLD   5

BAD_PRECONTITIONER_THRESHOLD

#define BAD_PRECONTITIONER_THRESHOLD   5

DEFAULT_MAXPRIMES

#define DEFAULT_MAXPRIMES   5

SL_DEFAULT

#define SL_DEFAULT   SL_LASVEGAS