This class defines LLReductor. More...
#include <LLReductor.h>
Inheritance diagram for polybori::groebner::LLReductor:
Public Member Functions | |
| LLReductor (const BoolePolyRing &ring) | |
| Construct reductor from Ring. | |
| template<class Type > | |
| LLReductor (const Type &value) | |
| Construct copy or MonomialSet. | |
| bool | isCompatible (const PolyEntry &entry) |
| Test whether polynomial is a compatible reductor element. | |
| Polynomial | update (const PolyEntry &entry) |
| Insert polynomial if compatible, return updated polynomial. | |
Detailed Description
This class defines LLReductor.
Constructor & Destructor Documentation
| polybori::groebner::LLReductor::LLReductor | ( | const BoolePolyRing & | ring | ) | [inline] |
Construct reductor from Ring.
template<class Type >
| polybori::groebner::LLReductor::LLReductor | ( | const Type & | value | ) | [inline] |
Construct copy or MonomialSet.
References PBORI_ASSERT.
Member Function Documentation
| bool polybori::groebner::LLReductor::isCompatible | ( | const PolyEntry & | entry | ) | [inline] |
Test whether polynomial is a compatible reductor element.
References polybori::BooleMonomial::firstIndex(), polybori::groebner::PolyEntryBase::lead, polybori::groebner::PolyEntryBase::leadDeg, polybori::BoolePolynomial::navigation(), polybori::groebner::PolyEntryBase::p, and PBORI_ASSERT.
| Polynomial polybori::groebner::LLReductor::update | ( | const PolyEntry & | entry | ) | [inline] |
Insert polynomial if compatible, return updated polynomial.
References polybori::groebner::PolyEntryBase::p.
The documentation for this class was generated from the following file:
