PolyBoRi
Main Page
Related Pages
Namespaces
Classes
Files
File List
File Members
groebner
include
polybori
groebner
LeadingTerms00.h
Go to the documentation of this file.
1
// -*- c++ -*-
2
//*****************************************************************************
14
//*****************************************************************************
15
16
#ifndef polybori_groebner_LeadingTerms00_h_
17
#define polybori_groebner_LeadingTerms00_h_
18
19
#include "
PolyEntry.h
"
20
#include "
TermsFacade.h
"
21
22
// include basic definitions
23
#include "
groebner_defs.h
"
24
25
BEGIN_NAMESPACE_PBORIGB
26
32
class
LeadingTerms00
:
33
public
TermsFacade
<LeadingTerms00> {
34
35
public
:
36
template
<
class
Type>
37
LeadingTerms00
(
const
Type& rhs):
TermsFacade
<
LeadingTerms00
>(rhs) {}
38
39
bool
isCompatible
(
const
PolyEntry
& entry)
const
{
40
return
entry.
literal_factors
.
is00Factorization
();
41
}
42
};
43
44
45
END_NAMESPACE_PBORIGB
46
47
#endif
/* polybori_groebner_LeadingTerms00_h_ */
Generated by
1.8.3.1