Opened 8 years ago

Closed 8 years ago

# sres crash

Reported by: Owned by: ren Oleksandr minor 4-1-0 and higher dontKnow 4-0-1

### Description

```Starting program: /home/ren/Sources/Singular/Singular
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'

0x00007ffff65930d5 in raise () from /lib/x86_64-linux-gnu/libc.so.6
```

Using "res" works though, but not sure what algorithm it is using.

### comment:1 Changed 8 years ago by Oleksandr

Owner: changed from somebody to Oleksandr

### comment:2 Changed 8 years ago by Oleksandr

Status: new → assigned

### comment:3 Changed 8 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 8 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 8 years ago by Oleksandr

Resolution: → fixed assigned → closed

should now be fixed with eb38b24e413a7698db691ddeb535c5af77b0a277

Note: See TracTickets for help on using tickets.