Opened 15 years ago

Closed 15 years ago

Last modified 14 years ago

#12 closed bug (fixed)

bug in twostd

Reported by: Oleksandr Owned by: Oleksandr
Priority: major Milestone: Releases 3-0-x and lower
Component: singular-kernel Version:
Keywords: twostd Cc:

Description

Simon King wrote:

Da es in der Fehlermeldung "please inform the authors" heißt, möchte ich das hiermit tun:

Im Anhang ist ein Beispiel eines superkommutativen Rings mit einer Matrixordnung. Ich habe ein Ideal I , das durch ein einzelnes Monom vom Grad 1 erzeugt wird. Zumindest das Ideal ist also sehr simpel.

Zwar funktioniert groebner(I), aber twostd(I) führt zu einem "Segment fault/Bus error". Nochmaliges Ausführen des Beispiels führt zu einem Speicherzugriffsfehler.

Unfortunately the provided test was wrong (no indicated behaviour). Fortunately, in the post about the "quotient" Simon gave the right ideal 'I' for debugging the "Segment fault/Bus error" described above.

Attachments (3)

sca.twostd.bug.sing​ (4.8 KB) - added by Oleksandr 15 years ago.
bug test
sca.twostd.buggy.log​ (22.8 KB) - added by Oleksandr 15 years ago.
output before fixing the bug
sca.twostd.bug.log​ (26.3 KB) - added by Oleksandr 15 years ago.
Singular output after fixing the bug

Download all attachments as: .zip

Change History (7)

Changed 15 years ago by Oleksandr

Attachment: sca.twostd.bug.sing​ added

bug test

comment:1 Changed 15 years ago by Oleksandr

Status: new → assigned

comment:2 Changed 15 years ago by Oleksandr

twostd assumed no zero divisors, which is wrong in the case of SCA.

Changed 15 years ago by Oleksandr

Attachment: sca.twostd.buggy.log​ added

output before fixing the bug

Changed 15 years ago by Oleksandr

Attachment: sca.twostd.bug.log​ added

Singular output after fixing the bug

comment:3 Changed 15 years ago by Oleksandr

Resolution: → fixed
Status: assigned → closed

comment:4 Changed 14 years ago by seelisch

Milestone: → Releases 3-0-x and lower
Note: See TracTickets for help on using tickets.