PolyBoRi
|
This class finds those terms in a given set which are related to given terms. More...
#include <RelatedTerms.h>
Public Types | |
typedef TransformedSequence< MonomialSet, BoundedDivisorsOf > | divisors_sequence_type |
Public Member Functions | |
RelatedTerms (const BoolePolyRing &ring) | |
Empty set of terms. More... | |
RelatedTerms (const Monomial &lead, const MonomialSet &monomials, const MonomialSet &ignorable) | |
Constructor. More... | |
const MonomialSet & | terms () const |
Access actual monomial set. More... | |
divisors_sequence_type | divisors (const MonomialSet &monomials) const |
Get sequence of corresponding divisors (in the given monomial set) More... | |
Additional Inherited Members | |
![]() | |
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 finds those terms in a given set which are related to given terms.
Get interesting terms (active ones owning some of lead's
variables)
typedef TransformedSequence<MonomialSet, BoundedDivisorsOf> polybori::groebner::RelatedTerms::divisors_sequence_type |
|
inline |
Empty set of terms.
|
inline |
Constructor.
|
inline |
Get sequence of corresponding divisors (in the given monomial set)
|
inline |
Access actual monomial set.