Changeset 750e70 in git for kernel/syz.cc

Timestamp:

May 5, 2011, 7:20:56 PM (13 years ago)

Author:

Oleksandr Motsak <motsak@…>

Branches:

(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', '38077648e7239f98078663eb941c3c979511150a')

Children:

eb72ba1a1a50ca741a3113bf9b8bc34d414a678a

Parents:

1f9a84fc8a205c643ce861d9e20c25dc687aa193

Message:

ADD: new option(notSyzMinim) should switch off all resolution minimizations (lres/nres/mres)

From: Oleksandr Motsak <motsak@mathematik.uni-kl.de>

git-svn-id: file:///usr/local/Singular/svn/trunk@14204 2c84dea3-7e68-4137-9b89-c4e89433aadc

File:

• kernel/syz.cc (modified) (5 diffs)

kernel/syz.cc

@@ -463 +463 @@
 #ifdef HAVE_PLURAL
   if (rIsPluralRing(currRing) && !rIsSCA(currRing) )
-  { 
+  {
 // quick solution; need theory to apply homog GB stuff for G-Algebras
     hom = isNotHomog;
@@ -516 +516 @@
       rSetSyzComp(rkI);
     }
+    if(! TEST_OPT_NO_SYZ_MINIM )
     if (minim || (syzIndex!=0))
     {
@@ -537 +538 @@
     syzIndex++;
     if (TEST_OPT_PROT) Print("[%d]\n",syzIndex);
-    if ((minim)||(syzIndex>1))
-      syMinStep(res[syzIndex-1],res[syzIndex],!completeMinim,NULL,hom);
-    if (!completeMinim)
-    /*minim is TRUE, we are in the module: maxlength, maxlength <>0*/
-    {
-      idDelete(&res[syzIndex]);
+
+    if(! TEST_OPT_NO_SYZ_MINIM )
+    {
+      if ((minim)||(syzIndex>1))
+        syMinStep(res[syzIndex-1],res[syzIndex],!completeMinim,NULL,hom);
+      if (!completeMinim)
+      /*minim is TRUE, we are in the module: maxlength, maxlength <>0*/
+      {
+        idDelete(&res[syzIndex]);
+      }
     }
 /*---creating the iterated weights for module components ---------*/
@@ -634 +639 @@
     const unsigned int m_iFirstAltVar = scaFirstAltVar(currRing);
     const unsigned int m_iLastAltVar  = scaLastAltVar(currRing);
-    
+
     arg = id_KillSquares(arg, m_iFirstAltVar, m_iLastAltVar, currRing, false); // kill suares in input!
   }
 #endif
-  
+
   int typ0;
   syStrategy result=(syStrategy)omAlloc0(sizeof(ssyStrategy));
@@ -681 +686 @@
     if( ncExtensions(TESTSYZSCAMASK) )
     {
-      currQuotient     = idSaveCurrQuotient; 
+      currQuotient     = idSaveCurrQuotient;
       currRing->qideal = idSaveCurrRingQuotient;
     }