Opened 9 years ago

Closed 9 years ago

#583 closed bug (fixed)

special cases for equidimMaxEHV, equiMaxEHV, equidimMax not handled correctly

Reported by: kroeker@… Owned by: somebody
Priority: minor Milestone: 4-1-0 and higher
Component: singular-libs Version: 4-0-0
Keywords: special cases equidimMaxEHV equiMaxEHV equidimMax incorrect Cc:

Description

Input:

LIB("ehv.lib");

ring rng = 0,x,dp;

ideal I=1;
equiMaxEHV(I);
equidimMaxEHV(I);
equidimMax(I);

I=0;
equiMaxEHV(I);
equidimMaxEHV(I);
equidimMax(I);

Output:

> ideal I=1;
> equiMaxEHV(I);
_[1]=1
> equidimMaxEHV(I);
_[1]=0
> equidimMax(I);
_[1]=1
> 
>ideal I=0;
> equiMaxEHV(I);
_[1]=0
> equidimMaxEHV(I);
   ? transpose(`nothing`) failed
   ? expected transpose(`intvec`)
   ? expected transpose(`intmat`)
   ? expected transpose(`bigintmat`)
   ? expected transpose(`matrix`)
   ? expected transpose(`module`)
   ? error occurred in or before primdec.lib::AnnExt_R line 3987: `     matrix g=transpose(re[n]);        //the image of Hom(_,R)`
   ? expected matrix-expression. type 'help matrix;'
   ? leaving primdec.lib::AnnExt_R
   skipping text from `;` error at token `)`
   ? leaving primdec.lib::equidimMaxEHV
> equidimMax(I);
_[1]=0
> 

Change History (1)

comment:1 Changed 9 years ago by hannes

Resolution: fixed
Status: newclosed

equidimMaxEHV from primdec.lib: fixed with 5377d02efca0391542126f6f44bbab148cfd1411 other routine from ehv.lib: ehv.lib is depreciated

Note: See TracTickets for help on using tickets.