Changeset 172d852 in git for kernel/GBEngine/f5gb.cc
- Timestamp:
- Jan 24, 2019, 2:32:29 PM (5 years ago)
- Branches:
- (u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')
- Children:
- 08394f319ba420091cccad7e025c3f7cac04c373
- Parents:
- 5abb79fd2458b47b21d297f2c8b26f285ac9546f756676ef1fcf4cff300fb1607a6d21293b253245
- git-author:
- Hans Schoenemann <hannes@mathematik.uni-kl.de>2019-01-24 14:32:29+01:00
- git-committer:
- GitHub <noreply@github.com>2019-01-24 14:32:29+01:00
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
kernel/GBEngine/f5gb.cc
r5abb79f r172d852 29 29 #define pDeg(A) p_Deg(A,currRing) 30 30 31 int notInG = 0;32 int numberOfRules = 0;33 int reductionsToZero = 0;34 int reductionTime = 0;35 int spolsTime = 0;36 int highestDegree = 0;37 int degreeBound = 0;38 int numberUsefulPairs = 0;39 int numberUselessPairs = 0;40 int numberUsefulPairsMinDeg = 0;41 int highestDegreeGBCriticalPair = 0;42 int numberRejectedF5CriticalPairs = 0;43 int numberOfReductions = 0;44 int numberOfSpolys = 0;31 VAR int notInG = 0; 32 VAR int numberOfRules = 0; 33 VAR int reductionsToZero = 0; 34 VAR int reductionTime = 0; 35 VAR int spolsTime = 0; 36 VAR int highestDegree = 0; 37 VAR int degreeBound = 0; 38 VAR int numberUsefulPairs = 0; 39 VAR int numberUselessPairs = 0; 40 VAR int numberUsefulPairsMinDeg = 0; 41 VAR int highestDegreeGBCriticalPair = 0; 42 VAR int numberRejectedF5CriticalPairs = 0; 43 VAR int numberOfReductions = 0; 44 VAR int numberOfSpolys = 0; 45 45 /* 46 46 ==================================================================== … … 152 152 // in the list critPairs 153 153 criticalPair(gPrev, critPairs, lTag, rTag, rules, rejectedGBList, plus); 154 staticLList* sPolyList = new LList();154 STATIC_VAR LList* sPolyList = new LList(); 155 155 //sPolyList->print(); 156 156 // labeled polynomials which have passed reduction() and have to be added to list gPrev 157 staticLList* completed = new LList();157 STATIC_VAR LList* completed = new LList(); 158 158 // the reduced labeled polynomials which are returned from subalgorithm reduction() 159 staticLList* reducedLPolys = new LList();159 STATIC_VAR LList* reducedLPolys = new LList(); 160 160 // while there are critical pairs to be further checked and deleted/computed 161 161 while(NULL != critPairs->getFirst()) {
Note: See TracChangeset
for help on using the changeset viewer.