linbox
Namespaces | Functions
solve.h File Reference

System Solving. More...

#include <algorithm>
#include "linbox/algorithms/gauss.h"
#include "linbox/algorithms/gauss-gf2.h"
#include "linbox/algorithms/wiedemann.h"
#include "linbox/algorithms/rational-solver.h"
#include "linbox/algorithms/diophantine-solver.h"
#include "linbox/matrix/factorized-matrix.h"
#include "linbox/util/debug.h"
#include "linbox/util/error.h"
#include "linbox/vector/vector-domain.h"
#include "linbox/solutions/methods.h"
#include "linbox/algorithms/bbsolve.h"
#include "linbox/algorithms/rational-cra2.h"
#include "linbox/algorithms/varprec-cra-early-multip.h"
#include "linbox/algorithms/block-wiedemann.h"
#include "linbox/algorithms/coppersmith.h"
#include "linbox/ring/modular.h"
#include "linbox/algorithms/rational-cra.h"
#include "linbox/algorithms/rational-cra-early-multip.h"
#include "linbox/randiter/random-prime.h"
#include "linbox/algorithms/matrix-hom.h"
#include "linbox/vector/vector-traits.h"
#include "linbox/config-blas.h"

Namespaces

 LinBox
 Namespace in which all linbox code resides.
 

Functions

template<class Vector , class Blackbox , class SolveMethod >
Vector & solve (Vector &x, const Blackbox &A, const Vector &b, const SolveMethod &M)
 Solve Ax = b, for x. More...
 
template<class Vector , class Blackbox >
Vector & solve (Vector &x, const Blackbox &A, const Vector &b)
 the solve with default method.
 
template<class Vector , class BB >
Vector & solve (Vector &x, typename BB::Field::Element &d, const BB &A, const Vector &b)
 2nd integer solver API : solution is a formed by a common denominator and a vector of integer numerator solution is num/d BB: why not a struct RatVector2 { IntVector _n ; Int _d } ; ?
 
template<class Vector , class BB , class MethodTraits >
Vector & solve (Vector &x, typename BB::Field::Element &d, const BB &A, const Vector &b, const MethodTraits &m)
 2nd integer solver API : solution is a formed by a common denominator and a vector of integer numerator solution is num/d BB: why not a struct RatVector2 { IntVector _n ; Int _d } ; ?
 
template<class Vector , class BB >
Vector & solve (Vector &x, typename BB::Field::Element &d, const BB &A, const Vector &b, const RingCategories::IntegerTag &tag, const Method::BlasElimination &m)
 2nd integer solver API : solution is a formed by a common denominator and a vector of integer numerator solution is num/d BB: why not a struct RatVector2 { IntVector _n ; Int _d } ; ?
 
template<class Vector , class Ring >
Vector & solve (Vector &x, typename Ring::Element &d, const BlasMatrix< Ring > &A, const Vector &b, const RingCategories::IntegerTag &tag, const Method::BlasElimination &m)
 
template<class Vect , class Ring >
Vect & solve (Vect &x, typename Ring::Element &d, const SparseMatrix< Ring, SparseMatrixFormat::SparseSeq > &A, const Vect &b, const RingCategories::IntegerTag &tag, const Method::SparseElimination &m)
 2nd integer solver API : solution is a formed by a common denominator and a vector of integer numerator solution is num/d BB: why not a struct RatVector2 { IntVector _n ; Int _d } ; ?
 
template<class Vector , class Ring >
Vector & solve (Vector &x, typename Ring::Element &d, const BlasMatrix< Ring > &A, const Vector &b, const RingCategories::IntegerTag tag, Method::Dixon &m)
 solver specialization with the 2nd API and DixonTraits over integer (no copying)
 
template<class Vect , class Ring >
Vect & solve (Vect &x, typename Ring::Element &d, const SparseMatrix< Ring, SparseMatrixFormat::SparseSeq > &A, const Vect &b, const RingCategories::IntegerTag tag, Method::Dixon &m)
 solver specialization with the 2nd API and DixonTraits over integer (no copying)
 

Detailed Description

System Solving.

NO DOC