linbox  1
Public Member Functions
RationalReconstruction< _LiftingContainer > Class Template Reference

Limited doc so far. Used, for instance, after LiftingContainer. More...

#include <rational-reconstruction.h>

List of all members.

Public Member Functions

 RationalReconstruction (const LiftingContainer &lcontainer, const Ring &r=Ring(), int THRESHOLD=DEF_THRESH)
 Constructor maybe use different ring than the ring in lcontainer.
const LiftingContainer & getContainer () const
 Get the LiftingContainer.
template<class Vector >
bool getRational (Vector &num, Integer &den, int switcher) const
 Handler to switch between different rational reconstruction strategy. Allow early termination and direct fast method Switch is made by using a threshold as the third argument (default is set to that of constructor THRESHOLD 0 -> direct method > 0 -> early termination with.
template<class Vector >
bool getRational1 (Vector &num, Integer &den) const
 Reconstruct a vector of rational numbers from p-adic digit vector sequence. An early termination technique is used. Answer is a pair (numerator, common denominator) The trick to reconstruct the raitonal solution (V. Pan) is implemented. Implement the certificate idea, preprint submitted to ISSAC'05.
template<class Vector >
bool getRational2 (Vector &num, Integer &den) const
 Reconstruct a vector of rational numbers from p-adic digit vector sequence. An early termination technique is used. Answer is a vector of pair (num, den)
template<class Vector1 >
bool getRational3 (Vector1 &num, Integer &den) const
 Reconstruct a vector of rational numbers from p-adic digit vector sequence. compute all digits and reconstruct rationals only once Result is a vector of numerators and one common denominator.

Detailed Description

template<class _LiftingContainer>
class LinBox::RationalReconstruction< _LiftingContainer >

Limited doc so far. Used, for instance, after LiftingContainer.


Member Function Documentation

bool getRational2 ( Vector &  num,
Integer &  den 
) const [inline]

Reconstruct a vector of rational numbers from p-adic digit vector sequence. An early termination technique is used. Answer is a vector of pair (num, den)

Note, this may fail. Generically, the probability of failure should be 1/p^n where n is the number of elements being constructed since p is usually quite large this should be ok


The documentation for this class was generated from the following file: