Changeset 74afe1f in git for Singular/LIB/schreyer.lib

Timestamp:

May 23, 2012, 8:26:06 PM (12 years ago)

Author:

Oleksandr Motsak <motsak@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

8e650e4e942e4e3510a0d6fddf77ac0f30d32fb5

Parents:

5020a60f5779ffc1406febfaaefb86db176ddc13

git-author:

Oleksandr Motsak <motsak@mathematik.uni-kl.de>2012-05-23 20:26:06+02:00

git-committer:

Oleksandr Motsak <motsak@mathematik.uni-kl.de>2014-05-07 04:41:43+02:00

Message:

moved 'Compute2LeadingSyzygyTerms' into the dyn.mod.

TODO/TEST: interred & tailred

File:

• Singular/LIB/schreyer.lib (modified) (8 diffs)

Singular/LIB/schreyer.lib

@@ -703 +703 @@
   
 //  attrib(S, "InducionStart", @RANK);
-  attrib(S, "LEAD2SYZ", 0);
+  attrib(S, "LEAD2SYZ", 1);
   attrib(S, "TAILREDSYZ", 1);
   attrib(S, "DEBUG", @DEBUG);
@@ -857 +857 @@
 
 /// Compute Syz(L), where L is a monomial (leading) module
-proc SSCompute2LeadingSyzygyTerms(def L, int @TAILREDSYZ)
+proc SSCompute2LeadingSyzygyTerms(def L)
 {
   if( typeof( attrib(basering, "DEBUG") ) == "int" )
@@ -874 +874 @@
     int @SYZCHECK = @DEBUG;
   }
+
+  int @TAILREDSYZ = 1;
+  if( typeof( attrib(basering, "TAILREDSYZ") ) == "int" )
+  {
+    @TAILREDSYZ = attrib(basering, "TAILREDSYZ");
+  }
+  
   
   if( @DEBUG )
@@ -879 +886 @@
     "SSCompute2LeadingSyzygyTerms::Input: ";
     L;
-    "@TAILREDSYZ: ", @TAILREDSYZ;
   }
 
@@ -956 +962 @@
       }
     }
-  }
+    
+    module SS = Compute2LeadingSyzygyTerms(L);
+
+    "S: ";  DetailedPrint(S);
+    "SS: "; DetailedPrint(SS);
+    
+    if( size(module(matrix(S) - matrix(SS))) > 0 )
+    {
+      "ERROR: S != SS ";
+
+      "basering: ";
+      DetailedPrint(basering);
+
+      "S: ";  S;
+      DetailedPrint(S, 2);
+      "SS: "; SS;
+      DetailedPrint(SS, 2);
+
+      "DIFF: ";
+      print(matrix(S) - matrix(SS));
+      DetailedPrint(module(matrix(S) - matrix(SS)), 4);
+      $
+    }
+    
+  }  
 
   module S2 = Tail(S);
@@ -1146 +1176 @@
     def a2; int r2; poly aa2;  
     module LL, LL2;
-    (LL, LL2) = SSCompute2LeadingSyzygyTerms(L, @TAILREDSYZ); // ++ 
+    (LL, LL2) = SSCompute2LeadingSyzygyTerms(L); // ++ 
   } else
   {
@@ -1562 +1592 @@
       exportto(Schreyer, Syzextra::Tail);
       exportto(Schreyer, Syzextra::ComputeLeadingSyzygyTerms);      
+      exportto(Schreyer, Syzextra::Compute2LeadingSyzygyTerms);
       exportto(Schreyer, Syzextra::Sort_c_ds);
     }
@@ -1605 +1636 @@
       exportto(Schreyer, Syzextra_g::Tail);
       exportto(Schreyer, Syzextra_g::ComputeLeadingSyzygyTerms);
+      exportto(Schreyer, Syzextra_g::Compute2LeadingSyzygyTerms);
       exportto(Schreyer, Syzextra_g::Sort_c_ds);