polybori::groebner Namespace Reference

Classes
class	CacheManager
class	FGLMNoLinearCombinationException
class	FGLMStrategy
class	ChainCriterion
	assumes that divisibility condition is fullfilled More...
class	ChainVariableCriterion
class	HasTRepOrExtendedProductCriterion
class	SetBitUInt
class	ZeroFunction
class	ShorterEliminationLength
class	ShorterEliminationLengthModified
class	PairStatusSet
class	PairManager
class	MonomialHasher
class	ReductionStrategy
class	GroebnerStrategy
class	LessWeightedLengthInStrat
class	LessWeightedLengthInStratModified
class	LessEcartThenLessWeightedLengthInStrat
class	LessUsedTailVariablesThenLessWeightedLengthInStrat
class	LessCombinedManySizesInStrat
class	GBTypes
class	LexBucket
class	LiteralFactorization
class	LiteralFactorizationIterator
class	PolynomialSugar
class	LMLessComparePS
class	PSCompareByEl
class	IsEcart0Predicate
class	LexHelper
class	DegOrderHelper
class	BlockOrderHelper
class	LexOrderGreaterComparer
class	LMLessCompare
class	SlimgbReduction
class	PolyEntry
class	PairData
class	IJPairData
class	PolyPairData
class	VariablePairData
class	PairLS
class	PairE
class	PairLSCompare
class	PairECompare
Typedefs
typedef std::vector< Polynomial >	poly_vec
typedef polybori::CacheManager < CCacheTypes::divisorsof >	fixed_divisors_cache_type
typedef Monomial::idx_map_type	lm2Index_map_type
typedef Exponent::idx_map_type	exp2Index_map_type
typedef polybori::BoolePolynomial	Polynomial
typedef polybori::BooleMonomial	Monomial
typedef polybori::BooleVariable	Variable
typedef polybori::BooleExponent	Exponent
typedef std::vector< Polynomial >	PolynomialVector
typedef long long	wlen_type
typedef long	len_type
typedef int	deg_type
typedef polybori::CTypes::idx_type	idx_type
typedef polybori::BooleSet	MonomialSet
typedef LessWeightedLengthInStratModified	StratComparerForSelect
typedef SlimgbReduction < SLIMGB_SIMPLEST >	slimgb_reduction_type
typedef std::vector< PolyEntry >	PolyEntryVector
typedef boost::shared_ptr < PairData >	pair_data_ptr
typedef PairE	Pair
typedef boost::minstd_rand	base_generator_type
typedef boost::uniform_smallint	distribution_type
typedef boost::variate_generator < base_generator_type &, distribution_type >	bool_gen_type
Enumerations
enum	{ VARIABLE_PAIR, IJ_PAIR, DELAYED_PAIR }
Functions
template<class idx_type1 , class idx_type2 >
void	set_up_translation_vectors (std::vector< idx_type1 > &ring_2_0123, std::vector< idx_type2 > &back_2_ring, const Exponent &used_variables)
Polynomial	translate_indices (const Polynomial &p, const std::vector< idx_type > &table)
void	transpose_window_to_row (mzd_t *transposed_vec, mzd_t *window)
void	clear_mat (mzd_t *mat)
template<class CacheMgr >
MonomialSet	mod_var_set (const CacheMgr &cache_mgr, MonomialSet::navigator a, MonomialSet::navigator v)
MonomialSet	mod_var_set (const MonomialSet &as, const MonomialSet &vs)
MonomialSet	mod_deg2_set (const MonomialSet &as, const MonomialSet &vs)
template<class CacheMgr >
MonomialSet	mod_deg2_set (const CacheMgr &cache_mgr, MonomialSet::navigator a, MonomialSet::navigator v)
MonomialSet	contained_variables_cudd_style (const MonomialSet &m)
MonomialSet	contained_deg2_cudd_style (const MonomialSet &m)
Polynomial	reduce_by_monom (const Polynomial &p, const Monomial &m)
Polynomial	reduce_by_binom (const Polynomial &p, const Polynomial &binom)
Polynomial	reduce_complete (const Polynomial &p, const Polynomial &reductor)
Polynomial	reduce_complete (const Polynomial &p, const PolyEntry &reductor, wlen_type &len)
bool	should_propagate (const PolyEntry &e)
MonomialSet	minimal_elements_internal (const MonomialSet &s)
MonomialSet	minimal_elements_internal2 (MonomialSet s)
std::vector< Exponent >	minimal_elements_internal3 (MonomialSet s)
MonomialSet	minimal_elements (const MonomialSet &s)
template<class value_type , class initializer , class set_bit >
value_type	p2code (Polynomial p, const std::vector< char > &ring_2_0123, int max_vars)
bool	polynomial_in_one_block (const Polynomial p)
MonomialSet	minimal_elements_cudd_style_unary (MonomialSet m)
MonomialSet	minimal_elements_cudd_style (MonomialSet m)
template<class MgrType >
MonomialSet	recursively_insert (const MgrType &mgr, MonomialSet::navigator p, idx_type idx, MonomialSet::navigator m)
MonomialSet	recursively_insert (MonomialSet::navigator p, idx_type idx, MonomialSet mset)
void	addPolynomialToReductor (Polynomial &p, MonomialSet &m)
template<class CacheMgr >
Polynomial	map_every_x_to_x_plus_one (const CacheMgr &cache_mgr, MonomialSet::navigator nav)
Polynomial	map_every_x_to_x_plus_one (Polynomial p)
Polynomial	red_tail_in_last_block (const GroebnerStrategy &strat, Polynomial p)
Polynomial	mult_fast_sim (const std::vector< Polynomial > &vec)
std::vector< Polynomial >	full_implication_gb (const Polynomial &p, CacheManager &cache, GroebnerStrategy &strat_param)
void	groebner (GroebnerStrategy &strat)
wlen_type	wlen_literal_exceptioned (const PolyEntry &e)
std::vector< Polynomial >	variety_lex_groebner_basis (const MonomialSet &points, const Monomial &variables)
MonomialSet	nf_lex_points (const Polynomial &f, const MonomialSet &p)
MonomialSet	gen_random_subset (const std::vector< Monomial > &vec, bool_gen_type &bit_gen)
MonomialSet	random_interpolation (const MonomialSet &as_set, const std::vector< Monomial > &as_vector, bool_gen_type &bit_gen)
MonomialSet	variety_lex_leading_terms (const MonomialSet &points, const Monomial &variables)
MonomialSet	zeros (Polynomial p, MonomialSet candidates)
Polynomial	interpolate (MonomialSet to_zero, MonomialSet to_one)
Polynomial	interpolate_smallest_lex (MonomialSet to_zero, MonomialSet to_one)
MonomialSet	include_divisors (const MonomialSet &m)
Polynomial	without_prior_part (Polynomial p, idx_type tail_start)
std::vector< Polynomial >	easy_linear_factors (const Polynomial &p)
deg_type	common_literal_factors_deg (const LiteralFactorization &a, const LiteralFactorization &b)
bool	maps_to_one (const std::pair< const polybori::groebner::idx_type, int > v)
bool	maps_to_zero (const std::pair< const polybori::groebner::idx_type, int > v)
void	drawmatrix (mzd_t *mat, const char *filename)
template<class T >
Polynomial	add_up_generic (const std::vector< T > &res_vec, Polynomial init)
Polynomial	nf3 (const ReductionStrategy &strat, Polynomial p, Monomial rest_lead)
Polynomial	nf3_lexbuckets (const GroebnerStrategy &strat, Polynomial p, Monomial rest_lead)
Polynomial	nf3_no_deg_growth (const ReductionStrategy &strat, Polynomial p, Monomial rest_lead)
Polynomial	nf3_degree_order (const ReductionStrategy &strat, Polynomial p, Monomial lead)
Polynomial	nf3_short (const ReductionStrategy &strat, Polynomial p)
int	sum_size (const MonomialSet &s1, const MonomialSet &s2)
std::vector< Polynomial >	parallel_reduce (std::vector< Polynomial > inp, GroebnerStrategy &strat, int average_steps, double delay_f)
int	select_no_deg_growth (const ReductionStrategy &strat, const Monomial &m)
template<class T >
Polynomial	add_up_generic (const std::vector< T > &res_vec, int start, int end, Polynomial init)
Polynomial	add_up_monomials (const std::vector< Monomial > &vec)
Polynomial	add_up_polynomials (const std::vector< Polynomial > &vec)
Polynomial	add_up_exponents (const std::vector< Exponent > &vec)
Polynomial	red_tail_general (const ReductionStrategy &strat, Polynomial p)
template<class Helper >
Polynomial	red_tail_generic (const ReductionStrategy &strat, Polynomial p)
Polynomial	red_tail (const ReductionStrategy &strat, Polynomial p)
Polynomial	red_tail_short (const ReductionStrategy &strat, Polynomial p)
template<bool have_redsb, bool single_call_for_noredsb, bool fast_multiplication>
Polynomial	ll_red_nf_generic (const Polynomial &, const BooleSet &)
template<bool have_redsb, bool single_call_for_noredsb, bool fast_multiplication>
Polynomial	ll_red_nf_generic (const Polynomial &p, const BooleSet::navigator navi)
template<bool fast>
Polynomial	multiply (const Polynomial &p, const Polynomial &q)
Polynomial	ll_red_nf (const Polynomial &p, const BooleSet &reductors)
Polynomial	ll_red_nf_noredsb (const Polynomial &p, const BooleSet &reductors)
Polynomial	ll_red_nf_noredsb_single_recursive_call (const Polynomial &p, const BooleSet &reductors)
Polynomial	do_plug_1 (const Polynomial &p, const MonomialSet &m_plus_ones)
Polynomial	plug_1_top (const Polynomial &p, const MonomialSet &m_plus_ones)
Polynomial	plug_1 (const Polynomial &p, const MonomialSet &m_plus_ones)
MonomialSet	mod_mon_set (const MonomialSet &as, const MonomialSet &vs)
std::vector< Polynomial >	gauss_on_polys (const std::vector< Polynomial > &orig_system)
Polynomial	do_is_rewriteable (const Polynomial &p, const MonomialSet &leading_terms)
bool	is_rewriteable (const Polynomial &p, const MonomialSet &leading_terms)
void	set_random_seed (unsigned int seed)
MonomialSet	random_set_using_generator (const Monomial &variables, unsigned int len, bool_gen_type &bit_gen)
MonomialSet	random_set (const Monomial &variables, unsigned int len)
Variables
const unsigned short	dlex4var_data [][7]
const unsigned short	dp_asc4var_data [][7]
const unsigned short	lp4var_data [][7]
const int	FARE_WORSE = 10
const int	SLIMGB_SIMPLEST = 0

