id summary reporter owner description type status priority milestone component version resolution keywords cc 538 primdec::quotientZ( I, J ) incorrect for J = ideal( 0 ) kroeker@… somebody "(I:J) for J zero ideal is (1), but quotientZ() says it is 0: {{{ LIB(""primdecint.lib""); ring rng = 0,x,dp; ideal I = 1; ideal J = 0; quotientZ(I,J); //_[1]=0 // should be 1! }}} A fix would probably be to check for size(J) in quotientZ : {{{ if ( size(J)==0 ) { return( ideal(1) ); } }}} the same bug occurs in primdec::quotientOneZ(ideal I,poly f) for f=0. " bug closed minor 4-1-0 and higher singular-libs spielwiese fixed quotientZ bug zero ideal