Changeset eab144e in git for kernel/f5gb.h
- Timestamp:
- Feb 19, 2009, 3:52:34 PM (14 years ago)
- Branches:
- (u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', 'a800fe4b3e9d37a38c5a10cc0ae9dfa0c15a4ee6')
- Children:
- 4b81d7545fc37e400fa5c0f38007dab086da9031
- Parents:
- d51339db6eb09b5d56b6c91884e2abedf4f5b7b6
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
kernel/f5gb.h
rd51339 reab144e 2 2 * Computer Algebra System SINGULAR * 3 3 ****************************************/ 4 /* $Id: f5gb.h,v 1.2 7 2009-02-18 20:43:05ederc Exp $ */4 /* $Id: f5gb.h,v 1.28 2009-02-19 14:52:34 ederc Exp $ */ 5 5 /* 6 6 * ABSTRACT: f5gb interface … … 47 47 48 48 /* 49 ================================================================50 computes a list of critical pairs for the next reduction process51 first element in gPrev is always the newest element which must52 build critical pairs with all other elements in gPrev53 NOTE: this is a special version for the call inside reduction()54 which adds to the already existing critical pairs new ones55 ================================================================56 */57 void criticalPairRed(LList* gPrev, CList* critPairs, LTagList* lTag, RTagList* rTag, RList* rules);58 59 /*60 49 ======================================== 61 50 Criterion 1, i.e. Faugere's F5 Criterion … … 76 65 ========================================================================================================== 77 66 */ 78 bool criterion2(poly t, LPoly* l, RList* rules, Rule* lastRuleTested);67 bool criterion2(poly t, LPoly* l, RList* rules, Rule* testedRule); 79 68 80 69 /*
Note: See TracChangeset
for help on using the changeset viewer.