Opened 9 years ago

Closed 9 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 9 years ago by Oleksandr

Owner: changed from somebody to Oleksandr

comment:2 Changed 9 years ago by Oleksandr

Status: newassigned

comment:3 Changed 9 years ago by Oleksandr

minimal test:

ring r = (0,w),(Y,z),(dp);
ideal H = Y*z + Y;
qring q = std(H);

basering; ideal R = (w/16)*z; 

sres(R, 1);

bug in sySchreyersSyzygiesFB : memory corruption ... ?

comment:4 Changed 9 years ago by Oleksandr

sySchreyersSyzygiesFB calls WerrorS ("ideal not a standard basis") which sets errorreported to 1, after which nothing is guaranteed :(

comment:5 Changed 9 years ago by Oleksandr

Resolution: fixed
Status: assignedclosed

should now be fixed with eb38b24e413a7698db691ddeb535c5af77b0a277

Note: See TracTickets for help on using tickets.