Gröbner basis project
Codebase for research into Gröbner basis computation
|
polynomial-related data for a sugar strategy More...
#include <sugar_strategy.hpp>
Public Member Functions | |
Poly_Sugar_Data (const Abstract_Polynomial *poly) | |
records poly as the reference for this | |
virtual void | at_generation_tasks () |
sets the sugar to the largest total degree of a monomial in the assigned previously polynomial | |
virtual void | at_generation_tasks (const Monomial &t) |
sets the sugar to the largest total degree of a monomial in the product of the monomial and the previously assigned polynomial | |
virtual bool | equivalent (const Poly_Strategy_Data &sd) const |
returns true iff the sugars are equal | |
virtual bool | first_larger (const Poly_Strategy_Data &sd) const |
returns true iff this sugar is larger than sd ’s | |
virtual void | pre_reduction_tasks (const EXP_TYPE *u, const Abstract_Polynomial &g) |
re-evaluates the sugar, if need be | |
Basic properties | |
DEG_TYPE | poly_sugar () const |
the sugar itself | |
virtual StrategyFlags | type () |
the strategy type | |
Modification | |
void | force_sugar (DEG_TYPE new_sugar) |
for those times when a different sugar is appropriate | |
![]() | |
virtual | ~Poly_Strategy_Data () |
bool | operator== (const Poly_Strategy_Data &other) const |
alias for equivalent() | |
bool | operator> (const Poly_Strategy_Data &other) const |
alias for first_larger() | |
bool | operator>= (const Poly_Strategy_Data &other) const |
is this larger than or equivalent to other? | |
bool | operator< (const Poly_Strategy_Data &other) const |
is this smaller than other? | |
bool | operator<= (const Poly_Strategy_Data &other) const |
is this smaller than or equivalent to other? | |
virtual bool | valid_reduction (const Abstract_Polynomial &r, const Abstract_Polynomial &g) const |
hook called while finding a reducer More... | |
void | pre_reduction_tasks (const Monomial &u, const Abstract_Polynomial &g) |
Protected Attributes | |
unsigned long long | sugar |
the polynomial’s sugar | |
![]() | |
const Abstract_Polynomial * | p |
the polynomial to which this strategy applies | |
Friends | |
I/O | |
ostream & | operator<< (ostream &, const Poly_Sugar_Data &) |
I/O |
polynomial-related data for a sugar strategy
Definition at line 16 of file sugar_strategy.hpp.