Main Page | Modules | Namespace List | Class Hierarchy | Class List | File List | Namespace Members | Class Members | File Members | Related Pages

p-adic lifting for linear system solutions.
[linbox/algorithms]


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:


Classes

class  RationalSolver
 interface for the different specialization of p-adic lifting based solvers. More...


Enumerations

enum  LinBox::SolverReturnStatus
 define the different return status of the p-adic based solver's computation. More...

enum  LinBox::SolverLevel
 define the different strategy which can be used in the p-adic based solver. More...


Enumeration Type Documentation

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.

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 Thu Feb 8 22:32:56 2007 for linbox by doxygen 1.3.4