linbox  1
Classes | Enumerations
p-adic lifting for linear system solutions.
linbox/algorithms

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. More...

Classes

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...

Detailed Description

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.

Headers
#include<linbox/algorithms/rational-solver.h>
References

See the following reference for details on this algorithm:


Enumeration Type Documentation

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:

  • Monte Carlo: Try to solve if possible, but result is not guaranteed. In any case a 0 denominator should not be returned.
  • Las Vegas : Result should be guaranteed correct.
  • Certified : Additionally, provide certificates that the result returned is correct.
    • if the return value is SS_INCONSISTENT, this means lastCertificate satisfies lC.A = 0, lC.b != 0
    • if diophantine solving was called and the return value is SS_OK, this means lastCertificate satisfies den(lC.A) = 1, den(lC.b) = den(answer)