corealgo3.hpp File Reference

Go to the source code of this file.

Functions
template<typename typP , typename typPk , typename Base >
void	Crochetchoix (const typP &P, typPk &Pk, typPk &redspol, int k, Base &b)
template<typename typPk >
void	stab (typPk &Pk)
template<typename T >
void	my_merge (T &l1, const T &l2)
template<typename mon >
mon	lcm (const mon &m1, const mon &m2)
template<typename typppcm , typename Base >
int	compute_ppcm (typppcm &ppcm, const Base &b)
int	GB_stop (int k)
template<typename mon , typename Base , typename typppcm , typename typMk >
int	goodspol (const mon &m1, const mon &m2, typppcm &ppcm, const Base &b, const typMk &Spoldejavu)
template<typename typPk , typename Base , typename typMk >
typPk	Spolordsup (const typPk &Pk, const Base &b, const typMk &Spoldejavu)
template<typename typP >
int	minmaxdegP (typP P, int &maxdeg)
template<typename typP >
typP	Crochet (const typP &P, int k)
template<typename mon , typename T , typename monomial_server >
std::list< pol< mon, T > >	Crochet (const std::list< pol< mon, T > > &P, int k, monomial_server &serv)
template<typename typP , typename Base >
void	Setnbvars (const typP &tmpPk, Base &b)
template<typename typP , typename typMk , typename Base , typename monomial_server >
void	DoBaseMk (const typP &tmpPk, typMk &Mk, Base &b, monomial_server &serv)
template<typename typPk , typename typMk , typename typmat >
typmat *	MatrixOf (const typPk &L, const typMk &lm, const typmat &mat)
template<typename typMat , typename typP , typename typPk , typename typMk , typename Base , typename typdump , class monomial_server , typename workspace >
void	init_algo (typP &P, int &nouveaumon, int &maxdeg, int &k, typPk &Pk, typMk &Mk, Base &b, typdump &dump, workspace &w, monomial_server &serv)
template<typename pol , typename coeff , typename workspace >
void	my_plus (pol &res, const pol &nf, const coeff toto, workspace *w)
template<typename pol , typename coeff >
void	my_plus (pol &res, const pol &nf, const coeff toto, int removeme)
template<typename mon , typename Base >
int	indice2 (int i, int j, const Base &b)
template<typename typpol , typename typdump , typename Base >
typpol	nf (int var, int indmon, const typdump &dump, const Base &b)
void	getperm (int *perm, int sizeperm, int *indextab)
template<typename typpol , typename typdump , typename Base , typename mon , typename workspace , typename monomial_server >
typpol	mult (int i, const typpol &pol, const typdump &dump, const Base &b, mon **exce, int &exsize, workspace &w, monomial_server &serv)
template<typename Mon , typename Base >
Mon	my_divmon (const Mon &mon, int i, const Base &b)
template<typename typmon , typename Base >
int	GoodDir (const typmon &m, int i, const Base &b)
template<typename typPk , typename typP , typename typexceed , typename typsize , typename Base , typename monomial_server >
void	conv_merge (typPk &Pk, typP &P, typexceed &ex, typsize &sizeex, const Base &b, monomial_server &serv)
template<typename typMk >
int	member (const typMk &tmpMk, const typename typMk::value_type mon)
template<typename typP , typename typttmpP , typename typPk , typename typMk , typename typdump , typename Base , typename typrecall , typename typexceed , typename typsizeexceed , typename typserv >
void	treat_noempty_crochet (typP &P, typttmpP &ttmpP, typPk &tmpPk, typMk &tmpMk, typPk &Pk, typMk &Mk, typdump &dump, Base &b, int &flagdoplus, int &k, typrecall &recall, typexceed &exceed, typsizeexceed &sizeexceed, typserv &serv)
template<typename typPk , typename typMk , typename typdump , typename Base , typename typexceed , typename typsizeexceed , typename typrecall , typename typwork , typename typserv >
void	compute_newpol (typPk &Pk, typPk &tmpPk, typMk &tmpMk, typdump &dump, typexceed &exceed, typsizeexceed &sizeexceed, Base &b, int &k, typrecall &recall, typwork &w, typserv &serv)
template<typename typMat , typename typPk , typename typMk , typename typexceed , typename typsizeexceed , typename typP >
void	construct_matrix_from_newpol (typMat &mat, typPk &tmpPk, typMk &tmpMk, typexceed &exceed, typsizeexceed &sizeexceed, typP &P)
template<typename typMat , typename typPk , typename typP , typename typMk , typename Base , typename typdump , typename typrecall , typename workspace , typename monomial_server >
int	newPkMkMatrixof (typMat &mat, typPk &Pk, typP &P, typMk &Mk, int &k, Base &b, typdump &dump, typrecall &recall, workspace &w, monomial_server &serv)
template<typename typdump , typename mon , typename pol >
void	findcorresppol (const mon &m, const typdump &dump, pol &res)
template<typename iterator , typename mon , typename Base >
void	varmult (iterator iter1, iterator iter2, mon &var1, mon &var2, const Base &b)
template<typename mon , typename pol , typename typdump , typename Base , typename monomial_server >
pol	halfred (const mon &targetind, const pol &p, const typdump &dump, const Base &b, monomial_server &serv)
template<typename typPk , typename typdump , typename Base , typename workspace , typename monomial_server >
void	ReduceSpol (typPk &S, const typdump &dump, typPk &redspol, const Base &b, workspace &w, monomial_server &serv)
template<typename typPk , typename monomial_server >
int	mindeg (const typPk &l, monomial_server &serv)
template<typename coeff , typename typiterpk , typename workspace , typename typserv >
void	update_crochetchoix (typiterpk &iterPk, typiterpk &iter, int tmpind, workspace &w, typserv &serv)
template<typename typP , typename typPk , typename typMk , typename Base , typename typdump , typename typrecall , typename workspace , typename monomial_server >
void	NewCrochetchoix (typP &P, typPk &Pk, typMk &Mk, typPk &redspol, int &k, typdump &dump, Base &b, typrecall &recall, workspace &w, monomial_server &serv)
template<typename typPk >
void	NewDestroyredspol (typPk &redspol, const typPk &Pk)
template<typename typMk >
void	Listedejafait (const typMk &Mk, typMk &Spoldejavu)
template<typename typP , typename typPk , typename typdump , typename Base , template< typenameT > class tmptypmat, typename monomial_server >
void	algo (typP P, typdump &dump, Base &b, monomial_server &serv)

