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  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 Documentation

#define LL_RED_FOR_GROEBNER   1

Typedef Documentation

typedef Exponent::idx_map_type exp2Index_map_type
typedef Monomial::idx_map_type lm2Index_map_type

Function Documentation

MonomialSet contained_variables_cudd_style ( const MonomialSet &  m  ) 
std::vector<Polynomial> full_implication_gb ( const Polynomial &  p,
CacheManager cache,
GroebnerStrategy strat 
)
void groebner ( GroebnerStrategy strat  ) 
Polynomial map_every_x_to_x_plus_one ( Polynomial  p  ) 
MonomialSet minimal_elements ( const MonomialSet &  s  ) 
MonomialSet minimal_elements_cudd_style ( MonomialSet  m  ) 
MonomialSet minimal_elements_cudd_style_unary ( MonomialSet  m  ) 
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 
)
wlen_type wlen_literal_exceptioned ( const PolyEntry &  e  )  [inline]

Generated on 23 Dec 2009 for PolyBoRi by  doxygen 1.6.1