Gröbner basis project
Codebase for research into Gröbner basis computation
|
ordering critical pairs using the normal strategy More...
#include <normal_strategy.hpp>
Public Member Functions | |
Construction | |
Normal_Strategy (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 | |
virtual StrategyFlags | type () |
![]() | |
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 | |
Friends | |
I/O | |
ostream & | operator<< (ostream &, const Normal_Strategy &) |
ordering critical pairs using the normal strategy
Definition at line 15 of file normal_strategy.hpp.