linbox
Public Types | Public Member Functions | Protected Member Functions | Protected Attributes
BlockWiedemannLiftingContainer< _Ring, _Field, _IMatrix, _FMatrix > Class Template Referenceabstract

Block Wiedemann LiftingContianer. More...

#include <lifting-container.h>

+ Inheritance diagram for BlockWiedemannLiftingContainer< _Ring, _Field, _IMatrix, _FMatrix >:

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 BlasMatrix< Field > Coefficient
 
typedef BlasMatrix< Field > Block
 
typedef std::vector< Coefficient > FBlockPolynomial
 
typedef BlackboxBlockContainerRecord< Field, FMatrix > Sequence
 

Public Member Functions

template<class Prime_Type, class VectorIn>
 BlockWiedemannLiftingContainer (const Ring &R, const Field &F, const IMatrix &A, const FMatrix &Ap, const VectorIn &b, const Prime_Type &p, const size_t m, const size_t n)
 
virtual ~BlockWiedemannLiftingContainer ()
 
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
 
Field::RandIter _rand
 
size_t _row
 
size_t _col
 
size_t _m
 
size_t _n
 
Block UU
 
BlasMatrixDomain< Field > _BMD
 
Sequence * _Seq
 
BlockMasseyDomain< Field, Sequence > * _Dom
 
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::BlockWiedemannLiftingContainer< _Ring, _Field, _IMatrix, _FMatrix >

Block Wiedemann LiftingContianer.

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 Ring::Element Integer_t

◆ IVector

template<class _Ring, class _Field, class _IMatrix, class _FMatrix>
typedef std::vector<Integer_t> IVector

◆ FVector

template<class _Ring, class _Field, class _IMatrix, class _FMatrix>
typedef std::vector<Element> FVector

◆ Coefficient

template<class _Ring, class _Field, class _IMatrix, class _FMatrix>
typedef BlasMatrix<Field> Coefficient

◆ Block

template<class _Ring, class _Field, class _IMatrix, class _FMatrix>
typedef BlasMatrix<Field> Block

◆ FBlockPolynomial

template<class _Ring, class _Field, class _IMatrix, class _FMatrix>
typedef std::vector<Coefficient> FBlockPolynomial

◆ Sequence

template<class _Ring, class _Field, class _IMatrix, class _FMatrix>
typedef BlackboxBlockContainerRecord<Field, FMatrix> Sequence

Constructor & Destructor Documentation

◆ BlockWiedemannLiftingContainer()

template<class _Ring, class _Field, class _IMatrix, class _FMatrix>
template<class Prime_Type, class VectorIn>
BlockWiedemannLiftingContainer ( const Ring & R,
const Field & F,
const IMatrix & A,
const FMatrix & Ap,
const VectorIn & b,
const Prime_Type & p,
const size_t m,
const size_t n )
inline

◆ ~BlockWiedemannLiftingContainer()

template<class _Ring, class _Field, class _IMatrix, class _FMatrix>
virtual ~BlockWiedemannLiftingContainer ( )
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

◆ convertPrime() [1/2]

template<class _Ring, class _IMatrix>
void convertPrime ( Integer_t & e,
const integer & p )
inlineprotectedinherited

◆ convertPrime() [2/2]

template<class _Ring, class _IMatrix>
void convertPrime ( Integer_t & e,
const std::vector< integer > & p )
inlineprotectedinherited

◆ nextdigit() [2/2]

template<class _Ring, class _IMatrix>
virtual IVector & nextdigit ( IVector & ,
const IVector &  ) const
pure virtualinherited

◆ begin()

template<class _Ring, class _IMatrix>
const_iterator begin ( ) const
inlineinherited

◆ end()

template<class _Ring, class _IMatrix>
const_iterator end ( ) const
inlineinherited

◆ length()

template<class _Ring, class _IMatrix>
virtual size_t length ( ) const
inlinevirtualinherited

Implements LiftingContainer< _Ring >.

