pol2terspecial.hpp File Reference

#include <future>
#include <string>
#include <iostream>
#include <iterator>
#include "borderbasix/auxfun3.hpp"

Go to the source code of this file.

Classes
struct	resmul< pol_t >
struct	stack_elem
struct	component< typPk_t, mon >

Macros
#define	LEVELSELECT   1e-6
#define	NBFUTURE   7

Functions
template<typename typPk_t , typename mon >
bool	operator== (const component< typPk_t, mon > &a, const component< typPk_t, mon > &b)
template<typename typcomp , typename workspace , typename typserv >
void	update_pol (typcomp &comp_to_update, typcomp &updating_comp, workspace *w, typserv &serv)
template<typename typPk , typename Base >
void	compute_ancestors (typPk &tmpPk, Base &b)
template<typename typgraph , typename typPk , typename typexceed , typename typsizeexceed , typename typmon2face , typename Base >
void	makegraph (typgraph &G, const typPk tmpPk, const typexceed &exceed, const typsizeexceed &sizeexceed, typmon2face &mon2face, Base &b)
template<typename typstack , typename typgraph , typename typvec >
void	strongconnect (typstack &S, typgraph &G, int i, typvec &vec, int &index, typvec &lowlink, int startindex)
template<typename typgraph , typename typvec >
void	tarjan (typgraph &G, typvec &vec)
void	reconstruct_pr_pc (int *&pr, int *&pc, int *tmppr, int *tmppc, int sizetmp, int indexinside)
template<typename typMat , typename typPk , typename typMk , typename typexceed , typename typsizeexceed , typename typP >
void	construct_matrix_from_newpol_nofree (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 typexceed , typename typsizeexceed , typename workspace , typename monomial_server >
int	newpkmkMatrixofSolve (typMat &mat, typMat &L, typPk &Pk, typP &P, typMk &Mk, int &k, Base &b, typdump &dump, typexceed &exceed_ret, typsizeexceed &sizeexceed_ret, workspace &w, monomial_server &serv)
template<typename typmat , typename typlistcomp , typename typmap >
void	global_update_matrix (typmat &m, typlistcomp &listcomp, typmap &mon2col)
template<typename typmat , typename typcomp , typename typmap >
void	update_matrix (typmat &m, typcomp &c, typmap &mon2col, int indexmat)
template<typename typcomp , typename typserv >
void	update_pol (typcomp &comp_to_update, typcomp &updating_comp, typserv &serv)
template<typename typcomp , typename typserv >
void	wrap_update_pol (typcomp &comp_to_update, typcomp &updating_comp, typserv &serv)
template<typename typcomp , typename typwork , typename typserv >
void	update_pol (typcomp &comp_to_update, typcomp &updating_comp, typwork &w, typserv &serv)
template<typename typcomp , typename typmon2pol , typename typserv >
void	wrap_update_pol (typcomp &comp_to_update, const typcomp &updating_comp, const typmon2pol &mon2pol, const typserv &serv)
template<typename typcomp , typename typmon2pol , typename typwork , typename typserv >
void	update_pol (typcomp &comp_to_update, const typcomp &updating_comp, const typmon2pol &mon2pol, typwork &w, const typserv &serv)
template<typename typMat >
void	reconstruct_mat (typMat &mat, const typMat &tmpmat)
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 typP , typename typPk , typename typdump , typename Base , template< typenameT > class tmptypmat, template< typename mon, typename pol > class monomial_server, typename mon >
void	algo (typP P, typdump &dump, Base &b, monomial_server< mon, pol2ter< mon, typename mon::coeff_t > > &serv)
template<typename mon , typename T , typename Base , typename monomial_server >
mon	choice_naif (const pol2ter< mon, T > &p, const Base &b, monomial_server &serv)
template<typename mon , typename T , typename Base , typename monomial_server >
mon	choice_num (const pol2ter< mon, T > &p, const Base &b, monomial_server &serv)
template<typename mon , typename T , typename Base , typename monomial_server >
mon	choice_grevlex (const pol2ter< mon, T > &p, const Base &b, monomial_server &serv)
template<typename mon , typename T , typename Base , typename monomial_server >
mon	choice_dlex (const pol2ter< mon, T > &p, const Base &b, monomial_server &serv)
template<typename mon , typename T , typename Base , typename monomial_server >
mon	choice_mac (const pol2ter< mon, T > &p, const Base &b, monomial_server &serv)
template<typename mon , typename T , typename Base , typename monomial_server >
mon	choice_mpq (const pol2ter< mon, T > &p, const Base &b, monomial_server &serv)
template<typename mon , typename T , typename Base , typename monomial_server >
mon	choice_fall (const pol2ter< mon, T > &p, const Base &b, monomial_server &serv)
template<typename typdump , typename Base , typename mon , typename workspace , typename monomial_server >
pol< mon, COEFF >	mult (int i, const pol< mon, COEFF > &p, const typdump &dump, const Base &b, mon **exce, int &exsize, workspace &w, monomial_server &serv)
template<typename typmat , typename typPk , typename typMk , typename typdump , typename typexceed , typename typsizeexceed , typename typB , typename monomial_server >
void	AddB (const typmat &mat, typPk &Pk, const typMk &Mk, const typexceed &exceed, const typsizeexceed &sizeexceed, const typdump &dump, typB &b, monomial_server &serv)

Macro Definition Documentation

#define LEVELSELECT   1e-6

#define NBFUTURE   7

Function Documentation

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

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

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

void algo	(	typP	P,
		typdump &	dump,
		Base &	b,
		monomial_server< mon, pol2ter< mon, typename mon::coeff_t > > &	serv
	)

template<typename mon , typename T , typename Base , typename monomial_server >

mon choice_dlex	(	const pol2ter< mon, T > &	p,
		const Base &	b,
		monomial_server &	serv
	)

template<typename mon , typename T , typename Base , typename monomial_server >

mon choice_fall	(	const pol2ter< mon, T > &	p,
		const Base &	b,
		monomial_server &	serv
	)

template<typename mon , typename T , typename Base , typename monomial_server >

mon choice_grevlex	(	const pol2ter< mon, T > &	p,
		const Base &	b,
		monomial_server &	serv
	)

template<typename mon , typename T , typename Base , typename monomial_server >

mon choice_mac	(	const pol2ter< mon, T > &	p,
		const Base &	b,
		monomial_server &	serv
	)

template<typename mon , typename T , typename Base , typename monomial_server >

mon choice_mpq	(	const pol2ter< mon, T > &	p,
		const Base &	b,
		monomial_server &	serv
	)

template<typename mon , typename T , typename Base , typename monomial_server >

mon choice_naif	(	const pol2ter< mon, T > &	p,
		const Base &	b,
		monomial_server &	serv
	)

template<typename mon , typename T , typename Base , typename monomial_server >

mon choice_num	(	const pol2ter< mon, T > &	p,
		const Base &	b,
		monomial_server &	serv
	)

template<typename typPk , typename Base >

void compute_ancestors	(	typPk &	tmpPk,
		Base &	b
	)

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

void construct_matrix_from_newpol_nofree	(	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 typmat , typename typlistcomp , typename typmap >

void global_update_matrix	(	typmat &	m,
		typlistcomp &	listcomp,
		typmap &	mon2col
	)

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 typgraph , typename typPk , typename typexceed , typename typsizeexceed , typename typmon2face , typename Base >

void makegraph	(	typgraph &	G,
		const typPk	tmpPk,
		const typexceed &	exceed,
		const typsizeexceed &	sizeexceed,
		typmon2face &	mon2face,
		Base &	b
	)

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

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

inline

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

int newpkmkMatrixofSolve	(	typMat &	mat,
		typMat &	L,
		typPk &	Pk,
		typP &	P,
		typMk &	Mk,
		int &	k,
		Base &	b,
		typdump &	dump,
		typexceed &	exceed_ret,
		typsizeexceed &	sizeexceed_ret,
		workspace &	w,
		monomial_server &	serv
	)

!!!!!!!!!!!!!!!!!!! !!!!!!!!!!!!!!!!!!!

!!!!!!!!!!!!!!!!!!!!!!!!!!!!! !!!!!!!!!!!!!!!!!!!!!!!!!!!!!

template<typename typPk_t , typename mon >

bool operator==	(	const component< typPk_t, mon > &	a,
		const component< typPk_t, mon > &	b
	)

template<typename typMat >

void reconstruct_mat	(	typMat &	mat,
		const typMat &	tmpmat
	)

void reconstruct_pr_pc	(	int *&	pr,
		int *&	pc,
		int *	tmppr,
		int *	tmppc,
		int	sizetmp,
		int	indexinside
	)

template<typename typstack , typename typgraph , typename typvec >

void strongconnect	(	typstack &	S,
		typgraph &	G,
		int	i,
		typvec &	vec,
		int &	index,
		typvec &	lowlink,
		int	startindex
	)

template<typename typgraph , typename typvec >

void tarjan	(	typgraph &	G,
		typvec &	vec
	)

template<typename typmat , typename typcomp , typename typmap >

void update_matrix	(	typmat &	m,
		typcomp &	c,
		typmap &	mon2col,
		int	indexmat
	)

template<typename typcomp , typename workspace , typename typserv >

void update_pol	(	typcomp &	comp_to_update,
		typcomp &	updating_comp,
		workspace *	w,
		typserv &	serv
	)

template<typename typcomp , typename typserv >

void update_pol	(	typcomp &	comp_to_update,
		typcomp &	updating_comp,
		typserv &	serv
	)

template<typename typcomp , typename typwork , typename typserv >

void update_pol	(	typcomp &	comp_to_update,
		typcomp &	updating_comp,
		typwork &	w,
		typserv &	serv
	)

template<typename typcomp , typename typmon2pol , typename typwork , typename typserv >

void update_pol	(	typcomp &	comp_to_update,
		const typcomp &	updating_comp,
		const typmon2pol &	mon2pol,
		typwork &	w,
		const typserv &	serv
	)

template<typename typcomp , typename typserv >

void wrap_update_pol	(	typcomp &	comp_to_update,
		typcomp &	updating_comp,
		typserv &	serv
	)

template<typename typcomp , typename typmon2pol , typename typserv >

void wrap_update_pol	(	typcomp &	comp_to_update,
		const typcomp &	updating_comp,
		const typmon2pol &	mon2pol,
		const typserv &	serv
	)