Changeset 22c0e6e in git

Timestamp:

Oct 8, 2004, 8:40:47 PM (20 years ago)

Author:

Michael Brickenstein <bricken@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

49fb482cb7e7e4ed4bb337be74cd6e1a367ed47c

Parents:

499ab0041111dff6b4acb41e12af6c4a958d0b48

Message:

*bricken: bugfix for multi_reduction


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

File:

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

Singular/tgb.cc

@@ -1824 +1824 @@
 #endif
   multi_reduction(buf, i, c);
-
+#ifdef TGB_DEBUG
+ {
+   int k;
+   for(k=0;k<i;k++)
+   {
+     assume(kFindDivisibleByInS_easy(c->strat,buf[k])<0);
+     int k2;
+     for(k2=0;k2<i;k2++)
+     {
+       if(k==k2) continue;
+       assume((!(p_LmDivisibleBy(buf[k].p,buf[k2].p,c->r)))||(wrp(buf[k].p),Print(" k %d k2 %d ",k,k2),wrp(buf[k2].p),FALSE));
+     }
+   }
+ }
+#endif
   //resort S
 #ifdef FIND_DETERMINISTIC
@@ -4602 +4616 @@
                  
     int deleted=multi_reduction_clear_zeroes(los, losl, erg.to_reduce_l, erg.to_reduce_u);
-    curr_pos=erg.to_reduce_u;
+    if(erg.fromS==FALSE)
+      curr_pos=max(erg.to_reduce_u,erg.reduce_by);
+    else
+      curr_pos=erg.to_reduce_u;
     losl -= deleted;
     curr_pos -= deleted;