My Project
|
Go to the source code of this file.
Functions | |
void | qsortDegree (poly *left, poly *right) |
long | sumVector (int *v, int k) |
bool | compareMonomials (int *m1, int **m2, int numberOfRuleOlds) |
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) |
void | criticalPair (LList *gPrev, CListOld *critPairs, LTagList *lTag, RTagList *rTag, RList *RuleOlds, PList *rejectedGBList, int plus) |
bool | checkDGB (LList *gPrev) |
bool | arrisCheck (CNode *first, LNode *firstGCurr, long arrisdeg) |
void | criticalPair2 (LList *gPrev, CListOld *critPairs, LTagList *lTag, RTagList *rTag, RList *RuleOlds, PList *rejectedGBList) |
bool | criterion1 (LList *gPrev, poly t, LNode *l, LTagList *lTag) |
bool | criterion2 (int idx, poly t, LNode *l, RList *RuleOlds, RTagList *rTag) |
bool | criterion2 (poly t, LPolyOld *l, RList *RuleOlds, RuleOld *testedRuleOld) |
int | computeUsefulMinDeg (CNode *first) |
void | computeSPols (CNode *first, RTagList *rTag, RList *RuleOlds, LList *sPolyList, PList *rejectedGBList) |
void | reduction (LList *sPolyList, CListOld *critPairs, LList *gPrev, RList *RuleOlds, LTagList *lTag, RTagList *rTag, ideal gbPrev, PList *rejectedGBList, int plus) |
void | newReduction (LList *sPolyList, CListOld *critPairs, LList *gPrev, LList *reducers, RList *rules, LTagList *lTag, RTagList *rTag, ideal gbPrev, int termination, PList *rejectedGBList, int plus) |
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) |
void | topReduction (LNode *l, LList *sPolyList, LList *gPrev, CListOld *critPairs, RList *RuleOlds, LTagList *lTag, RTagList *rTag, ideal gbPrev, PList *rejectedGBList, int plus) |
LNode * | findReductor (LNode *l, LList *sPolyList, LNode *gPrevRedCheck, LList *gPrev, RList *RuleOlds, LTagList *lTag, RTagList *rTag) |
ideal | F5main (ideal i, ring r, int opt, int plus, int termination) |
Definition at line 382 of file f5gb.cc.
bool checkDGB | ( | LList * | gPrev | ) |
Definition at line 299 of file f5gb.cc.
bool compareMonomials | ( | int * | m1, |
int ** | m2, | ||
int | numberOfRuleOlds | ||
) |
|
inline |
Definition at line 844 of file f5gb.cc.
int computeUsefulMinDeg | ( | CNode * | first | ) |
Definition at line 828 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.
ideal F5main | ( | ideal | i, |
ring | r, | ||
int | opt, | ||
int | plus, | ||
int | termination | ||
) |
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 | ||
) |
Definition at line 51 of file f5gb.cc.
|
inline |
Definition at line 1089 of file f5gb.cc.
long sumVector | ( | int * | v, |
int | k | ||
) |
|
inline |
Definition at line 1704 of file f5gb.cc.