Changeset f150bfd in git for kernel

Timestamp:

Jun 13, 2022, 12:25:07 PM (23 months ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

27dddeab894c67bbd4ead1e890449894e84ccb41

Parents:

fb4db8fe07a7c1e03e07b3ae1a2d84b04eddef71

Message:

simplified id_DelDiv_no_test -> id_DelDiv  (syz4.cc)

File:

• kernel/GBEngine/syz4.cc (modified) (3 diffs)

kernel/GBEngine/syz4.cc

@@ -319 +319 @@
 /*****************************************************************************/
 
-/*
- * copied from id_DelDiv(), but without testing and without HAVE_RINGS;
- * delete id[j], if LT(j) == coeff*mon*LT(i) and vice versa, that is,
- * delete id[i], if LT(i) == coeff*mon*LT(j)
- */
-static void id_DelDiv_no_test(ideal id)
-{
-    const ring r = currRing;
-    int i, j;
-    int k = id->ncols-1;
-    for (i = k; i >= 0; i--)
-    {
-        for (j = k; j > i; j--)
-        {
-            if (id->m[j] != NULL)
-            {
-                if (p_DivisibleBy(id->m[i], id->m[j], r))
-                {
-                    p_Delete(&id->m[j], r);
-                }
-                else if (p_DivisibleBy(id->m[j], id->m[i], r))
-                {
-                    p_Delete(&id->m[i], r);
-                    break;
-                }
-            }
-        }
-    }
-}
-
 typedef poly syzHeadFunction(ideal, int, int);
 
@@ -435 +405 @@
             }
         }
-        id_DelDiv_no_test(M_i);
+        id_DelDiv(M_i, currRing);
         idSkipZeroes(M_i);
     }
@@ -463 +433 @@
             M_i->m[j] = syzHead(G, i, j+index);
         }
-        id_DelDiv_no_test(M_i);
+        id_DelDiv(M_i, currRing);
         idSkipZeroes(M_i);
     }