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