MatrixOf.hpp File Reference

#include "linpkg/array2d.H"
#include "linpkg/MATRIX.H"
#include "linpkg/MatRef.H"
#include "borderbasix/mpoly/Monom.hpp"
#include "borderbasix/mpoly/MPoly.hpp"
#include <list>
#include <map>
#include <set>

Go to the source code of this file.

Namespaces
	matrixof

Functions
template<class POL >
POL::coeff_t	CoeffOf (const POL &p, const typename POL::monom_t &mono)
template<class R >
void	matrixof::build (R &A, typename R::index_t nl, typename R::index_t nc, typename R::index_t nz)
template<class POL , class RM >
MatRef< RM >	MatrixOf (const list< POL > &L, RM M, char t='N')
template<class POL , class RM >
MatRef< RM >	MatrixOf (const list< POL > &L, const list< typename POL::monom_t > &lm, RM M, char t='N')

Function Documentation

template<class POL >

POL::coeff_t CoeffOf	(	const POL &	p,
		const typename POL::monom_t &	mono
	)

Return the coefficient of a monomial m in a polynomial p if it appears in p or 0 otherwise.

template<class POL , class RM >

MatRef<RM> MatrixOf	(	const list< POL > &	L,
		RM	M,
		char	t = 'N'
	)

Construction of the matrix of coefficients of a list of polynomials. All the monomials are first stored, with coefficient 1, in a polynomial s. Then, they are indexed (using the stl map template), according to their order in this polynomial. If t='N', the rows are indexed by the index of the monomials in the map and the column by the index of the polynomials in the list L. If t='T', the transpose of the previous matrix is computed. The list of monomials indexing the coefficients are put in s.

template<class POL , class RM >

MatRef<RM> MatrixOf	(	const list< POL > &	L,
		const list< typename POL::monom_t > &	lm,
		RM	M,
		char	t = 'N'
	)

Construction of the matrix of coefficients of the list of polynomials, L with respect to the list of monomials lm, The monomial are indexed first (using the stl map template). If t='N', the rows are indexed by the index of the monomials in the map and the columnd by the index of the polynomials in the list L. If t='T', the transpose of the previous matrix is computed.