---

Typedef Documentation

typedef boost::minstd_rand polybori::groebner::base_generator_type

typedef boost::variate_generator<base_generator_type&, distribution_type> polybori::groebner::bool_gen_type

typedef int polybori::groebner::deg_type

typedef boost::uniform_smallint polybori::groebner::distribution_type

typedef Exponent::idx_map_type polybori::groebner::exp2Index_map_type

typedef polybori::BooleExponent polybori::groebner::Exponent

typedef polybori ::CacheManager<CCacheTypes::divisorsof> polybori::groebner::fixed_divisors_cache_type

typedef polybori::CTypes::idx_type polybori::groebner::idx_type

typedef long polybori::groebner::len_type

typedef Monomial::idx_map_type polybori::groebner::lm2Index_map_type

typedef polybori::BooleMonomial polybori::groebner::Monomial

typedef polybori::BooleSet polybori::groebner::MonomialSet

typedef PairE polybori::groebner::Pair

typedef boost::shared_ptr<PairData> polybori::groebner::pair_data_ptr

typedef std::vector<Polynomial> polybori::groebner::poly_vec

typedef std::vector<PolyEntry> polybori::groebner::PolyEntryVector

typedef polybori::BoolePolynomial polybori::groebner::Polynomial

typedef std::vector<Polynomial> polybori::groebner::PolynomialVector