Function Documentation

template<typename typP , typename typPk , typename typdump , typename Base , template< typenameT > class tmptypmat, typename monomial_server >

void algo	(	typP	P,
		typdump &	dump,
		Base &	b,
		monomial_server &	serv
	)

template<typename typPk , typename typMk , typename typdump , typename Base , typename typexceed , typename typsizeexceed , typename typrecall , typename typwork , typename typserv >

void compute_newpol	(	typPk &	Pk,
		typPk &	tmpPk,
		typMk &	tmpMk,
		typdump &	dump,
		typexceed &	exceed,
		typsizeexceed &	sizeexceed,
		Base &	b,
		int &	k,
		typrecall &	recall,
		typwork &	w,
		typserv &	serv
	)

template<typename typppcm , typename Base >

int compute_ppcm	(	typppcm &	ppcm,
		const Base &	b
	)

template<typename typMat , typename typPk , typename typMk , typename typexceed , typename typsizeexceed , typename typP >

void construct_matrix_from_newpol	(	typMat &	mat,
		typPk &	tmpPk,
		typMk &	tmpMk,
		typexceed &	exceed,
		typsizeexceed &	sizeexceed,
		typP &	P
	)

!! ATTENTION C VITAL DE PAS FAIRE N'IMPORTE QUOI AVEC LES IND

template<typename typPk , typename typP , typename typexceed , typename typsize , typename Base , typename monomial_server >

void conv_merge	(	typPk &	Pk,
		typP &	P,
		typexceed &	ex,
		typsize &	sizeex,
		const Base &	b,
		monomial_server &	serv
	)

template<typename typP >

typP Crochet	(	const typP &	P,
		int	k
	)

template<typename mon , typename T , typename monomial_server >

std::list<pol<mon,T> > Crochet	(	const std::list< pol< mon, T > > &	P,
		int	k,
		monomial_server &	serv
	)

template<typename typP , typename typPk , typename Base >

void Crochetchoix	(	const typP &	P,
		typPk &	Pk,
		typPk &	redspol,
		int	k,
		Base &	b
	)

template<typename typP , typename typMk , typename Base , typename monomial_server >

void DoBaseMk	(	const typP &	tmpPk,
		typMk &	Mk,
		Base &	b,
		monomial_server &	serv
	)

template<typename typdump , typename mon , typename pol >

void findcorresppol	(	const mon &	m,
		const typdump &	dump,
		pol &	res
	)

int GB_stop

(

int

k

)

void getperm	(	int *	perm,
		int	sizeperm,
		int *	indextab
	)

template<typename typmon , typename Base >

int GoodDir	(	const typmon &	m,
		int	i,
		const Base &	b
	)

template<typename mon , typename Base , typename typppcm , typename typMk >

int goodspol	(	const mon &	m1,
		const mon &	m2,
		typppcm &	ppcm,
		const Base &	b,
		const typMk &	Spoldejavu
	)

template<typename mon , typename pol , typename typdump , typename Base , typename monomial_server >

pol halfred	(	const mon &	targetind,
		const pol &	p,
		const typdump &	dump,
		const Base &	b,
		monomial_server &	serv
	)

template<typename mon , typename Base >

int indice2	(	int	i,
		int	j,
		const Base &	b
	)

template<typename typMat , typename typP , typename typPk , typename typMk , typename Base , typename typdump , class monomial_server , typename workspace >

void init_algo	(	typP &	P,
		int &	nouveaumon,
		int &	maxdeg,
		int &	k,
		typPk &	Pk,
		typMk &	Mk,
		Base &	b,
		typdump &	dump,
		workspace &	w,
		monomial_server &	serv
	)

template<typename mon >

mon lcm	(	const mon &	m1,
		const mon &	m2
	)

template<typename typMk >

void Listedejafait	(	const typMk &	Mk,
		typMk &	Spoldejavu
	)

template<typename typPk , typename typMk , typename typmat >

typmat* MatrixOf	(	const typPk &	L,
		const typMk &	lm,
		const typmat &	mat
	)

template<typename typMk >

int member	(	const typMk &	tmpMk,
		const typename typMk::value_type	mon
	)

template<typename typPk , typename monomial_server >

int mindeg	(	const typPk &	l,
		monomial_server &	serv
	)

template<typename typP >

int minmaxdegP	(	typP	P,
		int &	maxdeg
	)

template<typename typpol , typename typdump , typename Base , typename mon , typename workspace , typename monomial_server >

typpol mult ( int  i, const typpol &  pol, const typdump &  dump, const Base &  b, mon **  exce, int &  exsize, workspace &  w, monomial_server &  serv  )

inline

template<typename Mon , typename Base >

Mon my_divmon	(	const Mon &	mon,
		int	i,
		const Base &	b
	)

template<typename T >

void my_merge	(	T &	l1,
		const T &	l2
	)

template<typename pol , typename coeff , typename workspace >

void my_plus ( pol &  res, const pol &  nf, const coeff  toto, workspace *  w  )

inline

template<typename pol , typename coeff >

void my_plus ( pol &  res, const pol &  nf, const coeff  toto, int  removeme  )

inline

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

void NewCrochetchoix	(	typP &	P,
		typPk &	Pk,
		typMk &	Mk,
		typPk &	redspol,
		int &	k,
		typdump &	dump,
		Base &	b,
		typrecall &	recall,
		workspace &	w,
		monomial_server &	serv
	)

template<typename typPk >

void NewDestroyredspol	(	typPk &	redspol,
		const typPk &	Pk
	)

template<typename typMat , typename typPk , typename typP , typename typMk , typename Base , typename typdump , typename typrecall , typename workspace , typename monomial_server >

int newPkMkMatrixof	(	typMat &	mat,
		typPk &	Pk,
		typP &	P,
		typMk &	Mk,
		int &	k,
		Base &	b,
		typdump &	dump,
		typrecall &	recall,
		workspace &	w,
		monomial_server &	serv
	)

template<typename typpol , typename typdump , typename Base >

typpol nf	(	int	var,
		int	indmon,
		const typdump &	dump,
		const Base &	b
	)

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

void ReduceSpol	(	typPk &	S,
		const typdump &	dump,
		typPk &	redspol,
		const Base &	b,
		workspace &	w,
		monomial_server &	serv
	)

template<typename typP , typename Base >

void Setnbvars	(	const typP &	tmpPk,
		Base &	b
	)

template<typename typPk , typename Base , typename typMk >

typPk Spolordsup	(	const typPk &	Pk,
		const Base &	b,
		const typMk &	Spoldejavu
	)

template<typename typPk >

void stab

(

typPk &

Pk

)

template<typename typP , typename typttmpP , typename typPk , typename typMk , typename typdump , typename Base , typename typrecall , typename typexceed , typename typsizeexceed , typename typserv >

void treat_noempty_crochet	(	typP &	P,
		typttmpP &	ttmpP,
		typPk &	tmpPk,
		typMk &	tmpMk,
		typPk &	Pk,
		typMk &	Mk,
		typdump &	dump,
		Base &	b,
		int &	flagdoplus,
		int &	k,
		typrecall &	recall,
		typexceed &	exceed,
		typsizeexceed &	sizeexceed,
		typserv &	serv
	)

template<typename coeff , typename typiterpk , typename workspace , typename typserv >

void update_crochetchoix ( typiterpk &  iterPk, typiterpk &  iter, int  tmpind, workspace &  w, typserv &  serv  )

inline

template<typename iterator , typename mon , typename Base >

void varmult	(	iterator	iter1,
		iterator	iter2,
		mon &	var1,
		mon &	var2,
		const Base &	b
	)