Changeset 47f985 in git for kernel/syz0.cc

Timestamp:

Aug 3, 2011, 6:58:36 PM (12 years ago)

Author:

Oleksandr Motsak <motsak@…>

Branches:

(u'spielwiese', '8e0ad00ce244dfd0756200662572aef8402f13d5')

Children:

7e53d9acff21e67d7a47d268428d8f4f7825e91b

Parents:

2a38d905f7089590329433f35ad43c3aaf5fd122

git-author:

Oleksandr Motsak <motsak@mathematik.uni-kl.de>2011-08-03 18:58:36+02:00

git-committer:

Mohamed Barakat <mohamed.barakat@rwth-aachen.de>2011-11-09 13:14:21+01:00

Message:

FIX: kBucketCreate needs a ring!
CHG: minor bucket-related fixes

File:

• kernel/syz0.cc (modified) (6 diffs)

kernel/syz0.cc

@@ -25 +25 @@
 #include <polys/kbuckets.h>
 #include <polys/prCopy.h>
-
-static kBucket_pt sy0buck;
 
 static void syInitSort(ideal arg,intvec **modcomp)
@@ -506 +504 @@
 static ideal sySchreyersSyzygiesFB(ideal arg,intvec ** modcomp,ideal mW,BOOLEAN redTail=TRUE)
 {
+  kBucket_pt sy0buck = kBucketCreate(currRing);
+
   int Fl=IDELEMS(arg);
   while ((Fl!=0) && (arg->m[Fl-1]==NULL)) Fl--;
@@ -666 +666 @@
               omFreeSize((ADDRESS)pairs,(Fl + gencQ)*sizeof(poly));
               for(k=0;k<IDELEMS(result);k++) pDelete(&((*Shdl)[k]));
+               
+              kBucketDestroy(&(sy0buck));
               return result;
             }
@@ -731 +733 @@
   delete *modcomp;
   *modcomp = newmodcomp;
+   
+  kBucketDestroy(&(sy0buck));
   return result;
 }
@@ -876 +880 @@
   resolvente res = (resolvente)omAlloc0(4*sizeof(ideal)),newres;
   res[0] = idCopy(arg);
+
   while ((!idIs0(res[syzIndex])) && ((maxlength==-1) || (syzIndex<maxlength)))
   {
     i = IDELEMS(res[syzIndex]);
     //while ((i!=0) && (!res[syzIndex]->m[i-1])) i--;
-    sy0buck = kBucketCreate();
     if (syzIndex+1==*length)
     {
@@ -938 +942 @@
     syzIndex++;
     if (TEST_OPT_PROT) Print("[%d]\n",syzIndex);
-    kBucketDestroy(&(sy0buck));
   }
   //syPrintResolution(res,1,*length);