Opened 9 years ago

Closed 9 years ago

#597 closed bug (fixed)

radicalEHV() fails for zero and unit ideal

Reported by: kroeker@… Owned by: somebody
Priority: minor Milestone: 4-1-0 and higher
Component: dontKnow Version: 4-0-0
Keywords: radicalEHV special case bug zero unit ideal Cc:

Description

input:

LIB("primdec.lib");

ring rng = 0,x,dp;
radicalEHV( ideal(0) );
radicalEHV( ideal(1) );

output:

. ring rng = 0,x,dp;
> 
. radicalEHV( ideal(0) );
   ? invalid size of minors: 0 (matrix is (1 x 1))
   ? error occurred in or before primdec.lib::radicalEHV line 3866: `     J=minor(jacob(I),cod);`
   ? leaving primdec.lib::radicalEHV
   skipping text from `;` error at token `)`
> 
. radicalEHV( ideal(1) );
   ? wrong range[2] in ideal/module(1)
   ? error occurred in or before primdec.lib::radicalEHV line 3873: `      I0[l]=I[l];`
   ? leaving primdec.lib::radicalEHV
   ? invalid size of minors: 2 (matrix is (2 x 1))
   ? error occurred in or before primdec.lib::radicalEHV line 3900: `      J=minor(jacob(I0),cod);`
   ? leaving primdec.lib::radicalEHV
   skipping text from `;` error at token `)`

Change History (1)

comment:1 Changed 9 years ago by hannes

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