Gröbner basis project
Codebase for research into Gröbner basis computation
|
ordering critical pairs using the weighted sugar strategy More...
#include <weighted_sugar_strategy.hpp>
Public Member Functions | |
Construction | |
Pair_WSugar_Strategy (Critical_Pair_Basic &) | |
creates a pair whose weighted sugar is the maximum of that of the products of the polynomials in the critical pair | |
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 () |
the weighted sugar | |
Modification | |
Useful for when the ordering changes. | |
virtual void | adjust_sugar (DEG_TYPE new_sugar) |
![]() | |
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 weighted sugar strategy
Definition at line 86 of file weighted_sugar_strategy.hpp.