polybori::groebner::MinimalLeadingTerms Class Reference

This class defines MinimalLeadingTerms. More...

#include <MinimalLeadingTerms.h>

Inheritance diagram for polybori::groebner::MinimalLeadingTerms:

List of all members.

Public Member Functions
template<class Type>
	MinimalLeadingTerms (const Type &value)
MonomialSet	update (const Monomial &lm)
	Insert leading term and return monomials, that are not minimal (any more).

---

Detailed Description

This class defines MinimalLeadingTerms.

---

Constructor & Destructor Documentation

template<class Type>

polybori::groebner::MinimalLeadingTerms::MinimalLeadingTerms

(

const Type &

value

)

[inline]

---

Member Function Documentation

MonomialSet polybori::groebner::MinimalLeadingTerms::update

(

const Monomial &

lm

)

[inline]

Insert leading term and return monomials, that are not minimal (any more).

References polybori::CCuddDDFacade< RingType, DiagramType >::isZero(), polybori::BooleMonomial::ring(), polybori::BooleMonomial::set(), and polybori::BoolePolyRing::zero().

Referenced by polybori::groebner::ReductionStrategy::setupSetsForElement().

---

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

• MinimalLeadingTerms.h