typedef SlimgbReduction<SLIMGB_SIMPLEST> polybori::groebner::slimgb_reduction_type

typedef LessWeightedLengthInStratModified polybori::groebner::StratComparerForSelect

typedef polybori::BooleVariable polybori::groebner::Variable

typedef long long polybori::groebner::wlen_type

---

Enumeration Type Documentation

anonymous enum

Enumerator:

VARIABLE_PAIR
IJ_PAIR
DELAYED_PAIR

---

Function Documentation

Polynomial polybori::groebner::add_up_exponents

(

const std::vector< Exponent > &

vec

)

Referenced by random_set_using_generator().

template<class T >

Polynomial polybori::groebner::add_up_generic	(	const std::vector< T > &	res_vec,
		int	start,
		int	end,
		Polynomial	init
	)			[inline]

References add_up_generic().

template<class T >

Polynomial polybori::groebner::add_up_generic	(	const std::vector< T > &	res_vec,
		Polynomial	init
	)			[inline]

Referenced by add_up_generic(), red_tail_general(), polybori::groebner::BlockOrderHelper::sum_range(), and polybori::groebner::DegOrderHelper::sum_range().

Polynomial polybori::groebner::add_up_monomials

(

const std::vector< Monomial > &

vec

)

Note:

This function is deactivated, because it always uses the active manager!

Todo:

activate and make save, when used

Polynomial polybori::groebner::add_up_polynomials

(

const std::vector< Polynomial > &

vec

)

Referenced by red_tail_general(), and red_tail_generic().

void polybori::groebner::addPolynomialToReductor	(	Polynomial &	p,
		MonomialSet &	m
	)

References polybori::CDDInterface< CuddLikeZDD >::manager(), polybori::CDDInterface< CuddLikeZDD >::navigation(), and recursively_insert().

void polybori::groebner::clear_mat

(

mzd_t *

mat

)

deg_type polybori::groebner::common_literal_factors_deg	(	const LiteralFactorization &	a,
		const LiteralFactorization &	b
	)

Referenced by polybori::groebner::LiteralFactorization::LiteralFactorization().

MonomialSet polybori::groebner::contained_deg2_cudd_style

(

const MonomialSet &

m

)

MonomialSet polybori::groebner::contained_variables_cudd_style

(

const MonomialSet &

m

)

Polynomial polybori::groebner::do_is_rewriteable	(	const Polynomial &	p,
		const MonomialSet &	leading_terms
	)

References polybori::BoolePolynomial::diagram(), polybori::CCuddNavigator::elseBranch(), polybori::CCuddNavigator::incrementElse(), polybori::CCuddNavigator::incrementThen(), polybori::CCuddNavigator::isConstant(), polybori::CCuddNavigator::isEmpty(), polybori::BoolePolynomial::isOne(), polybori::CCuddNavigator::isTerminated(), polybori::CCuddNavigator::isValid(), polybori::BoolePolynomial::isZero(), polybori::BoolePolynomial::navigation(), polybori::CDDInterface< CuddLikeZDD >::navigation(), polybori::CDDInterface< CuddLikeZDD >::ownsOne(), polybori::BoolePolynomial::ring(), and polybori::CCuddNavigator::thenBranch().

Polynomial polybori::groebner::do_plug_1	(	const Polynomial &	p,
		const MonomialSet &	m_plus_ones
	)

