Gröbner basis project
Codebase for research into Gröbner basis computation
|
interface to a weighted monomial ordering More...
#include <monomial_ordering.hpp>
Public Member Functions | |
Basic properties | |
virtual const WT_TYPE * | order_weights ()=0 |
returns the weights used by this orderings | |
![]() | |
virtual | ~Monomial_Ordering () |
needs virtual destructor for polymorphic delete | |
virtual void | set_data (Monomial &) |
sets monomial ordering’s data; default is to do nothing | |
virtual int | cmp (const Monomial &t, const Monomial &u) const =0 |
{@ More... | |
virtual bool | first_larger (const Monomial &, const Monomial &) const =0 |
returns true iff the first Monomial is larger than the second | |
bool | first_larger_or_equal (const Monomial &, const Monomial &) const |
returns true iff the first Monomial is larger or equal to the second More... | |
virtual bool | first_smaller (const Monomial &, const Monomial &) const =0 |
returns true iff the first Monomial is smaller than the second More... | |
bool | first_smaller_or_equal (const Monomial &, const Monomial &) const |
returns true iff the first Monomial is smaller or equal to the second More... | |
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 | |
bool | first_larger_or_equal_than_multiple (const Monomial &, const Monomial &, const Monomial &) const |
returns true iff the first Monomial is larger or equal to the specified multiple of the second More... | |
bool | first_smaller_than_multiple (const Monomial &, const Monomial &, const Monomial &) const |
returns true iff the first Monomial is smaller than the specified multiple of the second More... | |
bool | first_smaller_or_equal_than_multiple (const Monomial &, const Monomial &, const Monomial &) const |
returns true iff the first Monomial is smaller or equal to the specified multiple of the second More... | |
interface to a weighted monomial ordering
This class adds all of one method to Monomial_Ordering.
Definition at line 154 of file monomial_ordering.hpp.