Changeset 271349 in git for Singular/tgb.cc

Timestamp:

Nov 7, 2002, 9:41:45 AM (21 years ago)

Author:

Michael Brickenstein <bricken@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

6c5d865b92bd99a6062e8606acda2758773c6575

Parents:

8eab86871ba771a3685bcd206cbbbff006d7e5d0

Message:

+ cleaning of S


git-svn-id: file:///usr/local/Singular/svn/trunk@6314 2c84dea3-7e68-4137-9b89-c4e89433aadc

File:

• Singular/tgb.cc (modified) (5 diffs)

Singular/tgb.cc

@@ -40 +40 @@
     
 }
+
+void cleanS(kStrategy strat){
+  int i=0;
+  LObject P;
+  while(i<=strat->sl){
+    P.p=strat->S[i];
+    P.sev=strat->sevS[i];
+    if(kFindDivisibleByInS(strat->S,strat->sevS,strat->sl,&P)!=i){
+      deleteInS(i,strat);
+
+                //remember destroying poly
+    }
+    else i++;
+  }
+}
 int bucket_guess(kBucket* bucket){
   int sum=0;
@@ -104 +119 @@
   int misses_counter;
   int misses_series;
+  int Rcounter;
 };
 BOOLEAN find_next_pair(calc_dat* c);
@@ -762 +778 @@
         c->rep[j]=i;
         PrintS("R"); R_found=TRUE;
+        c->Rcounter++;
         if((i_pos>=0) && (j_pos>=0)){
         c->misses[i_pos]--;
@@ -829 +846 @@
     //for(i=c->strat->sl; i>0;i--)
     //  if(c->strat->lenS[i]<c->strat->lenS[i-1]) printf("fehler bei %d\n",i);
+    if (c->Rcounter>50) {
+      c->Rcounter=0;
+      cleanS(c->strat);
+    }
 }
 #if 0
@@ -992 +1013 @@
               //LEAVE
               deleteInS(j,c->strat);
+              //remember destroying poly
               //ENTER
                int mlength=pLength(sec_copy);