Opened 9 years ago
Closed 9 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 >
Note: See
TracTickets for help on using
tickets.
fixed with 9d37f631ea3f238e21382f1d85cd7f88a3828392