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

ordering critical pairs using the weighted sugar strategy More...

#include <weighted_sugar_strategy.hpp>

Inheritance diagram for Pair_WSugar_Strategy:
Pair_Strategy_Data

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)
 
- 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
 
DEG_TYPE sugar
 the pair*rsquo;s sugar
 

Detailed Description

ordering critical pairs using the weighted sugar strategy

Author
John Perry
Date
2016

Definition at line 86 of file weighted_sugar_strategy.hpp.


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