linbox: RReconstruction< Ring, RRBase > Struct Template Reference

linbox

#include <rational-reconstruction-base.h>

Public Types
typedef Ring::Element	Element

Public Member Functions
	RReconstruction (const Ring &Z=Ring(), const RReconstructionSchedule Meth=GEOMETRIC, size_t T=1, size_t b=0)

	RReconstruction (const RRBase &RR, const RReconstructionSchedule Meth=GEOMETRIC, size_t T=1, size_t b=0)

int	getCounter ()

bool	scheduled (const size_t i) const

template<class Vect>
bool	RationalReconstruction (Vect &a, Element &b, const Vect &x, const Element m, const int inc=1) const

bool	RationalReconstruction (Element &a, Element &b, const Element &x, const Element &m) const

bool	RationalReconstruction (Element &a, Element &b, const Element &x, const Element &m, const Element &a_bound) const

bool	RationalReconstruction (Element &a, Element &b, const Element &x, const Element &m, const Element &a_bound, const Element &b_bound) const

Protected Attributes
Ring	_intRing

RRBase	_RR

size_t	RecCounter

const RReconstructionSchedule	_meth

const size_t	THRESHOLD_

const size_t	rbound_

Member Typedef Documentation

◆ Element

template<class Ring = Givaro::ZRing<Integer>, class RRBase = RReconstructionBase<Givaro::ZRing<Integer> >>

typedef Ring::Element Element

Constructor & Destructor Documentation

◆ RReconstruction() [1/2]

template<class Ring = Givaro::ZRing<Integer>, class RRBase = RReconstructionBase<Givaro::ZRing<Integer> >>

RReconstruction	(	const Ring &	Z = Ring(),
		const RReconstructionSchedule	Meth = GEOMETRIC,
		size_t	T = 1,
		size_t	b = 0 )

inline

◆ RReconstruction() [2/2]

template<class Ring = Givaro::ZRing<Integer>, class RRBase = RReconstructionBase<Givaro::ZRing<Integer> >>

RReconstruction	(	const RRBase &	RR,
		const RReconstructionSchedule	Meth = GEOMETRIC,
		size_t	T = 1,
		size_t	b = 0 )

inline

Member Function Documentation

◆ getCounter()

template<class Ring = Givaro::ZRing<Integer>, class RRBase = RReconstructionBase<Givaro::ZRing<Integer> >>

int getCounter ( )

inline

◆ scheduled()

template<class Ring = Givaro::ZRing<Integer>, class RRBase = RReconstructionBase<Givaro::ZRing<Integer> >>

bool scheduled ( const size_t i ) const

inline

◆ RationalReconstruction() [1/4]

template<class Ring = Givaro::ZRing<Integer>, class RRBase = RReconstructionBase<Givaro::ZRing<Integer> >>

template<class Vect>

bool RationalReconstruction	(	Vect &	a,
		Element &	b,
		const Vect &	x,
		const Element	m,
		const int	inc = 1 ) const

inline

◆ RationalReconstruction() [2/4]

template<class Ring = Givaro::ZRing<Integer>, class RRBase = RReconstructionBase<Givaro::ZRing<Integer> >>

bool RationalReconstruction	(	Element &	a,
		Element &	b,
		const Element &	x,
		const Element &	m ) const

inline

◆ RationalReconstruction() [3/4]

template<class Ring = Givaro::ZRing<Integer>, class RRBase = RReconstructionBase<Givaro::ZRing<Integer> >>

bool RationalReconstruction	(	Element &	a,
		Element &	b,
		const Element &	x,
		const Element &	m,
		const Element &	a_bound ) const

inline

◆ RationalReconstruction() [4/4]

template<class Ring = Givaro::ZRing<Integer>, class RRBase = RReconstructionBase<Givaro::ZRing<Integer> >>

bool RationalReconstruction	(	Element &	a,
		Element &	b,
		const Element &	x,
		const Element &	m,
		const Element &	a_bound,
		const Element &	b_bound ) const

inline

Field Documentation

◆ _intRing

template<class Ring = Givaro::ZRing<Integer>, class RRBase = RReconstructionBase<Givaro::ZRing<Integer> >>

Ring _intRing

protected

◆ _RR

template<class Ring = Givaro::ZRing<Integer>, class RRBase = RReconstructionBase<Givaro::ZRing<Integer> >>

RRBase _RR

protected

◆ RecCounter

template<class Ring = Givaro::ZRing<Integer>, class RRBase = RReconstructionBase<Givaro::ZRing<Integer> >>

size_t RecCounter

mutableprotected

◆ _meth

template<class Ring = Givaro::ZRing<Integer>, class RRBase = RReconstructionBase<Givaro::ZRing<Integer> >>

const RReconstructionSchedule _meth

protected

◆ THRESHOLD_

template<class Ring = Givaro::ZRing<Integer>, class RRBase = RReconstructionBase<Givaro::ZRing<Integer> >>

const size_t THRESHOLD_

protected

◆ rbound_

template<class Ring = Givaro::ZRing<Integer>, class RRBase = RReconstructionBase<Givaro::ZRing<Integer> >>

const size_t rbound_

protected

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

rational-reconstruction-base.h