16 #ifndef polybori_groebner_MinimalLeadingTerms_h_
17 #define polybori_groebner_MinimalLeadingTerms_h_
50 self& operator=(
const self& rhs) {
51 return static_cast<self&
>(
static_cast<base&
>(*this) = rhs);
58 PBORI_ASSERT(assertion(lm, removed.expBegin(),removed.expEnd()));
60 *
this = diff(removed).unite(lm.
set());
65 MonomialSet::exp_iterator start,
66 MonomialSet::exp_iterator finish)
const {
67 while (start != finish) {
68 if ( (*start) == lm.exp() || !start->reducibleBy(lm.exp()) )