Opened 10 years ago

Closed 10 years ago

#628 closed bug (fixed)

bug in minAssChar or used subroutines

Reported by: guest Owned by: somebody
Priority: minor Milestone: 4-1-0 and higher
Component: dontKnow Version: 4-0-0
Keywords: minAssChar decompose bug Cc:

Description

minAssChar fails to decompose the ideal from example below

Bug was observed by Mike Stillman and Peter Kahn

LIB("primdec.lib");
ring rng = 0,(x,r,b,u),lp;
ideal I = b^3-6*b^2+5*b-1,
r^2-r*u+u^2*b+b^2-6*b+1,
x^2+2*x*r*b^2-11*x*r*b+5*x*r+r*u-u^2*b;

def L1 = primdecGTZ(I);
ASSUME(0, testPrimary(L1,I) );

list LGTZI = minAssGTZ(I);
list LCharI = minAssChar(I);
LGTZI;
LCharI;

ASSUME(0, size(LGTZI)==size(LCharI) );//fails 

output

> LGTZI;
[1]:
   _[1]=b3-6b2+5b-1
   _[2]=r2-ru+b2+bu2-6b+1
   _[3]=x+b2u-5bu+2u
[2]:
   _[1]=b3-6b2+5b-1
   _[2]=r2-ru+b2+bu2-6b+1
   _[3]=x+2rb2-11rb+5r-b2u+5bu-2u
> LCharI;
[1]:
   _[1]=b3-6b2+5b-1
   _[2]=r2-ru+b2+bu2-6b+1
   _[3]=x2+2xrb2-11xrb+5xr+ru-bu2
> 

Change History (1)

comment:1 Changed 10 years ago by mlee

Resolution: fixed
Status: newclosed
Note: See TracTickets for help on using tickets.