Gröbner basis project
Codebase for research into Gröbner basis computation
|
interface to a monomial ordering More...
#include <monomial_ordering.hpp>
Public Member Functions | |
Destruction | |
virtual | ~Monomial_Ordering () |
needs virtual destructor for polymorphic delete | |
Utility | |
virtual void | set_data (Monomial &) |
sets monomial ordering’s data; default is to do nothing | |
Comparison | |
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 monomial ordering
Definition at line 60 of file monomial_ordering.hpp.
{@
returns 0 if the Monomials are like; negative if smaller, positive if larger – for efficiency, you probably want to redefine this
Implemented in Matrix_Ordering, CachedWGrevlex_Ordering, Lex_Ordering, WGrevlex, Grevlex_Ordering, and Generic_Grevlex.
returns true
iff the first Monomial is larger or equal to the second
Definition at line 460 of file monomial.cpp.
bool Monomial_Ordering::first_larger_or_equal_than_multiple | ( | const Monomial & | t, |
const Monomial & | u, | ||
const Monomial & | v | ||
) | const |
returns true
iff the first Monomial is larger or equal to the specified multiple of the second
Definition at line 466 of file monomial.cpp.
|
pure virtual |
returns true
iff the first Monomial is smaller than the second
Implemented in Matrix_Ordering, CachedWGrevlex_Ordering, Lex_Ordering, WGrevlex, Grevlex_Ordering, and Generic_Grevlex.
returns true
iff the first Monomial is smaller or equal to the second
Definition at line 8 of file monomial_ordering.cpp.
bool Monomial_Ordering::first_smaller_or_equal_than_multiple | ( | const Monomial & | t, |
const Monomial & | u, | ||
const Monomial & | v | ||
) | const |
returns true
iff the first Monomial is smaller or equal to the specified multiple of the second
Definition at line 20 of file monomial_ordering.cpp.
bool Monomial_Ordering::first_smaller_than_multiple | ( | const Monomial & | t, |
const Monomial & | u, | ||
const Monomial & | v | ||
) | const |
returns true
iff the first Monomial is smaller than the specified multiple of the second
Definition at line 14 of file monomial_ordering.cpp.