◆ size()

template<class _Ring, class _IMatrix>
virtual size_t size ( ) const
inlinevirtualinherited

Implements LiftingContainer< _Ring >.

◆ ring()

template<class _Ring, class _IMatrix>
virtual const Ring & ring ( ) const
inlinevirtualinherited

Implements LiftingContainer< _Ring >.

◆ prime()

template<class _Ring, class _IMatrix>
virtual const Integer_t & prime ( ) const
inlinevirtualinherited

Implements LiftingContainer< _Ring >.

◆ numbound()

template<class _Ring, class _IMatrix>
const Integer_t numbound ( ) const
inlineinherited

◆ denbound()

template<class _Ring, class _IMatrix>
const Integer_t denbound ( ) const
inlineinherited

◆ getMatrix()

template<class _Ring, class _IMatrix>
const IMatrix & getMatrix ( ) const
inlineinherited

◆ getVector()

template<class _Ring, class _IMatrix>
const IVector & getVector ( ) const
inlineinherited

Field Documentation

◆ _Ap

template<class _Ring, class _Field, class _IMatrix, class _FMatrix>
const FMatrix& _Ap
protected

◆ _field

template<class _Ring, class _Field, class _IMatrix, class _FMatrix>
const Field* _field
protected

◆ _VDF

template<class _Ring, class _Field, class _IMatrix, class _FMatrix>
const VectorDomain<Field> _VDF
protected

◆ _res_p

template<class _Ring, class _Field, class _IMatrix, class _FMatrix>
FVector _res_p
mutableprotected

◆ _digit_p

template<class _Ring, class _Field, class _IMatrix, class _FMatrix>
FVector _digit_p
mutableprotected

◆ _rand

template<class _Ring, class _Field, class _IMatrix, class _FMatrix>
Field::RandIter _rand
protected

◆ _row

template<class _Ring, class _Field, class _IMatrix, class _FMatrix>
size_t _row
protected

◆ _col

template<class _Ring, class _Field, class _IMatrix, class _FMatrix>
size_t _col
protected

◆ _m

template<class _Ring, class _Field, class _IMatrix, class _FMatrix>
size_t _m
protected

◆ _n

template<class _Ring, class _Field, class _IMatrix, class _FMatrix>
size_t _n
protected

◆ UU

template<class _Ring, class _Field, class _IMatrix, class _FMatrix>
Block UU
protected

◆ _BMD

template<class _Ring, class _Field, class _IMatrix, class _FMatrix>
BlasMatrixDomain<Field> _BMD
protected

◆ _Seq

template<class _Ring, class _Field, class _IMatrix, class _FMatrix>
Sequence* _Seq
protected

◆ _Dom

template<class _Ring, class _Field, class _IMatrix, class _FMatrix>
BlockMasseyDomain<Field,Sequence>* _Dom
protected

◆ _matA

template<class _Ring, class _IMatrix>
const IMatrix& _matA
protectedinherited

◆ _intRing

template<class _Ring, class _IMatrix>
Ring _intRing
protectedinherited

◆ _p

template<class _Ring, class _IMatrix>
Integer_t _p
protectedinherited

◆ _b

template<class _Ring, class _IMatrix>
IVector _b
protectedinherited

◆ _VDR

template<class _Ring, class _IMatrix>
VectorDomain<Ring> _VDR
protectedinherited

◆ _length

template<class _Ring, class _IMatrix>
size_t _length
protectedinherited

◆ _numbound

template<class _Ring, class _IMatrix>
Integer_t _numbound
protectedinherited

◆ _denbound

template<class _Ring, class _IMatrix>
Integer_t _denbound
protectedinherited

◆ _MAD

template<class _Ring, class _IMatrix>
MatrixApplyDomain<Ring,IMatrix> _MAD
protectedinherited
The documentation for this class was generated from the following file:
Generated on Fri Jan 16 2026 00:40:05 for linbox by doxygen 1.13.2