Wiedemann LiftingContianer. More...

#include <lifting-container.h>

Inheritance diagram for WiedemannLiftingContainer< _Ring, _Field, _IMatrix, _FMatrix, _FPolynomial >:

Public Types
typedef _Field	Field

typedef _Ring	Ring

typedef _IMatrix	IMatrix

typedef _FMatrix	FMatrix

typedef Field::Element	Element

typedef Ring::Element	Integer_t

typedef std::vector< Integer_t >	IVector

typedef std::vector< Element >	FVector

typedef _FPolynomial	FPolynomial

typedef FPolynomial::iterator	FPolyIterator

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

virtual	~WiedemannLiftingContainer ()

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

FPolynomial	_MinPoly

const Field *	_field

const VectorDomain< Field >	_VDF

FVector	_res_p

FVector	_digit_p

Field::RandIter	_rand

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 _FPolynomial>
class LinBox::WiedemannLiftingContainer< _Ring, _Field, _IMatrix, _FMatrix, _FPolynomial >

Wiedemann LiftingContianer.

Member Typedef Documentation

◆ Field

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

typedef _Field Field

◆ Ring

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

typedef _Ring Ring

◆ IMatrix

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

typedef _IMatrix IMatrix

◆ FMatrix

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

typedef _FMatrix FMatrix

◆ Element

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

typedef Field::Element Element

◆ Integer_t

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

typedef Ring::Element Integer_t

◆ IVector

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

typedef std::vector<Integer_t> IVector

◆ FVector

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

typedef std::vector<Element> FVector

◆ FPolynomial

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

typedef _FPolynomial FPolynomial

◆ FPolyIterator

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

typedef FPolynomial::iterator FPolyIterator

Constructor & Destructor Documentation

◆ WiedemannLiftingContainer()

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

template<class Prime_Type, class VectorIn>

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

inline

◆ ~WiedemannLiftingContainer()

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

virtual ~WiedemannLiftingContainer ( )

inlinevirtual

Member Function Documentation

◆ field()

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

const Field & field ( ) const

inline

◆ nextdigit() [1/2]

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

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

inlineprotectedvirtual