Gröbner basis project
Codebase for research into Gröbner basis computation
Poly_Sugar_Data Class Reference

polynomial-related data for a sugar strategy More...

#include <sugar_strategy.hpp>

Inheritance diagram for Poly_Sugar_Data:
Poly_Strategy_Data

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
 
- Public Member Functions inherited from Poly_Strategy_Data
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
 
- Protected Attributes inherited from Poly_Strategy_Data
const Abstract_Polynomialp
 the polynomial to which this strategy applies
 

Friends

I/O
ostream & operator<< (ostream &, const Poly_Sugar_Data &)
 
I/O

Detailed Description

polynomial-related data for a sugar strategy

Author
John Perry
Date
2016

Definition at line 16 of file sugar_strategy.hpp.


The documentation for this class was generated from the following files: