pol2bisspecial.hpp File Reference

Go to the source code of this file.

Macros
#define	LEVELSELECT   1e-6

Functions
void	inverse (int *&, int)
template<typename mon , typename T , typename Base , typename monomial_server >
mon	choice_naif (const polbis< mon, T > &p, const Base &b, monomial_server &serv)
template<typename mon , typename T , typename Base , typename monomial_server >
mon	choice_num (const polbis< mon, T > &p, const Base &b, monomial_server &serv)
template<typename mon , typename T , typename Base , typename monomial_server >
mon	choice_grevlex (const polbis< mon, T > &p, const Base &b, monomial_server &serv)
template<typename mon , typename T , typename Base , typename monomial_server >
mon	choice_dlex (const polbis< mon, T > &p, const Base &b, monomial_server &serv)
template<typename mon , typename T , typename Base , typename monomial_server >
mon	choice_mac (const polbis< mon, T > &p, const Base &b, monomial_server &serv)
template<typename mon , typename T , typename Base , typename monomial_server >
mon	choice_mpq (const polbis< mon, T > &p, const Base &b, monomial_server &serv)
template<typename mon , typename T , typename Base , typename monomial_server >
mon	choice_fall (const polbis< mon, T > &p, const Base &b, monomial_server &serv)
template<typename mon , typename T , int alpha, typename Base , typename monomial_server >
mon	choice_fall_num (const polbis< mon, Z< alpha, T > > &pol, const Base &b, monomial_server &serv)
template<typename mon , typename T , typename Base , typename monomial_server >
mon	choice_fall_num (const polbis< mon, T > &p, const Base &b, monomial_server &serv)
template<typename T , typename mono , typename workspace >
list< polbis< mono, T > > &	SolveUold (const harewell< T > &u, list< polbis< mono, T > > &Pk, workspace &w)
template<typename T , typename mono , typename workspace >
list< polbis< mono, T > > &	SolveU (const harewell< T > &u, list< polbis< mono, T > > &Pk, workspace &w)
template<typename T , typename mono , typename workspace >
list< polbis< mono, T > > &	SolveL (const harewell< T > &l, list< polbis< mono, T > > &Pk, workspace &w)
template<typename typmat , typename T , typename mono , typename workspace >
list< polbis< mono, T > > &	Solve (typmat &S, std::list< polbis< mono, T > > &TildePk, int **pr, int **pc, workspace &w)
template<typename typmat , typename T , typename mono , typename workspace >
list< polbis< mono, T > > &	Solve (typmat &S, typmat &L, std::list< polbis< mono, T > > &TildePk, int **pr, int **pc, workspace &w)

Macro Definition Documentation

#define LEVELSELECT   1e-6

Function Documentation

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

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

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

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

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

mon choice_fall_num	(	const polbis< mon, Z< alpha, T > > &	pol,
		const Base &	b,
		monomial_server &	serv
	)

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

mon choice_fall_num	(	const polbis< mon, T > &	p,
		const Base &	b,
		monomial_server &	serv
	)

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

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

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

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

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

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

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

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

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

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

void inverse	(	int *&	,
		int
	)

template<typename typmat , typename T , typename mono , typename workspace >

list<polbis<mono,T> >& Solve	(	typmat &	S,
		std::list< polbis< mono, T > > &	TildePk,
		int **	pr,
		int **	pc,
		workspace &	w
	)

template<typename typmat , typename T , typename mono , typename workspace >

list<polbis<mono,T> >& Solve	(	typmat &	S,
		typmat &	L,
		std::list< polbis< mono, T > > &	TildePk,
		int **	pr,
		int **	pc,
		workspace &	w
	)

template<typename T , typename mono , typename workspace >

list<polbis<mono,T> >& SolveL	(	const harewell< T > &	l,
		list< polbis< mono, T > > &	Pk,
		workspace &	w
	)

template<typename T , typename mono , typename workspace >

list<polbis<mono,T> >& SolveU	(	const harewell< T > &	u,
		list< polbis< mono, T > > &	Pk,
		workspace &	w
	)

template<typename T , typename mono , typename workspace >

list<polbis<mono,T> >& SolveUold	(	const harewell< T > &	u,
		list< polbis< mono, T > > &	Pk,
		workspace &	w
	)