Changeset 9e69e0 in git

Timestamp:

Jun 13, 2012, 8:13:30 PM (11 years ago)

Author:

Oleksandr Motsak <motsak@…>

Branches:

(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', 'a800fe4b3e9d37a38c5a10cc0ae9dfa0c15a4ee6')

Children:

f12f9afa4f10601ec91e93721efb6b1863d06be6

Parents:

9cf2201c9530f84fbd6899531bf184f72c797fc4

git-author:

Oleksandr Motsak <motsak@mathematik.uni-kl.de>2012-06-13 20:13:30+02:00

git-committer:

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

Message:

better error detection in SSCompute2LeadingSyzygyTerms

TODO: Wrong 2nd terms????

File:

• Singular/LIB/schreyer.lib (modified) (1 diff)

Singular/LIB/schreyer.lib

@@ -1048 +1048 @@
     }
 
-    if( size(module(matrix(S) - matrix(SS))) > 0 )
-    {
-      "ERROR: SSCompute2LeadingSyzygyTerms: S != SS ";
-
-      "basering: ";
-      DetailedPrint(basering);
+    if( @SYZCHECK )
+    {
+      if( size(S) > 0 and size(L) > 0 )
+      {
+        if( size(module(transpose( transpose(S) * transpose(L) ))) > 0 )
+        {
+          transpose( transpose(S) * transpose(L) );
+          "ERROR: transpose( transpose(S) * transpose(L) ) != 0!!!";
+          $
+        }
+      }
+    }
+
+    if(size(S) != size(SS))
+    {
+      "ERROR: SSCompute2LeadingSyzygyTerms: size(S) != size(SS)";
+
+      "basering: "; basering; //      DetailedPrint(basering);
 
       "S: ";  S;
-      DetailedPrint(S, 2);
+//      DetailedPrint(S, 2);
       "SS: "; SS;
-      DetailedPrint(SS, 2);
-
-      "DIFF: ";
-      print(matrix(S) - matrix(SS));
-      DetailedPrint(module(matrix(S) - matrix(SS)), 4);
+//      DetailedPrint(SS, 2);
       $
+    }    
+
+    if(size(S) > 0 && size(SS) > 0)
+    {
+      if( size(module(matrix(lead(S)) - matrix(lead(SS)))) > 0 )
+      {
+        "ERROR: SSCompute2LeadingSyzygyTerms: lead(S) != lead(SS) ";
+
+        "basering: ";  basering;
+//        DetailedPrint(basering);
+
+        "lead(S ): "; lead(S );
+//        DetailedPrint(_, 2);
+        "lead(SS): "; lead(SS);
+//        DetailedPrint(_, 2);
+
+        "DIFF: ";
+        print( matrix(lead(S)) - matrix(lead(SS))  );
+        module(matrix(lead(S)) - matrix(lead(SS)));
+//        DetailedPrint(_ , 4);
+        $
+      }
+
+
+      if( @TAILREDSYZ )
+      {
+      if( size(module(matrix(Tail(S)) - matrix(Tail(SS)))) > 0 )
+      {
+        "ERROR: SSCompute2LeadingSyzygyTerms: Tail(S) != Tail(SS) ";
+
+        "basering: ";  basering;
+//        DetailedPrint(basering);
+
+        "Tail(S ): "; Tail(S );
+//        DetailedPrint(_, 2);
+        "Tail(SS): "; Tail(SS);
+//        DetailedPrint(_, 2);
+
+        "DIFF: ";
+        module( matrix(Tail(S)) - matrix(Tail(SS)) );
+//        DetailedPrint(_, 4);
+        print( matrix(Tail(S)) - matrix(Tail(SS)) );
+        $
+      }
+      }
     }
   }