Changeset 0bb2274 in git for Singular/iparith.cc

Timestamp:

Nov 29, 2019, 11:39:26 AM (4 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

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

Children:

4c740db8a56497af8a13d7d7ef781de902adb671

Parents:

8ae6241a27267554ff8052f72c024a7a4e281d45

Message:

improve liftstd, and tests

need to disable this for modulo, syz and *res (via OPT_REDTAIL_SYZ)
see Tst/BuchDl/Ex_L5.tst (modulo), Tst/New/modulo_homalg_full.tst (syz,nres)

File:

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

Singular/iparith.cc

@@ -3085 +3085 @@
      (*ww) -= add_row_shift;
   }
+  unsigned save_opt=si_opt_1;
+  si_opt_1 |= Sy_bit(OPT_REDTAIL_SYZ);
   if ((iiOp == RES_CMD) || (iiOp == MRES_CMD))
   {
@@ -3168 +3170 @@
     assume( (r->orderedRes != NULL) || (r->res != NULL) ); // analog for hres...
 
+  si_opt_1=save_opt;
   return FALSE;
 }
@@ -5048 +5051 @@
 static BOOLEAN jjSYZYGY(leftv res, leftv v)
 {
+  ideal v_id=(ideal)v->Data();
+#ifdef HAVE_SHIFTBBA
+  if (rIsLPRing(currRing))
+  {
+    if (currRing->LPncGenCount < IDELEMS(v_id))
+    {
+      Werror("At least %d ncgen variables are needed for this computation.", IDELEMS(v_id));
+      return TRUE;
+    }
+  }
+#endif
   intvec *ww=(intvec *)atGet(v,"isHomog",INTVEC_CMD);
   intvec *w=NULL;
-  ideal v_id=(ideal)v->Data();
   tHomog hom=testHomog;
-#ifdef HAVE_SHIFTBBA
-  if (rIsLPRing(currRing))
-  {
-    if (currRing->LPncGenCount < IDELEMS(v_id))
-    {
-      Werror("At least %d ncgen variables are needed for this computation.", IDELEMS(v_id));
-      return TRUE;
-    }
-  }
-#endif
   if (ww!=NULL)
   {
@@ -5084 +5087 @@
         hom=isHomog;
   }
+  unsigned save_opt=si_opt_1;
+  si_opt_1 |= Sy_bit(OPT_REDTAIL_SYZ);
   ideal S=idSyzygies(v_id,hom,&w);
+  si_opt_1=save_opt;
   res->data = (char *)S;
   if (hom==isHomog)