IsinB3sdp.hpp File Reference

Go to the source code of this file.

Classes
struct	predicat< monom >
struct	Base< predicat >

Functions
template<typename T >
int	Iszero (const T &)
template<typename mon , typename predicat , typename Base >
int	isinb (const mon &m, predicat p, const Base &b)
template<typename mon , typename Base >
int	IsinB (const mon &m, const Base &b)
template<typename mon , typename predicat , typename Base >
int	isinb2 (const mon &m, predicat p, const Base &b, mon &div, mon &coc)
template<typename mon , typename Base >
int	IsinB2 (const mon &m, const Base &b, mon &div, mon &coc)
template<typename typMk , typename typdump , typename Base >
void	Dovoisins (const typename typMk::value_type &m, typMk &voisins, const typdump &dump, const Base &b)
template<typename typPk , typename typMk , typename typdump , typename Base , typename monomial_server , typename workspace >
void	rajoute_voisins (typPk &Pk, const typMk &Mk, const typdump &dump, Base &b, workspace &w, monomial_server &serv)
template<typename typmat , typename typPk , typename typMk , typename typdump , typename typB , typename monomial_server >
void	AddB (const typmat &mat, typPk &Pk, const typMk &Mk, const typdump &dump, typB &b, monomial_server &serv)
template<typename mon , typename typB >
predicat< mon >	findpred (const mon &m, const typB &b)
template<typename typmat , typename typPk , typename typMk , typename typdump , typename typB , typename typP >
void	AddB_dim (const typmat &mat, const typmat &L, typP &P, typPk &Pk, const typMk &Mk, const typdump &dump, typB &b)

Function Documentation

template<typename typmat , typename typPk , typename typMk , typename typdump , typename typB , typename monomial_server >

void AddB	(	const typmat &	mat,
		typPk &	Pk,
		const typMk &	Mk,
		const typdump &	dump,
		typB &	b,
		monomial_server &	serv
	)

template<typename typmat , typename typPk , typename typMk , typename typdump , typename typB , typename typP >

void AddB_dim	(	const typmat &	mat,
		const typmat &	L,
		typP &	P,
		typPk &	Pk,
		const typMk &	Mk,
		const typdump &	dump,
		typB &	b
	)

template<typename typMk , typename typdump , typename Base >

void Dovoisins	(	const typename typMk::value_type &	m,
		typMk &	voisins,
		const typdump &	dump,
		const Base &	b
	)

template<typename mon , typename typB >

predicat<mon> findpred	(	const mon &	m,
		const typB &	b
	)

template<typename mon , typename predicat , typename Base >

int isinb	(	const mon &	m,
		predicat	p,
		const Base &	b
	)

template<typename mon , typename Base >

int IsinB	(	const mon &	m,
		const Base &	b
	)

template<typename mon , typename predicat , typename Base >

int isinb2	(	const mon &	m,
		predicat	p,
		const Base &	b,
		mon &	div,
		mon &	coc
	)

template<typename mon , typename Base >

int IsinB2	(	const mon &	m,
		const Base &	b,
		mon &	div,
		mon &	coc
	)

template<typename T >

int Iszero

(

const T &

)

template<typename typPk , typename typMk , typename typdump , typename Base , typename monomial_server , typename workspace >

void rajoute_voisins	(	typPk &	Pk,
		const typMk &	Mk,
		const typdump &	dump,
		Base &	b,
		workspace &	w,
		monomial_server &	serv
	)