DegreePattern provides a functionality to create, intersect and refine degree patterns.
More...
#include "factory/DegreePattern.h"
DegreePattern provides a functionality to create, intersect and refine degree patterns.
Definition at line 31 of file DegreePattern.h.
◆ DegreePattern() [1/3]
DegreePattern::DegreePattern |
( |
| ) |
|
|
inline |
◆ DegreePattern() [2/3]
copy constructor
- Parameters
-
[in] | degPat | some degree pattern |
Definition at line 120 of file DegreePattern.h.
◆ DegreePattern() [3/3]
construct a degree pattern from a list of (univariate) polys
- Parameters
-
[in] | l | some list of (univariate) polys |
Definition at line 24 of file DegreePattern.cc.
45 for (
int i= 0;
i <
l.length();
i++,
k++)
52 ASSERT (
j > 1,
"j > 1 expected" );
◆ ~DegreePattern()
DegreePattern::~DegreePattern |
( |
| ) |
|
|
inline |
◆ find()
int DegreePattern::find |
( |
const int |
x | ) |
const |
|
inline |
find an element x
- Returns
- find returns the index + 1 of x, if x is an element of the degree pattern, 0 otherwise
- Parameters
-
Definition at line 159 of file DegreePattern.h.
164 if ((*
this)[
i] ==
x)
return i + 1;
◆ getLength()
int DegreePattern::getLength |
( |
| ) |
const |
|
inline |
getter
- Returns
- getLength returns the length of the degree pattern
Definition at line 86 of file DegreePattern.h.
◆ getPattern()
int* DegreePattern::getPattern |
( |
| ) |
const |
|
inlineprivate |
getter
- Returns
- getPattern returns a degree pattern
Definition at line 74 of file DegreePattern.h.
◆ init()
void DegreePattern::init |
( |
int |
n | ) |
|
|
inlineprivate |
◆ intersect()
intersect two degree patterns
- Parameters
-
[in] | degPat | some degree pattern |
Definition at line 68 of file DegreePattern.cc.
82 if (degPat.
find ((*
this)[
i]))
◆ operator=()
assignment
- Parameters
-
[in] | degPat | some degree pattern |
Definition at line 132 of file DegreePattern.h.
◆ operator[]() [1/2]
int& DegreePattern::operator[] |
( |
const int |
index | ) |
|
|
inline |
operator []
- Returns
- operator[] sets the element at index
- Parameters
-
Definition at line 107 of file DegreePattern.h.
◆ operator[]() [2/2]
int DegreePattern::operator[] |
( |
const int |
index | ) |
const |
|
inline |
operator []
- Returns
- operator[] returns the element at index
- Parameters
-
Definition at line 95 of file DegreePattern.h.
◆ refine()
void DegreePattern::refine |
( |
| ) |
|
Refine a degree pattern. Assumes that (*this)[0]:= d is the degree of the poly to be factored. Now for every other entry a there should be some entry b such that a+b= d. Elements which do not satisfy this relation are removed.
Definition at line 105 of file DegreePattern.cc.
117 pos= (*this).find (d - (*
this)[
i]);
◆ release()
void DegreePattern::release |
( |
| ) |
|
|
inlineprivate |
◆ m_data
The documentation for this class was generated from the following files: