#include <fibb.h>

Inheritance diagram for FIBB< Ring >:

Public Types
using	Field = Ring

using	Element = typename Ring::Element

using	ResizableMatrix = DenseMatrix<Field>

using	Matrix = DenseMatrix<Field>

Public Member Functions
virtual	~FIBB ()

virtual size_t &	rank (size_t &r) const =0

virtual Element &	det (Element &d) const =0

virtual Matrix &	solveRight (Matrix &Y, const Matrix &X) const =0
	Y: AY = X, for this A.

virtual Matrix &	solveLeft (Matrix &Y, const Matrix &X) const =0
	Y: YA = X, for this A.

virtual Matrix &	nullspaceRandomRight (Matrix &N) const =0
	N: AN = 0, each col random.

virtual Matrix &	nullspaceRandomLeft (Matrix &N) const =0
	N: NA = 0, each row random.

virtual ResizableMatrix &	nullspaceBasisRight (ResizableMatrix &B) const =0
	B: columns are a right nullspace basis for this A.

virtual ResizableMatrix &	nullspaceBasisLeft (ResizableMatrix &B) const =0
	BA= 0 and xA = 0 => exists y: x = yB and B full rank.

virtual BBType	bbTag () const =0

virtual size_t	rowdim () const =0

virtual size_t	coldim () const =0

virtual const Field &	field () const =0

virtual std::ostream &	write (std::ostream &os) const =0

virtual std::istream &	read (std::istream &os)=0

virtual Matrix &	applyLeft (Matrix &Y, const Matrix &X) const =0

virtual Matrix &	applyRight (Matrix &Y, const Matrix &X) const =0

template<class OutVector, class InVector>
OutVector &	apply (OutVector &y, const InVector &x) const

template<class OutVector, class InVector>
OutVector &	applyTranspose (OutVector &y, const InVector &x) const

template<typename BB2>
void	map (BB2 &A)

Member Typedef Documentation

◆ Field

template<class Ring>

using Field = Ring

◆ Element

template<class Ring>

using Element = typename Ring::Element

◆ ResizableMatrix

template<class Ring>

using ResizableMatrix = DenseMatrix<Field>

◆ Matrix

template<class Ring>

using Matrix = DenseMatrix<Field>

Constructor & Destructor Documentation

◆ ~FIBB()

template<class Ring>

virtual ~FIBB ( )

inlinevirtual

Member Function Documentation

◆ rank()

template<class Ring>

virtual size_t & rank ( size_t & r ) const

pure virtual

Implemented in FIBBProduct< Field_ >, FIBBProduct< Field >, FIBBProduct< Field >, Permutation< _Field, _Matrix >, Permutation< _Tp1 >, Permutation< _Tp1 >, Permutation< Field >, Permutation< Field >, TriangularFIBB< Field_ >, TriangularFIBB< _Tp1 >, TriangularFIBB< _Tp1 >, TriangularFIBB< Field >, and TriangularFIBB< Field >.

◆ det()

template<class Ring>

virtual Element & det ( Element & d ) const

pure virtual

Implemented in FIBBProduct< Field >, FIBBProduct< Field >, Permutation< Field >, Permutation< Field >, TriangularFIBB< Field >, and TriangularFIBB< Field >.

◆ solveRight()

template<class Ring>

virtual Matrix & solveRight	(	Matrix &	Y,
		const Matrix &	X ) const

pure virtual

Y: AY = X, for this A.

Solve nonsingular or consistent singular system. If it is consistent singular, an arbitrary solution is provided. X and Y must have identical shape.

Note that Y+Z is a random sample of the solution space after {solveRight(Y, X); nullspaceRandomRight(Z);}.

Behaviour is unspecified for inconsistent systems (see solveMP).

Implemented in FIBBProduct< Field_ >, FIBBProduct< Field >, FIBBProduct< Field >, Permutation< Field >, Permutation< Field >, TriangularFIBB< Field_ >, TriangularFIBB< _Tp1 >, TriangularFIBB< _Tp1 >, TriangularFIBB< Field >, and TriangularFIBB< Field >.

◆ solveLeft()

template<class Ring>

virtual Matrix & solveLeft	(	Matrix &	Y,
		const Matrix &	X ) const

pure virtual

Y: YA = X, for this A.

Implemented in FIBBProduct< Field_ >, FIBBProduct< Field >, FIBBProduct< Field >, Permutation< Field >, Permutation< Field >, TriangularFIBB< Field_ >, TriangularFIBB< _Tp1 >, TriangularFIBB< _Tp1 >, TriangularFIBB< Field >, and TriangularFIBB< Field >.

◆ nullspaceRandomRight()

template<class Ring>

virtual Matrix & nullspaceRandomRight ( Matrix & N ) const

pure virtual

N: AN = 0, each col random.

Implemented in FIBBProduct< Field_ >, FIBBProduct< Field >, FIBBProduct< Field >, Permutation< Field >, Permutation< Field >, TriangularFIBB< Field_ >, TriangularFIBB< _Tp1 >, TriangularFIBB< _Tp1 >, TriangularFIBB< Field >, and TriangularFIBB< Field >.

◆ nullspaceRandomLeft()

template<class Ring>

virtual Matrix & nullspaceRandomLeft ( Matrix & N ) const

pure virtual

N: NA = 0, each row random.

Implemented in FIBBProduct< Field_ >, FIBBProduct< Field >, FIBBProduct< Field >, Permutation< Field >, Permutation< Field >, TriangularFIBB< Field_ >, TriangularFIBB< _Tp1 >, TriangularFIBB< _Tp1 >, TriangularFIBB< Field >, and TriangularFIBB< Field >.

◆ nullspaceBasisRight()

template<class Ring>

virtual ResizableMatrix & nullspaceBasisRight ( ResizableMatrix & B ) const

pure virtual

B: columns are a right nullspace basis for this A.

B is resized and filled so that: (1) AB = 0, (2) Ax = 0 => exists y: x = By, and (3) B has full rank.

Implemented in Permutation< Field >, and Permutation< Field >.

◆ nullspaceBasisLeft()

template<class Ring>

virtual ResizableMatrix & nullspaceBasisLeft ( ResizableMatrix & B ) const

pure virtual

BA= 0 and xA = 0 => exists y: x = yB and B full rank.

Implemented in Permutation< Field >, and Permutation< Field >.

◆ bbTag()

template<class Ring>

virtual BBType bbTag ( ) const

pure virtualinherited

Implemented in FIBBProduct< Field_ >, FIBBProduct< Field >, FIBBProduct< Field >, Permutation< _Field, _Matrix >, Permutation< _Tp1 >, Permutation< _Tp1 >, Permutation< Field >, Permutation< Field >, TriangularFIBB< Field_ >, TriangularFIBB< _Tp1 >, TriangularFIBB< _Tp1 >, TriangularFIBB< Field >, and TriangularFIBB< Field >.

◆ rowdim()

template<class Ring>

virtual size_t rowdim ( ) const

pure virtualinherited

Implemented in FIBBProduct< Field_ >, FIBBProduct< Field >, FIBBProduct< Field >, Permutation< _Field, _Matrix >, Permutation< _Tp1 >, Permutation< _Tp1 >, Permutation< Field >, Permutation< Field >, TriangularFIBB< Field_ >, TriangularFIBB< _Tp1 >, TriangularFIBB< _Tp1 >, TriangularFIBB< Field >, and TriangularFIBB< Field >.

◆ coldim()

template<class Ring>

virtual size_t coldim ( ) const

pure virtualinherited

Implemented in FIBBProduct< Field_ >, FIBBProduct< Field >, FIBBProduct< Field >, Permutation< _Field, _Matrix >, Permutation< _Tp1 >, Permutation< _Tp1 >, Permutation< Field >, Permutation< Field >, TriangularFIBB< Field_ >, TriangularFIBB< _Tp1 >, TriangularFIBB< _Tp1 >, TriangularFIBB< Field >, and TriangularFIBB< Field >.

◆ field()

template<class Ring>

virtual const Field & field ( ) const

pure virtualinherited

Implemented in FIBBProduct< Field_ >, FIBBProduct< Field >, FIBBProduct< Field >, Permutation< _Field, _Matrix >, Permutation< _Tp1 >, Permutation< _Tp1 >, Permutation< Field >, Permutation< Field >, TriangularFIBB< Field_ >, TriangularFIBB< _Tp1 >, TriangularFIBB< _Tp1 >, TriangularFIBB< Field >, and TriangularFIBB< Field >.

◆ write()

template<class Ring>

virtual std::ostream & write ( std::ostream & os ) const

pure virtualinherited

Implemented in FIBBProduct< Field_ >, FIBBProduct< Field >, FIBBProduct< Field >, Permutation< _Field, _Matrix >, Permutation< _Tp1 >, Permutation< _Tp1 >, Permutation< Field >, Permutation< Field >, TriangularFIBB< Field_ >, TriangularFIBB< _Tp1 >, TriangularFIBB< _Tp1 >, TriangularFIBB< Field >, and TriangularFIBB< Field >.

◆ read()

template<class Ring>

virtual std::istream & read ( std::istream & os )

pure virtualinherited

Implemented in FIBBProduct< Field_ >, FIBBProduct< Field >, FIBBProduct< Field >, Permutation< _Field, _Matrix >, Permutation< _Tp1 >, Permutation< _Tp1 >, Permutation< Field >, Permutation< Field >, TriangularFIBB< Field_ >, TriangularFIBB< _Tp1 >, TriangularFIBB< _Tp1 >, TriangularFIBB< Field >, and TriangularFIBB< Field >.

◆ applyLeft()

template<class Ring>

virtual Matrix & applyLeft	(	Matrix &	Y,
		const Matrix &	X ) const

pure virtualinherited

Implemented in FIBBProduct< Field_ >, FIBBProduct< Field >, FIBBProduct< Field >, Permutation< Field >, Permutation< Field >, TriangularFIBB< Field_ >, TriangularFIBB< _Tp1 >, TriangularFIBB< _Tp1 >, TriangularFIBB< Field >, and TriangularFIBB< Field >.

◆ applyRight()

template<class Ring>

virtual Matrix & applyRight	(	Matrix &	Y,
		const Matrix &	X ) const

pure virtualinherited

Implemented in FIBBProduct< Field_ >, FIBBProduct< Field >, FIBBProduct< Field >, Permutation< Field >, Permutation< Field >, TriangularFIBB< Field_ >, TriangularFIBB< _Tp1 >, TriangularFIBB< _Tp1 >, TriangularFIBB< Field >, and TriangularFIBB< Field >.

◆ apply()

template<class Ring>

template<class OutVector, class InVector>

OutVector & apply	(	OutVector &	y,
		const InVector &	x ) const

inlineinherited

◆ applyTranspose()

template<class Ring>

template<class OutVector, class InVector>

OutVector & applyTranspose	(	OutVector &	y,
		const InVector &	x ) const

inlineinherited

◆ map()

template<class Ring>

template<typename BB2>

void map ( BB2 & A )

inlineinherited

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

fibb.h

Public Types

Public Member Functions

Member Typedef Documentation

◆ Field

◆ Element

◆ ResizableMatrix

◆ Matrix

Constructor & Destructor Documentation

◆ ~FIBB()

Member Function Documentation

◆ rank()

◆ det()

◆ solveRight()

◆ solveLeft()

◆ nullspaceRandomRight()

◆ nullspaceRandomLeft()

◆ nullspaceBasisRight()

◆ nullspaceBasisLeft()

◆ bbTag()

◆ rowdim()

◆ coldim()

◆ field()

◆ write()

◆ read()

◆ applyLeft()

◆ applyRight()

◆ apply()

◆ applyTranspose()

◆ map()