Changeset 8208d23 in git for Singular/iparith.cc

Timestamp:

Nov 16, 2021, 2:11:55 PM (3 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', 'b4f17ed1d25f93d46dbe29e4b499baecc2fd51bb')

Children:

a437334eac50f8f9275df09b950f94ba3da984e5

Parents:

9326a0afc59cf5c7a6675ee82b588fab2cbb41e5

Message:

fix for LP: different checks for  OVERFLOW in subst/mult

File:

• Singular/iparith.cc (modified) (4 diffs)

Singular/iparith.cc

@@ -1017 +1017 @@
       a=(poly)u->Data(); // works also for VECTOR_CMD
       b=(poly)v->Data(); // works also for VECTOR_CMD
-      if ((a!=NULL) && (b!=NULL)
+      if (!rIsLPRing(currRing)
+      && (a!=NULL) && (b!=NULL)
       && ((long)pTotaldegree(a)>si_max((long)rVar(currRing),(long)currRing->bitmask/2)-(long)pTotaldegree(b)))
       {
@@ -1029 +1030 @@
     a=(poly)u->CopyD(POLY_CMD); // works also for VECTOR_CMD
     b=pCopy((poly)v->Data());
-    if ((a!=NULL) && (b!=NULL)
+    if (!rIsLPRing(currRing)
+    && (a!=NULL) && (b!=NULL)
     && (pTotaldegree(a)+pTotaldegree(b)>si_max((long)rVar(currRing),(long)currRing->bitmask/2)))
     {
@@ -6611 +6613 @@
   {
     int mm=p_MaxExpPerVar(p,ringvar,currRing);
-    if ((monomexpr!=NULL) && (p!=NULL) && (mm!=0) &&
+    if (!rIsLPRing(currRing) &&
+    (monomexpr!=NULL) && (p!=NULL) && (mm!=0) &&
     ((unsigned long)pTotaldegree(monomexpr) > (currRing->bitmask / (unsigned long)mm/2)))
     {
@@ -6643 +6646 @@
   {
     BOOLEAN overflow=FALSE;
-    if (monomexpr!=NULL)
+    if (!rIsLPRing(currRing) && (monomexpr!=NULL))
     {
       long deg_monexp=pTotaldegree(monomexpr);