mul.h File Reference

BLAS3 multiplication algorithms. More...

#include <vector>
#include "linbox/integer.h"
#include <givaro/extension.h>
#include <linbox/matrix/dense-matrix.h>
#include "linbox/algorithms/matrix-blas3/mul-toomcook.inl"
#include "linbox/algorithms/matrix-blas3/mul-naive.inl"
#include "linbox/algorithms/matrix-blas3/mul-cra.inl"

Data Structures
struct	naive
	Toom-Cook method. More...

Namespaces
namespace	LinBox
	Namespace in which all linbox code resides.
namespace	LinBox::BLAS3::mulMethod
	BLAS3 Multiplication methods.

Functions
template<class Zpz>
BlasMatrix< Zpz > &	ToomCook (BlasMatrix< Zpz > &TC, BlasMatrix< Zpz > &iTC)
	Build the Toom-Cook matrix helper.
template<class Zpz, class GFq>
std::vector< BlasMatrix< Zpz > > &	mul (std::vector< BlasMatrix< Zpz > > &C, const std::vector< BlasMatrix< Zpz > > &A, const std::vector< BlasMatrix< Zpz > > &B, const mulMethod::ToomCook< GFq > &T)
	Toom-Cook multiplication for GF(p^e) A matrix over GF(p^e) is represented by a polynomial of Z/pZ matrices.
template<class Zpz>
BlasMatrix< Givaro::Extension< Zpz > > &	mul (BlasMatrix< Givaro::Extension< Zpz > > &C, const BlasMatrix< Givaro::Extension< Zpz > > &A, const BlasMatrix< Givaro::Extension< Zpz > > &B, const mulMethod::ToomCook< Givaro::Extension< Zpz > > &T)
	Toom-Cook multiplication for GF(p^e)
template<class _anyMatrix, class _otherMatrix1, class _otherMatrix2>
_anyMatrix &	mul (_anyMatrix &C, const _otherMatrix1 &A, const _otherMatrix2 &B, const mulMethod::naive &)
	Triple loop !

Detailed Description

BLAS3 multiplication algorithms.

Function Documentation

ToomCook()

template<class Zpz>

BlasMatrix< Zpz > & ToomCook	(	BlasMatrix< Zpz > &	TC,
		BlasMatrix< Zpz > &	iTC )

Build the Toom-Cook matrix helper.

We only provide this function for dense matrices (Blas for the moment) over Z/pZ.

Parameters

[out]	TC	matrix of Fp(i^j)
[out]	iTC	inverse of TC

Returns

TC

mul() [1/3]

template<class Zpz, class GFq>

std::vector< BlasMatrix< Zpz > > & mul	(	std::vector< BlasMatrix< Zpz > > &	C,
		const std::vector< BlasMatrix< Zpz > > &	A,
		const std::vector< BlasMatrix< Zpz > > &	B,
		const mulMethod::ToomCook< GFq > &	T )

Toom-Cook multiplication for GF(p^e) A matrix over GF(p^e) is represented by a polynomial of Z/pZ matrices.

Template Parameters

Zpz	is some modular field, GFq is Givaro::Extension (or the like)

Parameters

[out]	C	result
	A	matrix
	B	matrix

Returns

C=AB

Warning

p should not be too small, and e>1 (you've been warned...)

mul() [2/3]

template<class Zpz>

BlasMatrix< Givaro::Extension< Zpz > > & mul	(	BlasMatrix< Givaro::Extension< Zpz > > &	C,
		const BlasMatrix< Givaro::Extension< Zpz > > &	A,
		const BlasMatrix< Givaro::Extension< Zpz > > &	B,
		const mulMethod::ToomCook< Givaro::Extension< Zpz > > &	T )

Toom-Cook multiplication for GF(p^e)

Template Parameters

Zpz	is some modular field, GFq is Givaro::Extension (or the like)

Parameters

[out]	C	result
	A	matrix
	B	matrix

Returns

C=AB

Warning

p should not be too small, and e>1 (you've been warned...)

mul() [3/3]

template<class _anyMatrix, class _otherMatrix1, class _otherMatrix2>

_anyMatrix & mul	(	_anyMatrix &	C,
		const _otherMatrix1 &	A,
		const _otherMatrix2 &	B,
		const mulMethod::naive &	)

Triple loop !

just a simple triple loop

Precondition

works if _anyMatrix has setEntry and _otherMatrix has getEntry

Parameters

[out]	C	result
[in]	A	matrix
[in]	B	matrix

Returns

C=AB