PolyBoRi
Public Member Functions | List of all members
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

Public Member Functions

 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 MonomialSetrelated_terms () const
 finally get the related terms More...
 
const BoundedDivisorsOfdivisors_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...
 

Detailed Description

This class deals as a base of RelatedTerns.

Constructor & Destructor Documentation

polybori::groebner::RelatedTermsBase::RelatedTermsBase ( const BoolePolyRing ring)
inline

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

MonomialSet polybori::groebner::RelatedTermsBase::critical_terms_base ( const MonomialSet terms) const
inline

Related elements in terms modulo the ignorable elements.

References polybori::groebner::mod_mon_set().

const BoundedDivisorsOf& polybori::groebner::RelatedTermsBase::divisors_of ( ) const
inline

Get parameterized functional.

MonomialSet polybori::groebner::RelatedTermsBase::factors ( const MonomialSet terms) const
inline

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

References polybori::groebner::minimal_elements_divided().

const MonomialSet& polybori::groebner::RelatedTermsBase::related_terms ( ) const
inline

finally get the related terms

MonomialSet polybori::groebner::RelatedTermsBase::unrelated_terms ( const MonomialSet terms) const
inline

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: