linbox
|
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) | |
System Solving.
NO DOC