PolyBoRi
Main Page
Related Pages
Namespaces
Classes
Files
File List
File Members
groebner
include
polybori
groebner
BlockOrderHelper.h
Go to the documentation of this file.
1
// -*- c++ -*-
2
//*****************************************************************************
14
//*****************************************************************************
15
16
#ifndef polybori_groebner_BlockOrderHelper_h_
17
#define polybori_groebner_BlockOrderHelper_h_
18
19
// include basic definitions
20
#include "
groebner_defs.h
"
21
#include "
ReductionStrategy.h
"
22
#include "
nf.h
"
23
24
BEGIN_NAMESPACE_PBORIGB
25
30
class
BlockOrderHelper
{
31
public
:
32
static
bool
irreducible_lead
(
const
Monomial
& m,
const
ReductionStrategy
& strat){
33
return
PBORINAME::groebner::irreducible_lead
(m,strat);
34
}
35
static
Polynomial::ordered_iterator
begin
(
const
Polynomial
& p){
36
return
p.
orderedBegin
();
37
}
38
static
Polynomial::ordered_iterator
end
(
const
Polynomial
& p){
39
return
p.
orderedEnd
();
40
}
41
static
Polynomial
nf
(
const
ReductionStrategy
& strat,
const
Polynomial
& p,
const
Monomial
& m){
42
return
nf3
(strat,p,m);
43
}
44
typedef
Polynomial::ordered_iterator
iterator_type
;
45
const
static
bool
isDegreeOrder=
false
;
46
const
static
bool
isLexicographicalOrder=
false
;
47
static
bool
knowRestIsIrreducible
(
const
iterator_type
& it,
const
ReductionStrategy
& strat){
48
return
false
;
49
}
50
static
Polynomial
sum_range
(std::vector<Monomial>& vec,
iterator_type
it,
iterator_type
end,
Polynomial
init){
51
return
add_up_generic
(vec, init);
52
}
53
};
54
55
END_NAMESPACE_PBORIGB
56
57
#endif
/* polybori_BlockOrderHelper_h_ */
Generated by
1.8.3.1