Opened 8 years ago
Closed 8 years ago
#685 closed bug (fixed)
sres crash
Reported by: | ren | Owned by: | Oleksandr |
---|---|---|---|
Priority: | minor | Milestone: | 4-1-0 and higher |
Component: | dontKnow | Version: | 4-0-1 |
Keywords: | Cc: |
Description
Starting program: /home/ren/Sources/Singular/Singular [Thread debugging using libthread_db enabled] Using host libthread_db library "/lib/x86_64-linux-gnu/libthread_db.so.1". SINGULAR / Development A Computer Algebra System for Polynomial Computations / version 4.0.1 0< by: W. Decker, G.-M. Greuel, G. Pfister, H. Schoenemann \ Sep 2014 FB Mathematik der Universitaet, D-67653 Kaiserslautern \ // ** executing /home/ren/Sources/Singular/LIB/.singularrc > ring r = (0,w),(Y(1..4),z),(dp(4),dp(1)); > ideal H = Y(4)*z^2-18*Y(4), Y(3)*z+(-3*w)*Y(4), 6*Y(3)*Y(4)+(-w)*Y(4)^2*z, z^3-18*z; > qring q = std(H); > ideal inI = Y(1), (4*w)*Y(2)-1/3*Y(3)*z, 2*Y(3)+(-w)/3*Y(4)*z; > sres(std(inI),0); // ** full resolution in a qring may be infinite, setting max length to 5 ? ideal not a standard basis error: divide by zero int_rat.cc:78: In function `InternalRational::InternalRational(long int, long int)': failed assertion `d != 0' Program received signal SIGABRT, Aborted. 0x00007ffff65930d5 in raise () from /lib/x86_64-linux-gnu/libc.so.6
Using "res" works though, but not sure what algorithm it is using.
Change History (5)
comment:1 Changed 8 years ago by
Owner: | changed from somebody to Oleksandr |
---|
comment:2 Changed 8 years ago by
Status: | new → assigned |
---|
comment:3 Changed 8 years ago by
comment:4 Changed 8 years ago by
sySchreyersSyzygiesFB calls WerrorS ("ideal not a standard basis") which sets errorreported to 1, after which nothing is guaranteed :(
comment:5 Changed 8 years ago by
Resolution: | → fixed |
---|---|
Status: | assigned → closed |
should now be fixed with eb38b24e413a7698db691ddeb535c5af77b0a277
Note: See
TracTickets for help on using
tickets.
minimal test:
bug in sySchreyersSyzygiesFB : memory corruption ... ?