Dixon Lifting Container. More...

#include <lifting-container.h>

Inheritance diagram for DixonLiftingContainer< _Ring, _Field, _IMatrix, _FMatrix >:

Public Types
typedef _Field	Field

typedef _Ring	Ring

typedef _IMatrix	IMatrix

typedef _FMatrix	FMatrix

typedef Field::Element	Element

typedef IMatrix::Element	Integer_t

typedef BlasVector< Ring >	IVector

typedef BlasVector< Field >	FVector

Public Member Functions
template<class Prime_Type, class VectorIn>
	DixonLiftingContainer (const Ring &R, const Field &F, const IMatrix &A, const FMatrix &Ap, const VectorIn &b, const Prime_Type &p)

virtual	~DixonLiftingContainer ()

const Field &	field () const

virtual IVector &	nextdigit (IVector &, const IVector &) const =0

const_iterator	begin () const

const_iterator	end () const

virtual size_t	length () const

virtual size_t	size () const

virtual const Ring &	ring () const

virtual const Integer_t &	prime () const

const Integer_t	numbound () const

const Integer_t	denbound () const

const IMatrix &	getMatrix () const

const IVector &	getVector () const

Protected Member Functions
virtual IVector &	nextdigit (IVector &digit, const IVector &residu) const

void	convertPrime (Integer_t &e, const integer &p)

void	convertPrime (Integer_t &e, const std::vector< integer > &p)

Protected Attributes
const FMatrix &	_Ap

const Field *	_field

const VectorDomain< Field >	_VDF

FVector	_res_p

FVector	_digit_p

BlasApply< Field >	_BA

const IMatrix &	_matA

Ring	_intRing

Integer_t	_p

IVector	_b

VectorDomain< Ring >	_VDR

size_t	_length

Integer_t	_numbound

Integer_t	_denbound

MatrixApplyDomain< Ring, IMatrix >	_MAD

Detailed Description

template<class _Ring, class _Field, class _IMatrix, class _FMatrix>
class LinBox::DixonLiftingContainer< _Ring, _Field, _IMatrix, _FMatrix >

Dixon Lifting Container.

Member Typedef Documentation

◆ Field

template<class _Ring, class _Field, class _IMatrix, class _FMatrix>

typedef _Field Field

◆ Ring

template<class _Ring, class _Field, class _IMatrix, class _FMatrix>

typedef _Ring Ring

◆ IMatrix

template<class _Ring, class _Field, class _IMatrix, class _FMatrix>

typedef _IMatrix IMatrix

◆ FMatrix

template<class _Ring, class _Field, class _IMatrix, class _FMatrix>

typedef _FMatrix FMatrix

◆ Element

template<class _Ring, class _Field, class _IMatrix, class _FMatrix>

typedef Field::Element Element

◆ Integer_t

template<class _Ring, class _Field, class _IMatrix, class _FMatrix>

typedef IMatrix::Element Integer_t

◆ IVector

template<class _Ring, class _Field, class _IMatrix, class _FMatrix>

typedef BlasVector<Ring> IVector

◆ FVector

template<class _Ring, class _Field, class _IMatrix, class _FMatrix>

typedef BlasVector<Field> FVector

Constructor & Destructor Documentation

◆ DixonLiftingContainer()

template<class _Ring, class _Field, class _IMatrix, class _FMatrix>

template<class Prime_Type, class VectorIn>

DixonLiftingContainer	(	const Ring &	R,
		const Field &	F,
		const IMatrix &	A,
		const FMatrix &	Ap,
		const VectorIn &	b,
		const Prime_Type &	p )

inline

◆ ~DixonLiftingContainer()

template<class _Ring, class _Field, class _IMatrix, class _FMatrix>

virtual ~DixonLiftingContainer ( )

inlinevirtual

Member Function Documentation

◆ field()

template<class _Ring, class _Field, class _IMatrix, class _FMatrix>

const Field & field ( ) const

inline

◆ nextdigit() [1/2]

template<class _Ring, class _Field, class _IMatrix, class _FMatrix>

virtual IVector & nextdigit	(	IVector &	digit,
		const IVector &	residu ) const

inlineprotectedvirtual