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

ordering critical pairs using the sugar strategy More...

#include <sugar_strategy.hpp>

Inheritance diagram for Pair_Sugar_Strategy:
Pair_Strategy_Data

Public Member Functions

Construction
 Pair_Sugar_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
unsigned long long pair_sugar () const
 
- Public Member Functions inherited from Pair_Strategy_Data
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_Basiccp
 the critical pair to which this Normal_Strategy belongs
 
unsigned long long sugar
 the pair*rsquo;s sugar
 

Detailed Description

ordering critical pairs using the sugar strategy

Author
John Perry
Date
2016

Definition at line 63 of file sugar_strategy.hpp.


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