#include "groebner_alg.h"
#include "nf.h"
#include <algorithm>
#include <set>
#include "dlex4data.h"
#include "lp4data.h"
#include "dp_asc4data.h"
#include "CacheManager.h"
Classes | |
class | ChainCriterion |
assumes that divisibility condition is fullfilled More... | |
class | ChainVariableCriterion |
class | HasTRepOrExtendedProductCriterion |
class | SetBitUInt |
class | ZeroFunction |
class | ShorterEliminationLength |
class | ShorterEliminationLengthModified |
Defines | |
#define | DANGEROUS_FIXED_PATH 1 |
#define | HAVE_DLEX4_DATA 1 |
#define | HAVE_LP4_DATA 1 |
#define | HAVE_DP_ASC4_DATA 1 |
Typedefs | |
typedef polybori::CacheManager < CCacheTypes::divisorsof > | fixed_divisors_cache_type |
Functions | |
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) |
Polynomial | translate_indices (const Polynomial &p, const std::vector< idx_type > &table) |
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) |
#define DANGEROUS_FIXED_PATH 1 |
#define HAVE_DLEX4_DATA 1 |
#define HAVE_DP_ASC4_DATA 1 |
#define HAVE_LP4_DATA 1 |
typedef polybori ::CacheManager<CCacheTypes::divisorsof> fixed_divisors_cache_type |
void addPolynomialToReductor | ( | Polynomial & | p, | |
MonomialSet & | m | |||
) |
References polybori::groebner::ll_red_nf(), and recursively_insert().
Referenced by GroebnerStrategy::addGenerator().
MonomialSet contained_deg2_cudd_style | ( | const MonomialSet & | m | ) |
References contained_variables_cudd_style().
MonomialSet contained_variables_cudd_style | ( | const MonomialSet & | m | ) |
References contained_variables_cudd_style().
Referenced by contained_deg2_cudd_style(), and contained_variables_cudd_style().
std::vector<Polynomial> full_implication_gb | ( | const Polynomial & | p, | |
CacheManager & | cache, | |||
GroebnerStrategy & | strat_param | |||
) |
References GroebnerStrategy::addGenerator(), GroebnerStrategy::cache, CacheManager< CacheType >::insert(), GroebnerStrategy::log(), CacheManager< CacheType >::lookup(), GroebnerStrategy::minimalizeAndTailReduce(), GroebnerStrategy::optAllowRecursion, and GroebnerStrategy::symmGB_F2().
Referenced by GroebnerStrategy::addGeneratorTrySplit().
Polynomial map_every_x_to_x_plus_one | ( | Polynomial | p | ) |
References map_every_x_to_x_plus_one().
Polynomial map_every_x_to_x_plus_one | ( | const CacheMgr & | cache_mgr, | |
MonomialSet::navigator | nav | |||
) | [inline] |
Referenced by map_every_x_to_x_plus_one().
MonomialSet minimal_elements | ( | const MonomialSet & | s | ) |
References minimal_elements_cudd_style_unary(), and minimal_elements_internal().
Referenced by GroebnerStrategy::minimalize(), and GroebnerStrategy::minimalizeAndTailReduce().
MonomialSet minimal_elements_cudd_style | ( | MonomialSet | m | ) |
MonomialSet minimal_elements_cudd_style_unary | ( | MonomialSet | m | ) |
References minimal_elements_cudd_style_unary(), and polybori::groebner::mod_mon_set().
Referenced by minimal_elements(), and minimal_elements_cudd_style_unary().
MonomialSet minimal_elements_internal | ( | const MonomialSet & | s | ) |
Referenced by minimal_elements().
MonomialSet minimal_elements_internal2 | ( | MonomialSet | s | ) |
std::vector<Exponent> minimal_elements_internal3 | ( | MonomialSet | s | ) |
References BooleEnv::ring().
MonomialSet mod_deg2_set | ( | const CacheMgr & | cache_mgr, | |
MonomialSet::navigator | a, | |||
MonomialSet::navigator | v | |||
) | [inline] |
References mod_deg2_set(), and mod_var_set().
MonomialSet mod_deg2_set | ( | const MonomialSet & | as, | |
const MonomialSet & | vs | |||
) |
Referenced by mod_deg2_set().
MonomialSet mod_var_set | ( | const MonomialSet & | as, | |
const MonomialSet & | vs | |||
) |
References mod_var_set().
MonomialSet mod_var_set | ( | const CacheMgr & | cache_mgr, | |
MonomialSet::navigator | a, | |||
MonomialSet::navigator | v | |||
) | [inline] |
Referenced by mod_deg2_set(), and mod_var_set().
Polynomial mult_fast_sim | ( | const std::vector< Polynomial > & | vec | ) |
References mult_fast_sim().
Referenced by mult_fast_sim().
value_type p2code | ( | Polynomial | p, | |
const std::vector< char > & | ring_2_0123, | |||
int | max_vars | |||
) | [inline] |
bool polynomial_in_one_block | ( | const Polynomial | p | ) |
References BooleEnv::ordering().
Referenced by GroebnerStrategy::addGeneratorTrySplit(), and GroebnerStrategy::treatVariablePairs().
MonomialSet recursively_insert | ( | MonomialSet::navigator | p, | |
idx_type | idx, | |||
MonomialSet | mset | |||
) |
References recursively_insert().
MonomialSet recursively_insert | ( | const MgrType & | mgr, | |
MonomialSet::navigator | p, | |||
idx_type | idx, | |||
MonomialSet::navigator | m | |||
) | [inline] |
Referenced by addPolynomialToReductor(), and recursively_insert().
Polynomial red_tail_in_last_block | ( | const GroebnerStrategy & | strat, | |
Polynomial | p | |||
) |
References GroebnerStrategy::nf(), polybori::groebner::red_tail(), and BooleEnv::ring().
Referenced by GroebnerStrategy::addAsYouWish().
Polynomial reduce_by_binom | ( | const Polynomial & | p, | |
const Polynomial & | binom | |||
) |
Referenced by reduce_complete().
Polynomial reduce_by_monom | ( | const Polynomial & | p, | |
const Monomial & | m | |||
) |
References BooleSet::subset1().
Polynomial reduce_complete | ( | const Polynomial & | p, | |
const PolyEntry & | reductor, | |||
wlen_type & | len | |||
) |
References reduce_by_binom().
Polynomial reduce_complete | ( | const Polynomial & | p, | |
const Polynomial & | reductor | |||
) |
References BooleSet::subset1().
Referenced by polybori::groebner::nf3_db(), polybori::groebner::nf3_degree_order(), and polybori::groebner::nf3_no_deg_growth().
bool should_propagate | ( | const PolyEntry & | e | ) |
Referenced by GroebnerStrategy::propagate(), and GroebnerStrategy::propagate_step().
Polynomial translate_indices | ( | const Polynomial & | p, | |
const std::vector< idx_type > & | table | |||
) |
References dd_backward_transform(), and translate_indices().
Referenced by CacheManager< CacheType >::insert(), CacheManager< CacheType >::lookup(), and translate_indices().