polybori::groebner Namespace Reference

Classes
class	CacheManager
class	ChainCriterion
	assumes that divisibility condition is fullfilled More...
class	ChainVariableCriterion
class	HasTRepOrExtendedProductCriterion
class	SetBitUInt
class	ZeroFunction
class	ShorterEliminationLength
class	ShorterEliminationLengthModified
class	GBTypes
class	LexBucket
class	LiteralFactorization
class	PolynomialSugar
class	LMLessComparePS
class	PSCompareByEl
class	IsEcart0Predicate
class	LexHelper
class	DegOrderHelper
class	BlockOrderHelper
class	LexOrderGreaterComparer
class	LMLessCompare
class	SlimgbReduction
Typedefs
typedef polybori::CacheManager < CCacheTypes::divisorsof >	fixed_divisors_cache_type
typedef polybori::BoolePolynomial	Polynomial
typedef polybori::BooleMonomial	Monomial
typedef polybori::BooleVariable	Variable
typedef polybori::BooleExponent	Exponent
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 boost::minstd_rand	base_generator_type
typedef boost::uniform_smallint	distribution_type
typedef boost::variate_generator < base_generator_type &, distribution_type >	bool_gen_type
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)
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)
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)
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)
template<class T >
Polynomial	add_up_generic (const std::vector< T > &res_vec, Polynomial init)
Polynomial	nf1 (GroebnerStrategy &strat, Polynomial p)
Polynomial	nf2 (GroebnerStrategy &strat, Polynomial p)
Polynomial	nf2_short (GroebnerStrategy &strat, Polynomial p)
Polynomial	nf3 (const GroebnerStrategy &strat, Polynomial p, Monomial rest_lead)
Polynomial	nf3_lexbuckets (const GroebnerStrategy &strat, Polynomial p, Monomial rest_lead)
Polynomial	nf3_no_deg_growth (const GroebnerStrategy &strat, Polynomial p, Monomial rest_lead)
Polynomial	nf3_degree_order (const GroebnerStrategy &strat, Polynomial p, Monomial lead)
Polynomial	nf3_db (GroebnerStrategy &strat, Polynomial p, int deg_bound)
Polynomial	nf3_short (const GroebnerStrategy &strat, Polynomial p)
Polynomial	nf_delaying (GroebnerStrategy &strat, Polynomial p)
Polynomial	nf_delaying_exchanging (GroebnerStrategy &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	select1 (const GroebnerStrategy &strat, const Polynomial &p)
int	select1 (const GroebnerStrategy &strat, const Monomial &m)
int	select_no_deg_growth (const GroebnerStrategy &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 GroebnerStrategy &strat, Polynomial p)
template<class Helper >
Polynomial	red_tail_generic (const GroebnerStrategy &strat, Polynomial p)
Polynomial	red_tail (const GroebnerStrategy &strat, Polynomial p)
Polynomial	red_tail_short (const GroebnerStrategy &strat, Polynomial p)
Polynomial	red_tail_self_tuning (const GroebnerStrategy &strat, Polynomial p)
template<bool have_redsb>
Polynomial	ll_red_nf_generic (const Polynomial &, const BooleSet &)
template<bool have_redsb>
Polynomial	ll_red_nf_generic (const Polynomial &p, const BooleSet::navigator navi)
Polynomial	ll_red_nf (const Polynomial &p, const BooleSet &reductors)
Polynomial	ll_red_nf_noredsb (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)
Polynomial	do_is_rewriteable (const Polynomial &p, const MonomialSet &leading_terms)
bool	is_rewriteable (const Polynomial &p, const MonomialSet &leading_terms)
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 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 polybori::BooleMonomial polybori::groebner::Monomial

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

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

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

---

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,
		Polynomial	init
	)

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

template<class T >

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

References add_up_generic().

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

References add_up_generic().

Referenced by gen_random_subset().

Polynomial polybori::groebner::add_up_polynomials

(

const std::vector< Polynomial > &

vec

)

References add_up_generic().

Referenced by red_tail_general(), and red_tail_generic().

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

References polybori::BooleExponent::begin(), polybori::BooleMonomial::begin(), polybori::BoolePolynomial::diagram(), polybori::CDDInterface< CuddLikeZDD >::emptiness(), polybori::BooleExponent::end(), polybori::BooleSet::expBegin(), polybori::BoolePolynomial::lead(), ll_red_nf(), polybori::BoolePolynomial::navigation(), and recursively_insert().

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

References polybori::groebner::LiteralFactorization::factors, polybori::BoolePolynomial::lmDeg(), polybori::groebner::LiteralFactorization::rest, and polybori::groebner::LiteralFactorization::var2var_map.

MonomialSet polybori::groebner::contained_deg2_cudd_style

(

const MonomialSet &

m

)

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

MonomialSet polybori::groebner::contained_variables_cudd_style

(

const MonomialSet &

m

)

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

Referenced by contained_deg2_cudd_style().

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

References polybori::BoolePolynomial::diagram(), polybori::BoolePolynomial::isOne(), polybori::BoolePolynomial::isZero(), polybori::CDDInterface< CuddLikeZDD >::manager(), polybori::BoolePolynomial::navigation(), polybori::CDDInterface< CuddLikeZDD >::navigation(), polybori::CDDInterface< CuddLikeZDD >::ownsOne(), and polybori::BoolePolynomial::ring().

Referenced by is_rewriteable().

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

References polybori::BoolePolynomial::diagram(), polybori::BooleSet::diff(), polybori::CDDInterface< CuddLikeZDD >::manager(), mod_mon_set(), polybori::BoolePolynomial::navigation(), and polybori::CDDInterface< CuddLikeZDD >::navigation().

Referenced by plug_1_top().

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

References polybori::groebner::CacheManager::insert(), and polybori::groebner::CacheManager::lookup().

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

References add_up_monomials(), polybori::BooleSet::begin(), and polybori::BoolePolynomial::diagram().

Referenced by random_interpolation().

MonomialSet polybori::groebner::include_divisors

(

const MonomialSet &

m

)

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

Referenced by variety_lex_leading_terms().

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

References polybori::CDDInterface< CuddLikeZDD >::emptiness(), polybori::BooleSet::intersect(), polybori::CDDInterface< CuddLikeZDD >::manager(), polybori::CDDInterface< CuddLikeZDD >::navigation(), polybori::BooleSet::subset0(), and polybori::BooleSet::subset1().

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

References polybori::BoolePolynomial::diagram(), polybori::BooleSet::diff(), polybori::CDDInterface< CuddLikeZDD >::emptiness(), polybori::BooleSet::intersect(), polybori::CDDInterface< CuddLikeZDD >::manager(), polybori::CDDInterface< CuddLikeZDD >::navigation(), polybori::BooleSet::subset0(), polybori::BooleSet::subset1(), polybori::BooleSet::unite(), and zeros().

Referenced by nf_lex_points(), and random_interpolation().

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

References do_is_rewriteable().

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

Referenced by addPolynomialToReductor(), and red_tail_generic().

template<bool have_redsb>

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

References polybori::BoolePolynomial::diagram(), polybori::BoolePolynomial::isConstant(), polybori::CDDInterface< CuddLikeZDD >::manager(), polybori::BoolePolynomial::navigation(), and polybori::CDDInterface< CuddLikeZDD >::navigation().

template<bool have_redsb>

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

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

template<class CacheMgr >

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

References polybori::BoolePolynomial::diagram(), and polybori::CDDInterface< CuddLikeZDD >::navigation().

Referenced by map_every_x_to_x_plus_one().

Polynomial polybori::groebner::map_every_x_to_x_plus_one

(

Polynomial

p

)

References polybori::BoolePolynomial::diagram(), polybori::CDDInterface< CuddLikeZDD >::manager(), map_every_x_to_x_plus_one(), and polybori::CDDInterface< CuddLikeZDD >::navigation().

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

)

References minimal_elements_cudd_style_unary(), minimal_elements_internal(), and polybori::BooleSet::minimalElements().

MonomialSet polybori::groebner::minimal_elements_cudd_style

(

MonomialSet

m

)

MonomialSet polybori::groebner::minimal_elements_cudd_style_unary

(

MonomialSet

m

)

References polybori::CDDInterface< CuddLikeZDD >::emptiness(), polybori::CDDInterface< CuddLikeZDD >::manager(), mod_mon_set(), polybori::CDDInterface< CuddLikeZDD >::navigation(), and polybori::CDDInterface< CuddLikeZDD >::ownsOne().

Referenced by minimal_elements().

MonomialSet polybori::groebner::minimal_elements_internal

(

const MonomialSet &

s

)

References polybori::BooleSet::begin(), polybori::BooleSet::change(), polybori::BooleMonomial::diagram(), polybori::BooleSet::diff(), polybori::CDDInterface< CuddLikeZDD >::emptiness(), polybori::BoolePolynomial::isOne(), polybori::CDDInterface< CuddLikeZDD >::length(), polybori::CDDInterface< CuddLikeZDD >::navigation(), polybori::BooleMonomial::reducibleBy(), polybori::BooleSet::subset0(), polybori::BooleSet::subset1(), polybori::CDDInterface< CuddLikeZDD >::unateProduct(), and polybori::BooleSet::unite().

Referenced by minimal_elements().

MonomialSet polybori::groebner::minimal_elements_internal2

(

MonomialSet

s

)

References polybori::BooleSet::change(), polybori::BooleMonomial::diagram(), polybori::BooleSet::diff(), polybori::CDDInterface< CuddLikeZDD >::emptiness(), polybori::BoolePolynomial::hasConstantPart(), polybori::BoolePolynomial::isOne(), polybori::CDDInterface< CuddLikeZDD >::length(), polybori::CDDInterface< CuddLikeZDD >::navigation(), polybori::BooleSet::ring(), polybori::BooleSet::subset0(), polybori::BooleSet::subset1(), polybori::CDDInterface< CuddLikeZDD >::unateProduct(), and polybori::BooleSet::unite().

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

(

MonomialSet

s

)

References polybori::CDDInterface< CuddLikeZDD >::emptiness(), polybori::BooleSet::expBegin(), polybori::BooleSet::expEnd(), polybori::BoolePolynomial::hasConstantPart(), polybori::BooleExponent::insert(), polybori::BooleExponent::push_back(), polybori::BooleEnv::ring(), and polybori::BooleSet::subset0().

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

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

Referenced by mod_deg2_set().

template<class CacheMgr >

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

References mod_deg2_set(), mod_var_set(), and polybori::CDDInterface< CuddLikeZDD >::navigation().

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

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

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

template<class CacheMgr >

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

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

Referenced by mod_deg2_set(), and mod_var_set().

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

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

Polynomial polybori::groebner::mult_fast_sim

(

const std::vector< Polynomial > &

vec

)

References polybori::BoolePolynomial::ring().

Polynomial polybori::groebner::nf1	(	GroebnerStrategy &	strat,
		Polynomial	p
	)

References select1(), and polybori::spoly().

Polynomial polybori::groebner::nf2	(	GroebnerStrategy &	strat,
		Polynomial	p
	)

References polybori::BoolePolynomial::diagram(), polybori::BoolePolynomial::isZero(), reduce_by_monom(), reduce_complete(), polybori::BoolePolynomial::reducibleBy(), select1(), polybori::spoly(), polybori::CDDInterface< CuddLikeZDD >::subset0(), and polybori::CDDInterface< CuddLikeZDD >::subset1().

Polynomial polybori::groebner::nf2_short	(	GroebnerStrategy &	strat,
		Polynomial	p
	)

References polybori::BoolePolynomial::diagram(), polybori::BoolePolynomial::isZero(), reduce_by_binom(), reduce_by_monom(), reduce_complete(), polybori::BoolePolynomial::reducibleBy(), polybori::spoly(), polybori::CDDInterface< CuddLikeZDD >::subset0(), and polybori::CDDInterface< CuddLikeZDD >::subset1().

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

References polybori::BooleMonomial::exp(), polybori::BoolePolynomial::isZero(), polybori::BoolePolynomial::lead(), reduce_complete(), and select1().

Referenced by polybori::groebner::LexHelper::nf(), polybori::groebner::BlockOrderHelper::nf(), red_tail_general(), and red_tail_self_tuning().

Polynomial polybori::groebner::nf3_db	(	GroebnerStrategy &	strat,
		Polynomial	p,
		int	deg_bound
	)

References polybori::BoolePolynomial::lead(), polybori::BoolePolynomial::lmDeg(), reduce_complete(), select1(), and polybori::spoly().

