Opened 8 years ago

Closed 8 years ago

#665 closed bug (fixed)

minAssGTZ(): wrong range in ideal/module in primaryTest()

Reported by: kroeker@… Owned by: somebody
Priority: minor Milestone: 4-1-0 and higher
Component: dontKnow Version: 4-0-1
Keywords: minassGTZ minpoly bug Cc:

Description

failing example:

LIB("primdec.lib");
ring rng = (7,vv),(xc,xi,xz,xp),(dp(4),C);
minpoly = (vv^2+vv+3);
ideal I = (-vv)*xc^2*xi+(2*vv-2),(-3*vv)*xc*xp+(vv-2)*xz,(vv+1)*xi^2*xp+(3*vv-3)*xc*xp+2*xp;

minAssGTZ (I);

output:

. minAssGTZ (I);
   ? wrong range[2] in ideal/module _(1)
   ? error occurred in or before primdec.lib::primaryTest line 446: `whileif (!(lead(i[m])/var(n-1)==0)) break;`
   ? leaving primdec.lib::primaryTest
   skipping text from `;` error at token `)`
   ? leaving primdec.lib::splitCharp
   ? leaving primdec.lib::newZero_decomp
   ? leaving primdec.lib::newDecompStep
   ? leaving primdec.lib::newDecompStep
   ? leaving primdec.lib::minAssSLIteration
   ? leaving primdec.lib::minAssSL
   ? leaving primdec.lib::minAssPrimes
   ? leaving primdec.lib::algeDeco
   ? leaving primdec.lib::minAssGTZ

Change History (1)

comment:1 Changed 8 years ago by hannes

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