![]() |
My Project
|
Go to the source code of this file.
Definition at line 382 of file f5gb.cc.
Definition at line 299 of file f5gb.cc.
|
inline |
Definition at line 844 of file f5gb.cc.
Definition at line 614 of file f5gb.cc.
Definition at line 675 of file f5gb.cc.
Definition at line 787 of file f5gb.cc.
|
inline |
Definition at line 441 of file f5gb.cc.
|
inline |
Definition at line 553 of file f5gb.cc.
LList * F5inc | ( | int | i, |
poly | f_i, | ||
LList * | gPrev, | ||
LList * | reducers, | ||
ideal | gbPrev, | ||
poly | ONE, | ||
LTagList * | lTag, | ||
RList * | rules, | ||
RTagList * | rTag, | ||
int | plus, | ||
int | termination ) |
Definition at line 130 of file f5gb.cc.
Definition at line 1889 of file f5gb.cc.
void findReducers | ( | LNode * | l, |
LList * | sPolyList, | ||
ideal | gbPrev, | ||
LList * | gPrev, | ||
LList * | reducers, | ||
CListOld * | critPairs, | ||
RList * | rules, | ||
LTagList * | lTag, | ||
RTagList * | rTag, | ||
int | termination, | ||
PList * | rejectedGBList, | ||
int | plus ) |
searches for reducers of temp similar to the symbolic preprocessing of F4 and divides them into a "good" and "bad" part:
the "good" ones are the reducers which do not corrupt the label of temp, with these the normal form of temp is computed
the "bad" ones are the reducers which corrupt the label of temp, they are tested
searches for reducers of temp similar to the symbolic preprocessing of F4 and divides them into a "good" and "bad" part:
the "good" ones are the reducers which do not corrupt the label of temp, with these the normal form of temp is computed
the "bad" ones are the reducers which corrupt the label of temp, they are tested
Definition at line 1202 of file f5gb.cc.
|
inline |
|
inline |
Definition at line 1135 of file f5gb.cc.
void qsortDegree | ( | poly * | left, |
poly * | right ) |
|
inline |
Definition at line 1089 of file f5gb.cc.
|
inline |
Definition at line 1704 of file f5gb.cc.