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_ */
END_NAMESPACE_PBORIGB
#define END_NAMESPACE_PBORIGB
Definition:
groebner_defs.h:16
PolyEntry.h
polybori::groebner::LiteralFactorization::is00Factorization
bool is00Factorization() const
Definition:
LiteralFactorization.cc:408
polybori::groebner::LeadingTerms00
This class defines LeadingTerms00.
Definition:
LeadingTerms00.h:32
TermsFacade.h
polybori::groebner::TermsFacade
This class defines TermsFacade.
Definition:
TermsFacade.h:30
BEGIN_NAMESPACE_PBORIGB
#define BEGIN_NAMESPACE_PBORIGB
Definition:
groebner_defs.h:15
polybori::groebner::PolyEntry
This class defines PolyEntry.
Definition:
PolyEntry.h:32
polybori::groebner::LeadingTerms00::LeadingTerms00
LeadingTerms00(const Type &rhs)
Definition:
LeadingTerms00.h:37
groebner_defs.h
polybori::groebner::LeadingTerms00::isCompatible
bool isCompatible(const PolyEntry &entry) const
Definition:
LeadingTerms00.h:39
polybori::groebner::PolyEntryBase::literal_factors
LiteralFactorization literal_factors
Definition:
PolyEntryBase.h:53
Generated by
1.8.9.1