polybori::groebner::ReductionStrategy Class Reference

#include <groebner_alg.h>

List of all members.

Public Member Functions

Polynomial nf (Polynomial p) const
void setupSetsForLastElement ()
 ReductionStrategy ()
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

Constructor & Destructor Documentation

polybori::groebner::ReductionStrategy::ReductionStrategy (  )  [inline]

Member Function Documentation

void polybori::groebner::ReductionStrategy::addGenerator ( const Polynomial p  )  [inline]
bool polybori::groebner::ReductionStrategy::canRewrite ( const Polynomial p  )  const [inline]

References is_rewriteable().

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 Monomial m  )  const
int polybori::groebner::ReductionStrategy::select1 ( const Polynomial p  )  const
int polybori::groebner::ReductionStrategy::select_short ( const Monomial m  )  const
int polybori::groebner::ReductionStrategy::select_short ( const Polynomial p  )  const
void polybori::groebner::ReductionStrategy::setupSetsForLastElement (  ) 

Member Data Documentation


The documentation for this class was generated from the following file:
Generated on Thu Aug 5 13:34:47 2010 for PolyBoRi by  doxygen 1.6.3