Opened 9 years ago

Closed 8 years ago

Last modified 8 years ago

#538 closed bug (fixed)

primdec::quotientZ( I, J ) incorrect for J = ideal( 0 )

Reported by: kroeker@… Owned by: somebody
Priority: minor Milestone: 4-1-0 and higher
Component: singular-libs Version: spielwiese
Keywords: quotientZ bug zero ideal Cc:

Description

(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.

Change History (4)

comment:1 Changed 9 years ago by kroeker@…

Typo in "summary" of this bug description;

it should be

Primdecint::quotientZ instead of primdec::quotientZ

Jakob

comment:2 Changed 9 years ago by hannes

Milestone: Singular-spielwiese4-1-0 and higher

comment:3 Changed 8 years ago by hannes

Resolution: fixed
Status: newclosed

quotientZ is removed. The correct function (quotient) handle it correctly.

comment:4 Changed 8 years ago by hannes

Okay, I was too fast: quotientZ is still there but static. It really should be removed very soon - as all the other *Z routines.

Note: See TracTickets for help on using tickets.