linbox
1
|
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... |
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.
See the following reference for details on this algorithm:
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: