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)

Generated on Sat Nov 7 06:19:29 2009 for linbox by  doxygen 1.6.1