Changeset e00d20 in git

Timestamp:

May 29, 2015, 5:47:05 PM (8 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', '8e0ad00ce244dfd0756200662572aef8402f13d5')

Children:

e786dc69a172d574cf7c8e1d1475140446f49d1d

Parents:

a576b0d5c5ba8bbf52687aaa8dc237c50ed9e5bf

Message:

optim. redtailBba (wrt. idLiftStd/ OPT_IDLIFT)

Files:

• Singular/dyn_modules/syzextra/mod_main.cc (modified) (1 diff)
• kernel/GBEngine/kutil.cc (modified) (1 diff)

Singular/dyn_modules/syzextra/mod_main.cc

@@ -1848 +1848 @@
   {
     iComp = (int)((long)(h->Data()));
-  } else
+  }
+  else
   {
       if( (!isSyz) && (-1 == posIS) )

kernel/GBEngine/kutil.cc

@@ -5440 +5440 @@
     loop
     {
+      if (TEST_OPT_IDLIFT)
+      {
+        if (Ln.p!=NULL)
+        {
+          if (p_GetComp(Ln.p,currRing)> strat->syzComp) break;
+        }
+        else
+        {
+          if (p_GetComp(Ln.t_p,strat->tailRing)> strat->syzComp) break;
+        }
+      }
       Ln.SetShortExpVector();
       if (withT)