Changeset 210d1b in git

Timestamp:

May 30, 2012, 10:06:24 PM (11 years ago)

Author:

Oleksandr Motsak <motsak@…>

Branches:

(u'spielwiese', '0d6b7fcd9813a1ca1ed4220cfa2b104b97a0a003')

Children:

d353e4f49eb4e1747ded689e6bdea5765a057c75

Parents:

33161fd92744b4c3b711de9f059b40511622d1c9

git-author:

Oleksandr Motsak <motsak@mathematik.uni-kl.de>2012-05-30 22:06:24+02:00

git-committer:

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

Message:

fixing a Sort problem for 0-input (wrong output rank of 0?)

File:

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

Singular/LIB/schreyer.lib

@@ -509 +509 @@
   }
 
-  def @N = M; Sort_c_ds(@N);
-  
-  if( @KERCHECK )
-  {
-    def iv = sort(lead(M), "c,ds", 1)[2]; // ,1 => reversed! // TODO: not needed?
-    def @M = M;
-    @M = M[iv];
-    
-    // 0^th syz. property
-    if(size(@N) * size(@M) > 0 )
-    {
-    if( size(module( matrix(module(matrix(@N))) - matrix(module(matrix(@M))) )) > 0 )
-    {
-      "@M:"; @M;
-      "@N:"; @N;
-
-      "module( matrix(@N) - matrix(@M) ): ";
-      module( matrix(@N) - matrix(@M) );
-
-      "ERROR: MySort: wrong sorting in 'MySort': @N != @M!!!";
-      $
-    }
-    } 
+  def @N = M;
+  
+  if( size(M) > 0 )
+  {
+    Sort_c_ds(@N);
+
+    if( @KERCHECK )
+    {
+      def iv = sort(lead(M), "c,ds", 1)[2]; // ,1 => reversed! // TODO: not needed?
+      def @M = M;
+      @M = M[iv];
+
+      // 0^th syz. property
+      if( (size(@N) + size(@M)) > 0 )
+      {
+        if( size(module( matrix(module(matrix(@N))) - matrix(module(matrix(@M))) )) > 0 )
+        {
+          "ERROR: MySort: wrong sorting in 'MySort': @N != @M!!!";
+          
+          "@M:"; @M;
+          "@N:"; @N;
+
+          "module( matrix(module(matrix(@N))) - matrix(module(matrix(@M))) ): ";
+          module( matrix(module(matrix(@N))) - matrix(module(matrix(@M))) );
+
+          "ERROR: MySort: wrong sorting in 'MySort': @N != @M!!!";
+          $
+        }
+      } 
+    }
   }
 
@@ -879 +886 @@
     S = MySort(simplify(S, 2));
 
-    if( size(S) * size(SS) > 0 )
+    if( (size(S) + size(SS)) > 0 )
     {
     if( size(module(matrix(S) - matrix(SS))) > 0 )