Changeset aef17ef in git

Timestamp:

Jan 7, 2022, 3:23:05 PM (2 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', '4a9821a93ffdc22a6696668bd4f6b8c9de3e6c5f')

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 */