1 #ifndef __STRATEGIES_HPP_ 2 #define __STRATEGIES_HPP_ 21 #include "system_constants.hpp" 23 #include "monomial.hpp" 107 virtual bool valid_reduction(
113 pre_reduction_tasks(u.
log(), g);
177 virtual void pre_spolynomial_tasks()
const;
The general class of a polynomial.
const Abstract_Polynomial * p
the polynomial to which this strategy applies
polynomial-related strategy data
Structure for sorting critical pairs.
virtual void at_generation_tasks()
hook called while first generating polynomial
StrategyFlags
flag indicating which strategy to use for computation
virtual void pre_reduction_tasks(const EXP_TYPE *u, const Abstract_Polynomial &g)
hook called immediately before performing reduction
Implementation of monomials.
const EXP_TYPE * log() const
Direct access to the exponents, for whatever reason.
virtual void at_generation_tasks(const Monomial &t)
hook called while first generating a polynomial multiple