Givaro
Protected Member Functions
ZRing< _Element > Class Template Reference

Class ZRing. More...

#include <zring.h>

Protected Member Functions

void RationalReconstruction (Element &a, Element &b, const Element &f, const Element &m, const Element &k, bool forcereduce, bool recursive) const
 Rational number reconstruction. More...
 

Detailed Description

template<class _Element>
class Givaro::ZRing< _Element >

Class ZRing.

Ring of integers, using the _Element base type.

Member Function Documentation

◆ RationalReconstruction()

void RationalReconstruction ( Element &  a,
Element &  b,
const Element &  f,
const Element &  m,
const Element &  k,
bool  forcereduce,
bool  recursive 
) const
inlineprotected

Rational number reconstruction.

$\frac{n}{d} \equiv f \mod m$, with $\vert n \vert <k$ and $0 < \vert d \vert \leq \frac{f}{k}$.

Bibliography:
  • von zur Gathen & Gerhard, Modern Computer Algebra, 5.10, Cambridge Univ. Press 1999

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