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. | |
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) |
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 |
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.
divisors_sequence_type polybori::groebner::RelatedTerms::divisors | ( | const MonomialSet & | monomials | ) | const [inline] |
Get sequence of corresponding divisors (in the given monomial set)
const MonomialSet& polybori::groebner::RelatedTerms::terms | ( | ) | const [inline] |
Access actual monomial set.