Gröbner basis project
Codebase for research into Gröbner basis computation
|
ordering critical pairs using the sugar strategy More...
#include <sugar_strategy.hpp>
Public Member Functions | |
Construction | |
Pair_Sugar_Data (Critical_Pair_Basic &cpb) | |
all the information we need is in cpb already so no additional processing is necessary | |
Comparison | |
virtual bool | equivalent (const Pair_Strategy_Data &sd) const |
implementation of equivalent() | |
virtual bool | first_larger (const Pair_Strategy_Data &sd) const |
implementation of first_larger() | |
Basic properties | |
DEG_TYPE | pair_sugar () const |
![]() | |
virtual | ~Pair_Strategy_Data () |
bool | operator== (const Pair_Strategy_Data &sd) const |
alias for equivalent() | |
bool | operator> (const Pair_Strategy_Data &sd) const |
alias for first_larger() | |
bool | operator>= (const Pair_Strategy_Data &sd) const |
is this larger than or equivalent to other? | |
bool | operator< (const Pair_Strategy_Data &sd) const |
is this smaller than other? | |
bool | operator<= (const Pair_Strategy_Data &sd) const |
is this smaller than or equivalent to other? | |
virtual void | pre_spolynomial_tasks () const |
hook called immediately before computing a new s-polynomiald More... | |
Protected Attributes | |
Critical_Pair_Basic * | cp |
the critical pair to which this Normal_Strategy belongs | |
DEG_TYPE | sugar |
the pair*rsquo;s sugar | |
ordering critical pairs using the sugar strategy
Definition at line 68 of file sugar_strategy.hpp.