polybori::groebner::LLReductor Class Reference

This class defines LLReductor. More...

#include <LLReductor.h>

Inheritance diagram for polybori::groebner::LLReductor:

List of all members.

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.

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

---

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

• LLReductor.h