RationalSolver< Ring, Field, RandomPrime, NumericalTraits > Class Template Reference

#include <rational-solver.h>

---

Detailed Description

template<class Ring, class Field, class RandomPrime>
class LinBox::RationalSolver< Ring, Field, RandomPrime, NumericalTraits >

partial specialization of p-adic based solver with a hybrid Numeric/Symbolic computation

See the following reference for details on this implementation:

• Zhendong Wan: Exactly solve integer linear systems using numerical methods. Submitted to Journal of Symbolic Computation, 2004.

Public Types
typedef Ring::Element	Integer
Public Member Functions
	RationalSolver (const Ring &_r=Ring())
template<class IMatrix, class OutVector, class InVector> SolverReturnStatus	solve (OutVector &num, Integer &den, const IMatrix &M, const InVector &b) const
Protected Attributes
Ring	r

---

Member Typedef Documentation

typedef Ring::Element Integer

---

Member Function Documentation

RationalSolver (  const Ring &  _r = Ring()  )  [inline]

SolverReturnStatus solve (  OutVector &  num, Integer &  den, const IMatrix &  M, const InVector &  b )  const [inline]

---

Field Documentation

Ring r [protected]

---