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_ */

---