References polybori::BoolePolynomial::diagram(), polybori::BooleSet::diff(), polybori::CCuddNavigator::elseBranch(), polybori::CCuddNavigator::incrementElse(), polybori::CCuddNavigator::isConstant(), mod_mon_set(), polybori::BoolePolynomial::navigation(), polybori::CDDInterface< CuddLikeZDD >::navigation(), and polybori::CCuddNavigator::thenBranch().

Referenced by plug_1_top().

void polybori::groebner::drawmatrix	(	mzd_t *	mat,
		const char *	filename
	)

std::vector< Polynomial > polybori::groebner::easy_linear_factors

(

const Polynomial &

p

)

std::vector< Polynomial > polybori::groebner::full_implication_gb	(	const Polynomial &	p,
		CacheManager &	cache,
		GroebnerStrategy &	strat_param
	)

std::vector<Polynomial> polybori::groebner::gauss_on_polys

(

const std::vector< Polynomial > &

orig_system

)

MonomialSet polybori::groebner::gen_random_subset	(	const std::vector< Monomial > &	vec,
		bool_gen_type &	bit_gen
	)

void polybori::groebner::groebner

(

GroebnerStrategy &

strat

)

MonomialSet polybori::groebner::include_divisors

(

const MonomialSet &

m

)

Polynomial polybori::groebner::interpolate	(	MonomialSet	to_zero,
		MonomialSet	to_one
	)

Polynomial polybori::groebner::interpolate_smallest_lex	(	MonomialSet	to_zero,
		MonomialSet	to_one
	)

bool polybori::groebner::is_rewriteable	(	const Polynomial &	p,
		const MonomialSet &	leading_terms
	)

Referenced by polybori::groebner::ReductionStrategy::canRewrite().

Polynomial polybori::groebner::ll_red_nf	(	const Polynomial &	p,
		const BooleSet &	reductors
	)

Referenced by red_tail_generic().

template<bool have_redsb, bool single_call_for_noredsb, bool fast_multiplication>

Polynomial polybori::groebner::ll_red_nf_generic	(	const Polynomial &	p,
		const BooleSet::navigator	navi
	)			[inline]

template<bool have_redsb, bool single_call_for_noredsb, bool fast_multiplication>

Polynomial polybori::groebner::ll_red_nf_generic	(	const Polynomial &	p,
		const BooleSet &	reductors
	)			[inline]

References polybori::BoolePolynomial::diagram(), polybori::CCuddNavigator::elseBranch(), polybori::CCuddNavigator::incrementThen(), polybori::CCuddNavigator::isConstant(), polybori::BoolePolynomial::isConstant(), polybori::CDDInterface< CuddLikeZDD >::navigation(), polybori::BoolePolynomial::navigation(), polybori::BoolePolynomial::ring(), and polybori::CCuddNavigator::thenBranch().

Polynomial polybori::groebner::ll_red_nf_noredsb	(	const Polynomial &	p,
		const BooleSet &	reductors
	)

Polynomial polybori::groebner::ll_red_nf_noredsb_single_recursive_call	(	const Polynomial &	p,
		const BooleSet &	reductors
	)

Polynomial polybori::groebner::map_every_x_to_x_plus_one

(

Polynomial

p

)

template<class CacheMgr >

Polynomial polybori::groebner::map_every_x_to_x_plus_one	(	const CacheMgr &	cache_mgr,
		MonomialSet::navigator	nav
	)			[inline]

Referenced by polybori::groebner::GroebnerStrategy::addNonTrivialImplicationsDelayed().

bool polybori::groebner::maps_to_one

(

const std::pair< const polybori::groebner::idx_type, int >

v

)

Referenced by polybori::groebner::LiteralFactorization::is00Factorization().

bool polybori::groebner::maps_to_zero

(

const std::pair< const polybori::groebner::idx_type, int >

v

)

Referenced by polybori::groebner::LiteralFactorization::is11Factorization().

MonomialSet polybori::groebner::minimal_elements

(

const MonomialSet &

s

)

MonomialSet polybori::groebner::minimal_elements_cudd_style

(

MonomialSet

m

)

MonomialSet polybori::groebner::minimal_elements_cudd_style_unary

(

MonomialSet

m

)

MonomialSet polybori::groebner::minimal_elements_internal

(

const MonomialSet &

s

)

MonomialSet polybori::groebner::minimal_elements_internal2

(

MonomialSet

s

)

std::vector<Exponent> polybori::groebner::minimal_elements_internal3

(

MonomialSet

s

)

template<class CacheMgr >

MonomialSet polybori::groebner::mod_deg2_set	(	const CacheMgr &	cache_mgr,
		MonomialSet::navigator	a,
		MonomialSet::navigator	v
	)			[inline]

MonomialSet polybori::groebner::mod_deg2_set	(	const MonomialSet &	as,
		const MonomialSet &	vs
	)

MonomialSet polybori::groebner::mod_mon_set	(	const MonomialSet &	as,
		const MonomialSet &	vs
	)

Referenced by do_plug_1(), plug_1_top(), and red_tail_generic().

MonomialSet polybori::groebner::mod_var_set	(	const MonomialSet &	as,
		const MonomialSet &	vs
	)

template<class CacheMgr >

MonomialSet polybori::groebner::mod_var_set	(	const CacheMgr &	cache_mgr,
		MonomialSet::navigator	a,
		MonomialSet::navigator	v
	)			[inline]

Polynomial polybori::groebner::mult_fast_sim

(

const std::vector< Polynomial > &

vec

)

template<bool fast>

Polynomial polybori::groebner::multiply	(	const Polynomial &	p,
		const Polynomial &	q
	)			[inline]

References polybori::BoolePolynomial::diagram(), and polybori::BoolePolynomial::navigation().

Polynomial polybori::groebner::nf3	(	const ReductionStrategy &	strat,
		Polynomial	p,
		Monomial	rest_lead
	)

Referenced by polybori::groebner::ReductionStrategy::headNormalForm(), polybori::groebner::BlockOrderHelper::nf(), polybori::groebner::LexHelper::nf(), red_tail_general(), and polybori::groebner::ReductionStrategy::reducedNormalForm().

Polynomial polybori::groebner::nf3_degree_order	(	const ReductionStrategy &	strat,
		Polynomial	p,
		Monomial	lead
	)

References polybori::BoolePolynomial::boundedLead(), polybori::BooleExponent::deg(), polybori::BoolePolynomial::deg(), polybori::BooleMonomial::exp(), polybori::BoolePolynomial::gradedPart(), polybori::BoolePolynomial::isZero(), polybori::BoolePolynomial::lead(), polybori::BoolePolynomial::leadDeg(), polybori::groebner::ReductionStrategy::optBrutalReductions, reduce_complete(), and polybori::groebner::ReductionStrategy::select1().

Referenced by polybori::groebner::ReductionStrategy::headNormalForm(), polybori::groebner::DegOrderHelper::nf(), red_tail_general(), and polybori::groebner::ReductionStrategy::reducedNormalForm().

Polynomial polybori::groebner::nf3_lexbuckets	(	const GroebnerStrategy &	strat,
		Polynomial	p,
		Monomial	rest_lead
	)

References polybori::BooleMonomial::exp(), polybori::groebner::GroebnerStrategy::generators, polybori::groebner::LexBucket::getFront(), polybori::groebner::LexBucket::isZero(), polybori::groebner::LexBucket::leadExp(), polybori::groebner::ReductionStrategy::optBrutalReductions, polybori::BoolePolynomial::ring(), polybori::groebner::ReductionStrategy::select1(), and polybori::groebner::LexBucket::value().

Polynomial polybori::groebner::nf3_no_deg_growth	(	const ReductionStrategy &	strat,
		Polynomial	p,
		Monomial	rest_lead
	)

References polybori::BooleMonomial::exp(), polybori::BoolePolynomial::isZero(), polybori::BoolePolynomial::lead(), polybori::groebner::ReductionStrategy::optBrutalReductions, reduce_complete(), and select_no_deg_growth().

Referenced by polybori::groebner::LexHelper::nf().

Polynomial polybori::groebner::nf3_short	(	const ReductionStrategy &	strat,
		Polynomial	p
	)

MonomialSet polybori::groebner::nf_lex_points	(	const Polynomial &	f,
		const MonomialSet &	p
	)

template<class value_type , class initializer , class set_bit >

value_type polybori::groebner::p2code	(	Polynomial	p,
		const std::vector< char > &	ring_2_0123,
		int	max_vars
	)			[inline]

std::vector< Polynomial > polybori::groebner::parallel_reduce	(	std::vector< Polynomial >	inp,
		GroebnerStrategy &	strat,
		int	average_steps,
		double	delay_f
	)

Polynomial polybori::groebner::plug_1	(	const Polynomial &	p,
		const MonomialSet &	m_plus_ones
	)

Polynomial polybori::groebner::plug_1_top	(	const Polynomial &	p,
		const MonomialSet &	m_plus_ones
	)

References polybori::BoolePolynomial::diagram(), do_plug_1(), and mod_mon_set().

bool polybori::groebner::polynomial_in_one_block

(

const Polynomial

p

)

Referenced by polybori::groebner::GroebnerStrategy::treatVariablePairs().

MonomialSet polybori::groebner::random_interpolation	(	const MonomialSet &	as_set,
		const std::vector< Monomial > &	as_vector,
		bool_gen_type &	bit_gen
	)

MonomialSet polybori::groebner::random_set	(	const Monomial &	variables,
		unsigned int	len
	)

MonomialSet polybori::groebner::random_set_using_generator	(	const Monomial &	variables,
		unsigned int	len,
		bool_gen_type &	bit_gen
	)

References add_up_exponents(), polybori::BooleExponent::begin(), polybori::BooleExponent::end(), polybori::BooleMonomial::exp(), and polybori::BooleExponent::push_back().

MonomialSet polybori::groebner::recursively_insert	(	MonomialSet::navigator	p,
		idx_type	idx,
		MonomialSet	mset
	)

template<class MgrType >

MonomialSet polybori::groebner::recursively_insert	(	const MgrType &	mgr,
		MonomialSet::navigator	p,
		idx_type	idx,
		MonomialSet::navigator	m
	)			[inline]

Referenced by addPolynomialToReductor().

Polynomial polybori::groebner::red_tail	(	const ReductionStrategy &	strat,
		Polynomial	p
	)

Referenced by polybori::groebner::ReductionStrategy::reducedNormalForm().

Polynomial polybori::groebner::red_tail_general	(	const ReductionStrategy &	strat,
		Polynomial	p
	)

References add_up_generic(), add_up_polynomials(), polybori::BoolePolynomial::deg(), polybori::BooleMonomial::diagram(), polybori::BoolePolynomial::diagram(), polybori::BoolePolynomial::isZero(), polybori::BoolePolynomial::lead(), polybori::BoolePolynomial::length(), nf3(), nf3_degree_order(), polybori::BoolePolynomial::orderedBegin(), polybori::BoolePolynomial::orderedEnd(), polybori::BooleEnv::ordering(), and polybori::BoolePolynomial::ring().

template<class Helper >

Polynomial polybori::groebner::red_tail_generic	(	const ReductionStrategy &	strat,
		Polynomial	p
	)			[inline]

References add_up_polynomials(), polybori::groebner::ReductionStrategy::canRewrite(), polybori::BoolePolynomial::deg(), polybori::BooleMonomial::diagram(), polybori::BoolePolynomial::diagram(), polybori::BoolePolynomial::isZero(), polybori::BoolePolynomial::lead(), polybori::BoolePolynomial::length(), ll_red_nf(), polybori::groebner::ReductionStrategy::llReductor, polybori::groebner::ReductionStrategy::minimalLeadingTerms, mod_mon_set(), polybori::groebner::ReductionStrategy::monomials, polybori::groebner::ReductionStrategy::optLL, and polybori::BoolePolynomial::ring().

