PolyBoRi
Main Page
Related Pages
Namespaces
Classes
Files
File List
File Members
groebner
include
polybori
groebner
BoundedDivisorsOf.h
Go to the documentation of this file.
1
// -*- c++ -*-
2
//*****************************************************************************
14
//*****************************************************************************
15
16
#ifndef polybori_groebner_BoundedDivisorsOf_h_
17
#define polybori_groebner_BoundedDivisorsOf_h_
18
19
#include "
fixed_path_divisors.h
"
20
21
// include basic definitions
22
#include "
groebner_defs.h
"
23
24
#include <functional>
25
26
BEGIN_NAMESPACE_PBORIGB
27
42
class
BoundedDivisorsOf
:
43
public
std::unary_function<Monomial, MonomialSet> {
44
45
public
:
47
BoundedDivisorsOf
(
const
Monomial
& term,
const
MonomialSet
& terms):
48
m_factor(term), m_terms(terms) {}
49
51
MonomialSet
operator()
(
const
Monomial
& t_divided)
const
{
52
Monomial
t = t_divided * m_factor;
53
return
fixed_path_divisors
(m_terms, t, t_divided);
54
}
55
56
private
:
57
Monomial
m_factor;
58
MonomialSet
m_terms;
59
};
60
61
END_NAMESPACE_PBORIGB
62
63
#endif
/* polybori_groebner_BoundedDivisorsOf_h_ */
Generated by
1.8.3.1