Classes |
class | polybori::groebner::PairStatusSet |
class | polybori::groebner::PairManager |
class | polybori::groebner::MonomialHasher |
class | polybori::groebner::ReductionStrategy |
class | polybori::groebner::GroebnerStrategy |
class | polybori::groebner::LessWeightedLengthInStrat |
class | polybori::groebner::LargerDegreeComparer |
class | polybori::groebner::LessWeightedLengthInStratModified |
class | polybori::groebner::LessEcartThenLessWeightedLengthInStrat |
class | polybori::groebner::LessUsedTailVariablesThenLessWeightedLengthInStrat |
class | polybori::groebner::LessCombinedManySizesInStrat |
Namespaces |
namespace | polybori |
namespace | polybori::groebner |
Defines |
#define | LL_RED_FOR_GROEBNER 1 |
Typedefs |
typedef Monomial::idx_map_type | polybori::groebner::lm2Index_map_type |
typedef Exponent::idx_map_type | polybori::groebner::exp2Index_map_type |
Functions |
MonomialSet | polybori::groebner::minimal_elements (const MonomialSet &s) |
Polynomial | polybori::groebner::map_every_x_to_x_plus_one (Polynomial p) |
MonomialSet | polybori::groebner::mod_var_set (const MonomialSet &as, const MonomialSet &vs) |
void | polybori::groebner::groebner (GroebnerStrategy &strat) |
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 Polynomial &reductor) |
wlen_type | polybori::groebner::wlen_literal_exceptioned (const PolyEntry &e) |
Polynomial | polybori::groebner::mult_fast_sim (const std::vector< Polynomial > &vec) |
std::vector< Polynomial > | polybori::groebner::full_implication_gb (const Polynomial &p, CacheManager &cache, GroebnerStrategy &strat_param) |
Polynomial | polybori::groebner::reduce_complete (const Polynomial &p, const PolyEntry &reductor, wlen_type &len) |
MonomialSet | polybori::groebner::contained_variables_cudd_style (const MonomialSet &m) |
MonomialSet | polybori::groebner::minimal_elements_cudd_style (MonomialSet m) |
MonomialSet | polybori::groebner::recursively_insert (MonomialSet::navigator p, idx_type idx, MonomialSet mset) |
MonomialSet | polybori::groebner::minimal_elements_cudd_style_unary (MonomialSet m) |