Changeset 048ea3 in git

Timestamp:

Jan 3, 2015, 1:32:45 AM (9 years ago)

Author:

Oleksandr Motsak <motsak@…>

Branches:

(u'spielwiese', 'd0474371d8c5d8068ab70bfb42719c97936b18a6')

Children:

5c0f71e4b9ac7843667808bff1c5a036d92bc640

Parents:

f533f6f7667328bccb271b19b2f603aaebe41596

git-author:

Oleksandr Motsak <motsak@mathematik.uni-kl.de>2015-01-03 01:32:45+01:00

git-committer:

Oleksandr Motsak <motsak@mathematik.uni-kl.de>2015-01-03 01:40:18+01:00

Message:

Make sure that input is tailreduced and interreduced (for s_res)

File:

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

Singular/LIB/schreyer.lib

@@ -600 +600 @@
   }
 
-  int @IS_A_SB = attrib(M, "isSB"); // ??? only if all weights were zero?!
-
-  if( !@IS_A_SB )
-  {
-    def opts = option(get);
-    option(redSB); option(redTail);
-    M = std(M);
-    option(set, opts);
-    kill opts;
-  }
-
-  M = simplify(M, 1 + 2 + 4 + 32);
+  def opts = option(get); 
+  option(redSB); option(redTail);
+    M = simplify(interred(groebner(M)), 1 + 2 + 4 + 32); // NOTE: we require interreduced GB for input
+  option(set, opts); kill opts;
+  
+//  int @IS_A_SB = attrib(M, "isSB");  if( !@IS_A_SB )  {  } else  {  }
+// attrib(M, "isSB", 1);
 
   if( @IGNORETAILS )