linbox
|
interface for solving linear system by p-adic lifting technique over the quotient field of a ring. More...
Data Structures | |
class | RationalSolver< Ring, Field, RandomPrime, MethodTraits > |
Interface for the different specialization of p-adic lifting based solvers. More... | |
Enumerations | |
enum | SolverReturnStatus |
define the different return status of the p-adic based solver's computation. | |
enum | SolverLevel |
Define the different strategy which can be used in the p-adic based solver. More... |
interface for solving linear system by p-adic lifting technique over the quotient field of a ring.
i.e. solution over the rational for an integer linear system.
#include <linbox/algorithms/rational-solver.h>
See the following reference for details on this algorithm:
- Robert T. Moenck and John H. Carter Approximate algorithms to derive exact solutions to system of linear equations. In Proc. EUROSAM'79, volume 72 of Lectures Note in Computer Science, pages 65-72, Berlin-Heidelberger-New York, 1979. Springer-Verlag.
enum SolverLevel |
Define the different strategy which can be used in the p-adic based solver.
Used to determine what level of solving should be done:
SS_INCONSISTENT
, this means lastCertificate
satisfies SS_OK
, this means lastCertificate
satisfies