#include <polybori.h>
#include "groebner_defs.h"
#include "pairs.h"
#include <boost/dynamic_bitset.hpp>
#include <vector>
#include <algorithm>
#include <utility>
#include <iostream>
#include "cache_manager.h"
#include "polynomial_properties.h"
#include <ext/hash_map>
Go to the source code of this file.
Classes | |
class | PairStatusSet |
class | PairManager |
class | MonomialHasher |
class | GroebnerStrategy |
class | LessWeightedLengthInStrat |
class | LessWeightedLengthInStratModified |
class | LessEcartThenLessWeightedLengthInStrat |
class | LessUsedTailVariablesThenLessWeightedLengthInStrat |
class | LessCombinedManySizesInStrat |
Defines | |
#define | LL_RED_FOR_GROEBNER 1 |
Typedefs | |
typedef Monomial::idx_map_type | lm2Index_map_type |
typedef Exponent::idx_map_type | exp2Index_map_type |
Functions | |
MonomialSet | minimal_elements (const MonomialSet &s) |
Polynomial | map_every_x_to_x_plus_one (Polynomial p) |
MonomialSet | mod_var_set (const MonomialSet &as, const MonomialSet &vs) |
void | groebner (GroebnerStrategy &strat) |
Polynomial | reduce_by_binom (const Polynomial &p, const Polynomial &binom) |
Polynomial | reduce_by_monom (const Polynomial &p, const Monomial &m) |
Polynomial | reduce_complete (const Polynomial &p, const Polynomial &reductor) |
wlen_type | wlen_literal_exceptioned (const PolyEntry &e) |
Polynomial | mult_fast_sim (const std::vector< Polynomial > &vec) |
std::vector< Polynomial > | full_implication_gb (const Polynomial &p, CacheManager &cache, GroebnerStrategy &strat) |
Polynomial | reduce_complete (const Polynomial &p, const PolyEntry &reductor, wlen_type &len) |
MonomialSet | contained_variables_cudd_style (const MonomialSet &m) |
MonomialSet | minimal_elements_cudd_style (MonomialSet m) |
MonomialSet | recursively_insert (MonomialSet::navigator p, idx_type idx, MonomialSet mset) |
MonomialSet | minimal_elements_cudd_style_unary (MonomialSet m) |
#define LL_RED_FOR_GROEBNER 1 |
typedef Exponent::idx_map_type exp2Index_map_type |
typedef Monomial::idx_map_type lm2Index_map_type |
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 | |||
) |
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().
void groebner | ( | GroebnerStrategy & | strat | ) |
Polynomial map_every_x_to_x_plus_one | ( | Polynomial | p | ) |
References 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 mod_var_set | ( | const MonomialSet & | as, | |
const MonomialSet & | vs | |||
) |
References mod_var_set().
Polynomial mult_fast_sim | ( | const std::vector< Polynomial > & | vec | ) |
References mult_fast_sim().
Referenced by mult_fast_sim().
MonomialSet recursively_insert | ( | MonomialSet::navigator | p, | |
idx_type | idx, | |||
MonomialSet | mset | |||
) |
References recursively_insert().
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().
wlen_type wlen_literal_exceptioned | ( | const PolyEntry & | e | ) | [inline] |
Referenced by LessWeightedLengthInStratModified::operator()().