This class deals as a base of RelatedTerns.
More...
#include <RelatedTermsBase.h>
Inheritance diagram for polybori::groebner::RelatedTermsBase:
Public Member Functions | |
| RelatedTermsBase (const BoolePolyRing &ring) | |
| Empty set of terms. | |
| RelatedTermsBase (const Monomial &lead, const MonomialSet &terms, const MonomialSet &ignorable, const MonomialSet &significant) | |
| Nontrivial constructor. | |
| const MonomialSet & | related_terms () const |
| finally get the related terms | |
| const BoundedDivisorsOf & | divisors_of () const |
| Get parameterized functional. | |
| MonomialSet | factors (const MonomialSet &terms) const |
Minimal related elements from terms, with lead's variables set to 1. | |
| MonomialSet | critical_terms_base (const MonomialSet &terms) const |
Related elements in terms modulo the ignorable elements. | |
| MonomialSet | unrelated_terms (const MonomialSet &terms) const |
| Extract terms not owning variables of current generator's leading term. | |
Detailed Description
This class deals as a base of RelatedTerns.
Constructor & Destructor Documentation
| polybori::groebner::RelatedTermsBase::RelatedTermsBase | ( | const BoolePolyRing & | ring | ) | [inline] |
Empty set of terms.
| polybori::groebner::RelatedTermsBase::RelatedTermsBase | ( | const Monomial & | lead, |
| const MonomialSet & | terms, | ||
| const MonomialSet & | ignorable, | ||
| const MonomialSet & | significant | ||
| ) | [inline] |
Nontrivial constructor.
Member Function Documentation
| MonomialSet polybori::groebner::RelatedTermsBase::critical_terms_base | ( | const MonomialSet & | terms | ) | const [inline] |
Related elements in terms modulo the ignorable elements.
References polybori::groebner::mod_mon_set().
| const BoundedDivisorsOf& polybori::groebner::RelatedTermsBase::divisors_of | ( | ) | const [inline] |
Get parameterized functional.
| MonomialSet polybori::groebner::RelatedTermsBase::factors | ( | const MonomialSet & | terms | ) | const [inline] |
Minimal related elements from terms, with lead's variables set to 1.
References polybori::groebner::minimal_elements_divided().
| const MonomialSet& polybori::groebner::RelatedTermsBase::related_terms | ( | ) | const [inline] |
finally get the related terms
| MonomialSet polybori::groebner::RelatedTermsBase::unrelated_terms | ( | const MonomialSet & | terms | ) | const [inline] |
Extract terms not owning variables of current generator's leading term.
References polybori::member_function_operator().
The documentation for this class was generated from the following file:
