PolyBoRi
|
This class defines MinimalLeadingTerms. More...
#include <MinimalLeadingTerms.h>
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) |
This class defines MinimalLeadingTerms.
polybori::groebner::MinimalLeadingTerms::MinimalLeadingTerms | ( | const Type & | value | ) | [inline] |
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().