Open jakobkroeker opened 9 years ago
Just to exclude stupid reasons for the seg-fault: Did you monitor the size during computation? A segfault can also occur due to memory exhaustion -- local examples can grow in a very bad way.
fixed in http://www.singular.uni-kl.de:8002/trac/changeset/2f3b2753bc2be6d7396f61b99d46ba1977c9388d/git
upstream report:http://www.singular.uni-kl.de:8002/trac/ticket/715#ticket Segfault in std with 'ws' ordering probably caused by illegal(?) options (redSB, redTail)
-bug caused in std with ws ordering by illegal(?) options ( redTail)
output: