Opened 9 years ago

Closed 7 years ago

#648 closed bug (fixed)

reduce over integers in mixed ordering crashes

Reported by: ren Owned by: popescu
Priority: minor Milestone: 4-1-0 and higher
Component: dontKnow Version: 4-0-0
Keywords: Cc:

Description

I know that it is not recommended to use reduce when the second argument is no standard basis and that the standard basis in my example does not finish. But I thought I'd report it anyways since the program crashes uncontrolled.

(gdb) r
The program being debugged has been started already.
Start it from the beginning? (y or n) y
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.0
                                                           0<
 by: W. Decker, G.-M. Greuel, G. Pfister, H. Schoenemann     \   Dec 2013
FB Mathematik der Universitaet, D-67653 Kaiserslautern        \
// ** executing /home/ren/Sources/Singular/LIB/.singularrc
> ring r=integer,(t,x(1..4)),ws(1,-1,-11,-3,-19);
> ideal inJ = 
. 3,
. t*x(3)*x(4)+2*t*x(1)*x(2),
. t*x(1)*x(2)^2+2*t^3*x(1)*x(2)*x(3),
. x(1)^2*x(2)*x(3)*x(4)+2*t^2*x(1)^3*x(2)*x(3);
> ideal J = 
. x(1)^2*x(2)*x(3)*x(4)-t*x(1)^2*x(2)^3+5*t*x(1)^2*x(2)*x(3)*x(4)+16*t^3*x(1)*x(2)*x(3)^2*x(4)-2*x(1)^3*x(2)^2-1536*x(1)^3*x(3)*x(4)+32*t^2*x(1)^2*x(3)^2*x(4),
. t*x(1)*x(2)^2+2*x(1)^2*x(2)+2*t^3*x(1)*x(2)*x(3)-192*x(1)^3+4*t^2*x(1)^2*x(3),
. t*x(3)*x(4)-3*t^2*x(3)*x(4)-t*x(1)*x(2)-2*x(1)^2,
. 3-t;
> reduce(inJ,J);
// ** J is no standard basis

// ***dError: assume violation at kutil.cc:7167 condition: p.pLength == 0 || pLength(p.p) == p.pLength || rIsSyzIndexRing(currRing)
Breakpoint 1, dErrorBreak () at dError.cc:142
142	{}

Change History (2)

comment:1 Changed 8 years ago by Oleksandr

Owner: changed from somebody to popescu

comment:2 Changed 7 years ago by hannes

Resolution: fixed
Status: newclosed

fixed with 67e0dc31cecb425433f640594911fc9df2b15076 test in New/stdZtests.tst

Note: See TracTickets for help on using tickets.