1 #ifndef __MONOMIAL_ORDERING_CPP_ 2 #define __MONOMIAL_ORDERING_CPP_ 21 #include "monomial_ordering.hpp" bool first_smaller_or_equal_than_multiple(const Monomial &, const Monomial &, const Monomial &) const
virtual ~Monomial_Ordering()
needs virtual destructor for polymorphic delete
bool first_smaller_or_equal(const Monomial &, const Monomial &) const
Implementation of monomials.
bool first_larger_or_equal_than_multiple(const Monomial &, const Monomial &, const Monomial &) const
bool first_smaller_than_multiple(const Monomial &, const Monomial &, const Monomial &) const
virtual bool first_larger(const Monomial &, const Monomial &) const =0
virtual bool first_larger_than_multiple(const Monomial &, const Monomial &, const Monomial &) const =0
returns true iff the first Monomial is larger than the specified multiple of the second ...