Changeset aef17ef in git

Timestamp:

Jan 7, 2022, 3:23:05 PM (17 months ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', '0604212ebb110535022efecad887940825b97c3f')

Children:

18133150ce5e8460db28913049a01db5d86041bc

Parents:

1387b042ddffa16bc2344bbac104adab22788c6b

Message:

fix: highcorner requires SB, fake it here

File:

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

Singular/LIB/modstd.lib

@@ -61 +61 @@
     if (noether!=0) { option(infRedTail);}
     else
-    { if (highcorner(I)!=0) { option(infRedTail);} }
+    { def II=I; attrib(II,"isSB",1);
+      if (highcorner(II)!=0) { option(infRedTail);}
+    }
 
     /* choose the right command */