PolyBoRi
Public Member Functions | Public Attributes | Protected Member Functions
polybori::groebner::ReductionStrategy Class Reference

#include <groebner_alg.h>

List of all members.

Public Member Functions

Polynomial nf (Polynomial p) const
void setupSetsForLastElement ()
 ReductionStrategy ()
 ReductionStrategy (const BoolePolyRing &theRing)
bool canRewrite (const Polynomial &p) const
void addGenerator (const Polynomial &p)
int select1 (const Polynomial &p) const
int select1 (const Monomial &m) const
int select_short (const Polynomial &p) const
int select_short (const Monomial &m) const
Polynomial headNormalForm (Polynomial p) const
Polynomial reducedNormalForm (Polynomial p) const

Public Attributes

MonomialSet leadingTerms
MonomialSet minimalLeadingTerms
MonomialSet leadingTerms11
MonomialSet leadingTerms00
MonomialSet llReductor
MonomialSet monomials
MonomialSet monomials_plus_one
lm2Index_map_type lm2Index
exp2Index_map_type exp2Index
bool optBrutalReductions
bool optLL
bool optRedTailDegGrowth
bool optRedTail
idx_type reducibleUntil

Protected Member Functions

void set_defaults ()

Constructor & Destructor Documentation

polybori::groebner::ReductionStrategy::ReductionStrategy ( ) [inline]
polybori::groebner::ReductionStrategy::ReductionStrategy ( const BoolePolyRing theRing) [inline]

Member Function Documentation

void polybori::groebner::ReductionStrategy::addGenerator ( const Polynomial p) [inline]
bool polybori::groebner::ReductionStrategy::canRewrite ( const Polynomial p) const [inline]
Polynomial polybori::groebner::ReductionStrategy::headNormalForm ( Polynomial  p) const
Polynomial polybori::groebner::ReductionStrategy::nf ( Polynomial  p) const
Polynomial polybori::groebner::ReductionStrategy::reducedNormalForm ( Polynomial  p) const
int polybori::groebner::ReductionStrategy::select1 ( const Polynomial p) const
int polybori::groebner::ReductionStrategy::select1 ( const Monomial m) const
int polybori::groebner::ReductionStrategy::select_short ( const Polynomial p) const
int polybori::groebner::ReductionStrategy::select_short ( const Monomial m) const
void polybori::groebner::ReductionStrategy::set_defaults ( ) [inline, protected]
void polybori::groebner::ReductionStrategy::setupSetsForLastElement ( )

Member Data Documentation


The documentation for this class was generated from the following files: