polybori::groebner::RelatedTerms Class Reference
This class finds those terms in a given set which are related to given terms. More...
#include <RelatedTerms.h>
Inheritance diagram for polybori::groebner::RelatedTerms:
Public Types | |
| typedef TransformedSequence < MonomialSet, BoundedDivisorsOf > | divisors_sequence_type |
Public Member Functions | |
| RelatedTerms (const BoolePolyRing &ring) | |
| Empty set of terms. | |
| RelatedTerms (const Monomial &lead, const MonomialSet &monomials, const MonomialSet &ignorable) | |
| Constructor. | |
| const MonomialSet & | terms () const |
| Access actual monomial set. | |
| divisors_sequence_type | divisors (const MonomialSet &monomials) const |
| Get sequence of corresponding divisors (in the given monomial set). | |
Detailed Description
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)
Member Typedef Documentation
| typedef TransformedSequence<MonomialSet, BoundedDivisorsOf> polybori::groebner::RelatedTerms::divisors_sequence_type |
Constructor & Destructor Documentation
| polybori::groebner::RelatedTerms::RelatedTerms | ( | const BoolePolyRing & | ring | ) | [inline] |
Empty set of terms.
| polybori::groebner::RelatedTerms::RelatedTerms | ( | const Monomial & | lead, | |
| const MonomialSet & | monomials, | |||
| const MonomialSet & | ignorable | |||
| ) | [inline] |
Constructor.
Member Function Documentation
| const MonomialSet& polybori::groebner::RelatedTerms::terms | ( | ) | const [inline] |
Access actual monomial set.
| divisors_sequence_type polybori::groebner::RelatedTerms::divisors | ( | const MonomialSet & | monomials | ) | const [inline] |
Get sequence of corresponding divisors (in the given monomial set).
The documentation for this class was generated from the following file:
