BoundedDivisorsOf.h
Go to the documentation of this file.
// -*- c++ -*-
//*****************************************************************************
//*****************************************************************************
#ifndef polybori_groebner_BoundedDivisorsOf_h_
#define polybori_groebner_BoundedDivisorsOf_h_
#include "fixed_path_divisors.h"
// include basic definitions
#include "groebner_defs.h"
#include <functional>
BEGIN_NAMESPACE_PBORIGB
class BoundedDivisorsOf:
public std::unary_function<Monomial, MonomialSet> {
public:
BoundedDivisorsOf(const Monomial& term, const MonomialSet& terms):
m_factor(term), m_terms(terms) {}
MonomialSet operator()(const Monomial& t_divided) const {
Monomial t = t_divided * m_factor;
return fixed_path_divisors(m_terms, t, t_divided);
}
private:
Monomial m_factor;
MonomialSet m_terms;
};
END_NAMESPACE_PBORIGB
#endif /* polybori_groebner_BoundedDivisorsOf_h_ */