PolyBoRi
Public Member Functions
polybori::groebner::RelatedTermsBase Class Reference

This class deals as a base of RelatedTerns. More...

#include <RelatedTermsBase.h>

Inheritance diagram for polybori::groebner::RelatedTermsBase:
polybori::groebner::RelatedTerms

List of all members.

Public Member Functions

 RelatedTermsBase (const BoolePolyRing &ring)
 Empty set of terms.
 RelatedTermsBase (const Monomial &lead, const MonomialSet &terms, const MonomialSet &ignorable, const MonomialSet &significant)
 Nontrivial constructor.
const MonomialSetrelated_terms () const
 finally get the related terms
const BoundedDivisorsOfdivisors_of () const
 Get parameterized functional.
MonomialSet factors (const MonomialSet &terms) const
 Minimal related elements from terms, with lead's variables set to 1.
MonomialSet critical_terms_base (const MonomialSet &terms) const
 Related elements in terms modulo the ignorable elements.
MonomialSet unrelated_terms (const MonomialSet &terms) const
 Extract terms not owning variables of current generator's leading term.

Detailed Description

This class deals as a base of RelatedTerns.


Constructor & Destructor Documentation

Empty set of terms.

polybori::groebner::RelatedTermsBase::RelatedTermsBase ( const Monomial lead,
const MonomialSet terms,
const MonomialSet ignorable,
const MonomialSet significant 
) [inline]

Nontrivial constructor.


Member Function Documentation

Related elements in terms modulo the ignorable elements.

References polybori::groebner::mod_mon_set().

Get parameterized functional.

Minimal related elements from terms, with lead's variables set to 1.

References polybori::groebner::minimal_elements_divided().

finally get the related terms

Extract terms not owning variables of current generator's leading term.

References polybori::member_function_operator().


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