Polynomial polybori::groebner::nf3_degree_order	(	const GroebnerStrategy &	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::lmDeg(), reduce_complete(), and select1().

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

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

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

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

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

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

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

References polybori::BoolePolynomial::lead(), reduce_complete(), and polybori::spoly().

Referenced by red_tail_self_tuning(), and red_tail_short().

Polynomial polybori::groebner::nf_delaying	(	GroebnerStrategy &	strat,
		Polynomial	p
	)

References polybori::BoolePolynomial::diagram(), polybori::BoolePolynomial::eliminationLength(), polybori::BoolePolynomial::length(), polybori::BoolePolynomial::navigation(), polybori::BoolePolynomial::nNodes(), select1(), polybori::spoly(), polybori::CDDInterface< CuddLikeZDD >::subset0(), and polybori::CDDInterface< CuddLikeZDD >::subset1().

Polynomial polybori::groebner::nf_delaying_exchanging	(	GroebnerStrategy &	strat,
		Polynomial	p
	)

References polybori::BoolePolynomial::diagram(), polybori::BoolePolynomial::eliminationLength(), polybori::BoolePolynomial::lead(), polybori::BoolePolynomial::length(), polybori::BoolePolynomial::navigation(), polybori::BoolePolynomial::nNodes(), select1(), polybori::spoly(), polybori::CDDInterface< CuddLikeZDD >::subset0(), and polybori::CDDInterface< CuddLikeZDD >::subset1().

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

References polybori::BooleSet::diff(), interpolate_smallest_lex(), and zeros().

Referenced by variety_lex_groebner_basis().

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
	)

References polybori::BooleExponent::begin(), polybori::BooleExponent::end(), polybori::BoolePolynomial::expBegin(), and polybori::BoolePolynomial::expEnd().

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

References polybori::BooleMonomial::begin(), polybori::BooleMonomial::deg(), polybori::groebner::PolynomialSugar::getSugar(), and select1().

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

References plug_1_top().

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

References polybori::BoolePolynomial::diagram(), polybori::CDDInterface< CuddLikeZDD >::diff(), do_plug_1(), and mod_mon_set().

Referenced by plug_1().

bool polybori::groebner::polynomial_in_one_block

(

const Polynomial

p

)

References polybori::BooleMonomial::begin(), polybori::BooleMonomial::end(), polybori::BoolePolynomial::isConstant(), polybori::BooleEnv::ordering(), and polybori::BoolePolynomial::usedVariables().

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

References polybori::BooleSet::diff(), gen_random_subset(), and interpolate_smallest_lex().

Referenced by variety_lex_leading_terms().

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

References random_set_using_generator().

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(), polybori::BooleExponent::insert(), and polybori::BooleExponent::push_back().

Referenced by random_set().

template<class MgrType >

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

Note:

Core function which uses the manager given as firt argument

Referenced by addPolynomialToReductor(), and recursively_insert().

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

Note:

Wrapper for external use

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

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

References red_tail_general().

Referenced by red_tail_in_last_block().

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

References add_up_generic(), add_up_polynomials(), polybori::BoolePolynomial::deg(), polybori::BooleMonomial::diagram(), polybori::BoolePolynomial::diagram(), polybori::CDDInterface< CuddLikeZDD >::diff(), polybori::BoolePolynomial::isZero(), polybori::BoolePolynomial::lead(), polybori::BoolePolynomial::length(), nf3(), nf3_degree_order(), polybori::BoolePolynomial::orderedBegin(), polybori::BoolePolynomial::orderedEnd(), and polybori::BoolePolynomial::ring().

Referenced by red_tail().

template<class Helper >

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

References add_up_polynomials(), polybori::BoolePolynomial::deg(), polybori::BooleMonomial::diagram(), polybori::BoolePolynomial::diagram(), polybori::CDDInterface< CuddLikeZDD >::diff(), polybori::BoolePolynomial::isZero(), polybori::BoolePolynomial::lead(), polybori::BoolePolynomial::length(), ll_red_nf(), mod_mon_set(), and polybori::BoolePolynomial::ring().

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

References polybori::BoolePolynomial::isZero(), polybori::BoolePolyRing::lastBlockStart(), polybori::BoolePolynomial::navigation(), red_tail(), and polybori::BooleEnv::ring().

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

References polybori::BoolePolynomial::isZero(), polybori::BoolePolynomial::lead(), polybori::BoolePolynomial::length(), nf3(), and nf3_short().

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

References polybori::BoolePolynomial::isZero(), polybori::BoolePolynomial::lead(), and nf3_short().

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

