polybori::groebner::LeadingTerms00 Class Reference

This class defines LeadingTerms00. More...

#include <LeadingTerms00.h>

Inheritance diagram for polybori::groebner::LeadingTerms00:

List of all members.

Public Member Functions
template<class Type>
	LeadingTerms00 (const Type &rhs)
bool	isCompatible (const PolyEntry &entry) const

---

Detailed Description

This class defines LeadingTerms00.

---

Constructor & Destructor Documentation

template<class Type>

polybori::groebner::LeadingTerms00::LeadingTerms00

(

const Type &

rhs

)

[inline]

---

Member Function Documentation

bool polybori::groebner::LeadingTerms00::isCompatible

(

const PolyEntry &

entry

)

const [inline]

References polybori::groebner::LiteralFactorization::is00Factorization(), and polybori::groebner::PolyEntryBase::literal_factors.

---

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

• LeadingTerms00.h