Opened 9 years ago

Closed 9 years ago

#632 closed bug (fixed)

bugs in primdec::AnnExt_R

Reported by: kroeker@… Owned by: somebody
Priority: minor Milestone: 4-1-0 and higher
Component: singular-libs Version: 4-0-0
Keywords: AnnExt_R bugs Cc:

Description

bugs in primdec::AnnExt_R causes fail of e.g. equidimMaxEHV() 

LIB("primdec.lib");
ring rng = 0,(x, y, z),dp;

ideal I = 4*y^3-8*z, 4*x*y^2+14*x*y*z+13*z^2-6, 15*x^2*y+15*x^2*z-24*y*z;

def eIMEHV = equidimMaxEHV(I);
def eIM =equidimMax(I);;
eIMEHV; // = 0, wrong!
eIM;

a patch proposal is available, see pull request ​https://github.com/Singular/Sources/pull/627

Change History (1)

comment:1 Changed 9 years ago by hannes

Resolution: → fixed
Status: new → closed

fixed with 5377d02efca0391542126f6f44bbab148cfd1411

Note: See TracTickets for help on using tickets.