References polybori::BooleMonomial::GCD(), polybori::BoolePolynomial::lead(), polybori::BoolePolynomial::length(), polybori::BooleSet::multiplesOf(), and polybori::BoolePolynomial::orderedBegin().

Referenced by nf2_short(), and reduce_complete().

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

References polybori::BooleMonomial::begin(), polybori::BooleMonomial::deg(), polybori::BooleMonomial::diagram(), polybori::BooleMonomial::end(), polybori::BoolePolynomial::ring(), polybori::BooleSet::subset1(), and polybori::CDDInterface< CuddLikeZDD >::unateProductAssign().

Referenced by nf2(), and nf2_short().

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

References polybori::BoolePolynomial::begin(), polybori::BoolePolynomial::end(), polybori::BooleMonomial::GCD(), polybori::BoolePolynomial::lead(), polybori::BooleSet::subset1(), and polybori::CDDInterface< CuddLikeZDD >::unateProduct().

Referenced by nf2(), nf2_short(), nf3(), nf3_db(), nf3_degree_order(), nf3_no_deg_growth(), and nf3_short().

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

References polybori::BoolePolynomial::diagram(), polybori::BoolePolynomial::length(), polybori::CDDInterface< CuddLikeZDD >::length(), reduce_by_binom(), and polybori::BooleSet::subset1().

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

References polybori::BooleSet::divisorsOf(), polybori::CDDInterface< CuddLikeZDD >::emptiness(), polybori::BooleSet::expBegin(), polybori::BooleSet::expEnd(), and polybori::BoolePolynomial::lead().

Referenced by nf1(), nf2(), nf3(), nf3_db(), nf3_degree_order(), nf3_lexbuckets(), nf_delaying(), nf_delaying_exchanging(), parallel_reduce(), and polybori::groebner::SlimgbReduction< variant >::reduce().

int polybori::groebner::select1	(	const GroebnerStrategy &	strat,
		const Monomial &	m
	)

References polybori::BooleSet::divisorsOf(), polybori::CDDInterface< CuddLikeZDD >::emptiness(), polybori::BooleSet::expBegin(), and polybori::BooleSet::expEnd().

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

References polybori::BooleSet::divisorsOf(), polybori::CDDInterface< CuddLikeZDD >::emptiness(), polybori::BooleSet::expBegin(), and polybori::BooleSet::expEnd().

Referenced by nf3_no_deg_growth().

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
	)

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

Referenced by polybori::groebner::CacheManager::insert(), and polybori::groebner::CacheManager::lookup().

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
	)

References polybori::BooleSet::change(), polybori::dd_backward_transform(), polybori::BoolePolynomial::diagram(), polybori::BoolePolynomial::isConstant(), polybori::BoolePolynomial::navigation(), polybori::BoolePolynomial::ring(), polybori::CDDInterface< CuddLikeZDD >::subset0(), polybori::CDDInterface< CuddLikeZDD >::subset1(), and polybori::BooleSet::unite().

Referenced by polybori::groebner::CacheManager::insert(), and polybori::groebner::CacheManager::lookup().

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

References polybori::BooleSet::begin(), polybori::BooleSet::end(), nf_lex_points(), and variety_lex_leading_terms().

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

References polybori::BooleSet::begin(), polybori::BooleSet::diff(), polybori::BooleMonomial::divisors(), polybori::BooleSet::end(), include_divisors(), polybori::CDDInterface< CuddLikeZDD >::manager(), polybori::BooleSet::minimalElements(), random_interpolation(), polybori::CDDInterface< CuddLikeZDD >::size(), and polybori::BooleSet::unite().

Referenced by variety_lex_groebner_basis().

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

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

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

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

References polybori::BoolePolynomial::diagram(), polybori::BooleSet::diff(), polybori::CDDInterface< CuddLikeZDD >::emptiness(), polybori::BoolePolynomial::hasConstantPart(), polybori::BoolePolynomial::isOne(), polybori::BoolePolynomial::isZero(), polybori::CDDInterface< CuddLikeZDD >::manager(), polybori::CDDInterface< CuddLikeZDD >::navigation(), polybori::BooleSet::subset0(), polybori::BooleSet::subset1(), and polybori::BooleSet::Xor().

Referenced by interpolate_smallest_lex(), and nf_lex_points().

---

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