groebner_alg.h File Reference

#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  polybori::groebner::PairStatusSet
class  polybori::groebner::PairManager
class  polybori::groebner::MonomialHasher
class  polybori::groebner::GroebnerStrategy
class  polybori::groebner::LessWeightedLengthInStrat
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)


Define Documentation

#define LL_RED_FOR_GROEBNER   1


Generated on Mon Jul 13 21:14:09 2009 for PolyBoRi by  doxygen 1.5.9