polybori::groebner Namespace Reference

Classes

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
class  PolyEntry
class  PairData
class  IJPairData
class  PolyPairData
class  VariablePairData
class  PairLS
class  PairE
class  PairLSCompare
class  PairECompare

Typedefs

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 std::vector< PolyEntryPolyEntryVector
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

std::vector< Polynomialvariety_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< Polynomialparallel_reduce (std::vector< Polynomial > inp, GroebnerStrategy &strat, int average_steps, double delay_f)
int select_short (const GroebnerStrategy &strat, const Polynomial &p)
int select_short (const GroebnerStrategy &strat, const Monomial &m)
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 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::uniform_smallint polybori::groebner::distribution_type
typedef polybori::BooleExponent polybori::groebner::Exponent
typedef polybori::BooleMonomial polybori::groebner::Monomial
typedef polybori::BooleSet polybori::groebner::MonomialSet
typedef boost::shared_ptr<PairData> polybori::groebner::pair_data_ptr
typedef polybori::BoolePolynomial polybori::groebner::Polynomial
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  ) 
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]
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

Referenced by gen_random_subset().

Polynomial polybori::groebner::add_up_polynomials ( const std::vector< Polynomial > &  vec  ) 
deg_type polybori::groebner::common_literal_factors_deg ( const LiteralFactorization &  a,
const LiteralFactorization &  b 
)
Polynomial polybori::groebner::do_is_rewriteable ( const Polynomial &  p,
const MonomialSet &  leading_terms 
)
Polynomial polybori::groebner::do_plug_1 ( const Polynomial &  p,
const MonomialSet &  m_plus_ones 
)

References mod_mon_set().

Referenced by plug_1_top().

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

References add_up_monomials().

Referenced by random_interpolation().

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 
)

Referenced by random_interpolation().

bool polybori::groebner::is_rewriteable ( const Polynomial &  p,
const MonomialSet &  leading_terms 
)
Polynomial polybori::groebner::ll_red_nf ( const Polynomial &  p,
const BooleSet reductors 
)
template<bool have_redsb>
Polynomial polybori::groebner::ll_red_nf_generic ( const Polynomial &  p,
const BooleSet::navigator  navi 
) [inline]
template<bool have_redsb>
Polynomial polybori::groebner::ll_red_nf_generic ( const Polynomial &  p,
const BooleSet reductors 
) [inline]
Polynomial polybori::groebner::ll_red_nf_noredsb ( const Polynomial &  p,
const BooleSet reductors 
)
bool polybori::groebner::maps_to_one ( const std::pair< const polybori::groebner::idx_type, int >  v  ) 
bool polybori::groebner::maps_to_zero ( const std::pair< const polybori::groebner::idx_type, int >  v  ) 
MonomialSet polybori::groebner::mod_mon_set ( const MonomialSet &  as,
const MonomialSet &  vs 
)
Polynomial polybori::groebner::nf1 ( GroebnerStrategy strat,
Polynomial  p 
)
Polynomial polybori::groebner::nf2 ( GroebnerStrategy strat,
Polynomial  p 
)
Polynomial polybori::groebner::nf2_short ( GroebnerStrategy strat,
Polynomial  p 
)
Polynomial polybori::groebner::nf3 ( const GroebnerStrategy strat,
Polynomial  p,
Monomial  rest_lead 
)
Polynomial polybori::groebner::nf3_db ( GroebnerStrategy strat,
Polynomial  p,
int  deg_bound 
)
Polynomial polybori::groebner::nf3_degree_order ( const GroebnerStrategy strat,
Polynomial  p,
Monomial  lead 
)
Polynomial polybori::groebner::nf3_lexbuckets ( const GroebnerStrategy strat,
Polynomial  p,
Monomial  rest_lead 
)
Polynomial polybori::groebner::nf3_no_deg_growth ( const GroebnerStrategy strat,
Polynomial  p,
Monomial  rest_lead 
)
Polynomial polybori::groebner::nf3_short ( const GroebnerStrategy strat,
Polynomial  p 
)
Polynomial polybori::groebner::nf_delaying ( GroebnerStrategy strat,
Polynomial  p 
)
Polynomial polybori::groebner::nf_delaying_exchanging ( GroebnerStrategy strat,
Polynomial  p 
)
MonomialSet polybori::groebner::nf_lex_points ( const Polynomial &  f,
const MonomialSet &  p 
)
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 do_plug_1(), and mod_mon_set().

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().

Polynomial polybori::groebner::red_tail ( const GroebnerStrategy strat,
Polynomial  p 
)
Polynomial polybori::groebner::red_tail_general ( const GroebnerStrategy strat,
Polynomial  p 
)
template<class Helper >
Polynomial polybori::groebner::red_tail_generic ( const GroebnerStrategy strat,
Polynomial  p 
) [inline]
Polynomial polybori::groebner::red_tail_self_tuning ( const GroebnerStrategy strat,
Polynomial  p 
)
Polynomial polybori::groebner::red_tail_short ( const GroebnerStrategy strat,
Polynomial  p 
)
int polybori::groebner::select1 ( const GroebnerStrategy strat,
const Monomial &  m 
)
int polybori::groebner::select1 ( const GroebnerStrategy strat,
const Polynomial &  p 
)
int polybori::groebner::select_no_deg_growth ( const GroebnerStrategy strat,
const Monomial &  m 
)

Referenced by nf3_no_deg_growth().

static int polybori::groebner::select_short ( const GroebnerStrategy strat,
const Monomial &  m 
)
static int polybori::groebner::select_short ( const GroebnerStrategy strat,
const Polynomial &  p 
)
int polybori::groebner::sum_size ( const MonomialSet &  s1,
const MonomialSet &  s2 
)
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 
)
MonomialSet polybori::groebner::zeros ( Polynomial  p,
MonomialSet  candidates 
)

Variable Documentation

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

Generated on 23 Dec 2009 for PolyBoRi by  doxygen 1.6.1