Changeset 1387b04 in git for Singular/LIB/modstd.lib

Timestamp:

Jan 7, 2022, 2:11:42 PM (2 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

aef17eff8eec5b30ac3c808f6bda9ad18c9a2dee

Parents:

6377a09b892629582766eb46686021a7d953f7b5

Message:

fix: modStd for lokal orderings with HC

File:

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

Singular/LIB/modstd.lib

@@ -59 +59 @@
     intvec opt = option(get);
     option(redSB);
+    if (noether!=0) { option(infRedTail);}
+    else
+    { if (highcorner(I)!=0) { option(infRedTail);} }
 
     /* choose the right command */
@@ -385 +388 @@
     }
 
+    option(noredSB,noinfRedTail);
     /* test if result is a GB */
     def G = std(result);