System Solving. More...
#include <vector>#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/field/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"
Include dependency graph for solve.h:
This graph shows which files directly or indirectly include this file:
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, typename Vector< Ring >::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, typename Vector< Ring >::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
