linbox

interface for solving linear system by padic lifting technique over the quotient field of a ring. More...
Data Structures  
class  RationalSolver< Ring, Field, RandomPrime, MethodTraits > 
Interface for the different specialization of padic lifting based solvers. More...  
Enumerations  
enum  SolverReturnStatus 
define the different return status of the padic based solver's computation.  
enum  SolverLevel 
Define the different strategy which can be used in the padic based solver. More...  
interface for solving linear system by padic lifting technique over the quotient field of a ring.
i.e. solution over the rational for an integer linear system.
#include "linbox/algorithms/rationalsolver.h>
See the following reference for details on this algorithm:
enum SolverLevel 
Define the different strategy which can be used in the padic based solver.
Used to determine what level of solving should be done:
SS_INCONSISTENT
, this means lastCertificate
satisfies and SS_OK
, this means lastCertificate
satisfies