id summary reporter owner description type status priority milestone component version resolution keywords cc 648 reduce over integers in mixed ordering crashes ren popescu "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 {} }}}" bug closed minor 4-1-0 and higher dontKnow 4-0-0 fixed