Gröbner basis project
Codebase for research into Gröbner basis computation
|
Structure for sorting critical pairs. More...
#include <algorithm_buchberger_basic.hpp>
Public Member Functions | |
Destruction | |
virtual | ~Strategy_Data () |
Comparison | |
virtual bool | equivalent (const Strategy_Data &) const =0 |
should return true iff this and other are equivalent | |
bool | operator== (const Strategy_Data &sd) const |
alias for equivalent() | |
virtual bool | first_larger (const Strategy_Data &) const =0 |
should return true iff this is larger than other | |
bool | operator> (const Strategy_Data &sd) const |
alias for first_larger() | |
bool | operator>= (const Strategy_Data &sd) const |
is this larger than or equivalent to other? | |
bool | operator< (const Strategy_Data &sd) const |
is this smaller than other? | |
bool | operator<= (const Strategy_Data &sd) const |
is this smaller than or equivalent to other? | |
Structure for sorting critical pairs.
Definition at line 49 of file algorithm_buchberger_basic.hpp.