Changeset 658a2a in git

Timestamp:

Aug 18, 2022, 3:31:53 PM (21 months ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

008215244cacf1b937c7cbe212f4393314abe667

Parents:

d0731c963230ccafabf460a89208f06831979612

Message:

simplify kTestDivisibleByT0_Z (only called for eucledian rings)

File:

• kernel/GBEngine/kstd2.cc (modified) (5 diffs)

kernel/GBEngine/kstd2.cc

@@ -139 +139 @@
   }
 }
-// return -1 if T[0] does not divide the leading monomial
+// return -1 if T[0] (w/o coeff) does not divide the leading monomial
+// (only for euclidean rings (n_QuotRem)
 int kTestDivisibleByT0_Z(const kStrategy strat, const LObject* L)
 {
@@ -160 +161 @@
         if (p_LmShortDivisibleBy(T0p, sevT0, p, not_sev, r))
         {
-          if(n_DivBy(pGetCoeff(p), pGetCoeff(T0p), r->cf))
-          {
-            return 0;
-          }
           if (n_QuotRem!=ndQuotRem) /*euclidean ring*/
           {
@@ -180 +177 @@
         if (!(sevT0 & not_sev) && p_LmDivisibleBy(T0p, p, r))
         {
-          if(n_DivBy(pGetCoeff(p), pGetCoeff(T0p), r->cf))
-          {
-            return 0;
-          }
           if (n_QuotRem!=ndQuotRem) /*euclidean ring*/
           {
@@ -209 +202 @@
                     p, not_sev, r))
         {
-          if(n_DivBy(orest, pGetCoeff(T0p), r->cf))
-          {
-            return 0;
-          }
           if (n_QuotRem!=ndQuotRem) /*euclidean ring*/
           {
@@ -229 +218 @@
         if (!(sevT0 & not_sev) && p_LmDivisibleBy(T0p, p, r))
         {
-          if(n_DivBy(pGetCoeff(p), pGetCoeff(T0p), r->cf))
-          {
-            return 0;
-          }
           if (n_QuotRem!=ndQuotRem) /*euclidean ring*/
           {