Polynomial polybori::groebner::red_tail_in_last_block	(	const GroebnerStrategy &	strat,
		Polynomial	p
	)

Polynomial polybori::groebner::red_tail_short	(	const ReductionStrategy &	strat,
		Polynomial	p
	)

Polynomial polybori::groebner::reduce_by_binom	(	const Polynomial &	p,
		const Polynomial &	binom
	)

Polynomial polybori::groebner::reduce_by_monom	(	const Polynomial &	p,
		const Monomial &	m
	)

Polynomial polybori::groebner::reduce_complete	(	const Polynomial &	p,
		const PolyEntry &	reductor,
		wlen_type &	len
	)

Polynomial polybori::groebner::reduce_complete	(	const Polynomial &	p,
		const Polynomial &	reductor
	)

Referenced by nf3_degree_order(), and nf3_no_deg_growth().

int polybori::groebner::select_no_deg_growth	(	const ReductionStrategy &	strat,
		const Monomial &	m
	)

Referenced by nf3_no_deg_growth().

void polybori::groebner::set_random_seed

(

unsigned int

seed

)

template<class idx_type1 , class idx_type2 >

void polybori::groebner::set_up_translation_vectors	(	std::vector< idx_type1 > &	ring_2_0123,
		std::vector< idx_type2 > &	back_2_ring,
		const Exponent &	used_variables
	)			[inline]

References polybori::BooleExponent::begin(), and polybori::BooleExponent::end().

bool polybori::groebner::should_propagate

(

const PolyEntry &

e

)

int polybori::groebner::sum_size	(	const MonomialSet &	s1,
		const MonomialSet &	s2
	)

References polybori::BooleMonomial::begin(), polybori::BooleMonomial::deg(), polybori::BooleMonomial::end(), polybori::BooleSet::intersect(), polybori::BoolePolynomial::lead(), polybori::CDDInterface< CuddLikeZDD >::length(), and polybori::BooleSet::subset1().

Polynomial polybori::groebner::translate_indices	(	const Polynomial &	p,
		const std::vector< idx_type > &	table
	)

void polybori::groebner::transpose_window_to_row	(	mzd_t *	transposed_vec,
		mzd_t *	window
	)

std::vector< Polynomial > polybori::groebner::variety_lex_groebner_basis	(	const MonomialSet &	points,
		const Monomial &	variables
	)

MonomialSet polybori::groebner::variety_lex_leading_terms	(	const MonomialSet &	points,
		const Monomial &	variables
	)

Polynomial polybori::groebner::without_prior_part	(	Polynomial	p,
		idx_type	tail_start
	)

Referenced by polybori::groebner::LexBucket::increaseTailStart(), polybori::groebner::LexBucket::LexBucket(), and polybori::groebner::LexBucket::operator+=().

wlen_type polybori::groebner::wlen_literal_exceptioned

(

const PolyEntry &

e

)

[inline]

References polybori::groebner::PolyEntry::deg, polybori::groebner::PolyEntry::length, and polybori::groebner::PolyEntry::weightedLength.

Referenced by polybori::groebner::LessWeightedLengthInStratModified::operator()().

MonomialSet polybori::groebner::zeros	(	Polynomial	p,
		MonomialSet	candidates
	)

---

Variable Documentation

const unsigned short polybori::groebner::dlex4var_data[][7]

const unsigned short polybori::groebner::dp_asc4var_data[][7]

const int polybori::groebner::FARE_WORSE = 10

const unsigned short polybori::groebner::lp4var_data[][7]

const int polybori::groebner::SLIMGB_SIMPLEST = 0