PolyBoRi
Public Types | Public Member Functions
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:
polybori::groebner::RelatedTermsBase

List of all members.

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 MonomialSetterms () 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


Constructor & Destructor Documentation

Empty set of terms.

polybori::groebner::RelatedTerms::RelatedTerms ( const Monomial lead,
const MonomialSet monomials,
const MonomialSet ignorable 
) [inline]

Constructor.


Member Function Documentation

Get sequence of corresponding divisors (in the given monomial set)

Access actual monomial set.


The documentation for this class was generated from the following file: